Search for tag: "arrows"

Paul Sutcliffe

LMS Prospects in Mathematics 2021 Paul Sutcliffe, Durham University Friday 10 September 2021 To remove the captions from this video press CC on the bottom toolbar.

From  GILLIAN KERR 0 likes 16 plays 0  

LAGOON: Leicester Algebra and Geometry Open ONline: Yilin Wu

Subtitles can be turned off by selecting CC. 24 June 2021 Yilin Wu - (Université Paris Diderot - Paris 7, France): Derived equivalences from mutations of ice quivers with potential

From  Liam Holligan 0 likes 21 plays 0  

LAGOON: Leicester Algebra and Geometry Open ONline: Sergey Mozgovoy

Subtitles will be available soon.

From  Liam Holligan 0 likes 18 plays 0  

Anna Felikson (Durham) Title: Mutations of non-integer quivers: finite mutation type

Anna Felikson (Durham)Title: Mutations of non-integer quivers: finite mutation typeGiven a skew-symmetric non-integer (real) matrix, one can construct a quiver with non-integer weights of arrows.…

From  OLLIE Quinn 0 likes 27 plays 0  

December 02 Eleonore Faber - McKay quivers and the McKay correspondence for some complex reflection groups

An automated programme has been used to generate the subtitles on this talk.

From  OLLIE Quinn 0 likes 71 plays 0  

CL - 20 - syllogisms arrowrule

N/A

From  Haoran Peng 0 likes 144 plays 0  

CL - 15b - Boolean operations on DFA-Regular Languages

Since DFA-regular languages are closed under complements and intersections, they are closed under all Boolean operations.

From  Haoran Peng 0 likes 333 plays 0  

CL - 13a - Machines

This video introduces the notion of a machine.

From  Claudia-Elena Chirita 0 likes 192 plays 0  

CL - 13d - Black holes and DFA

We begin with a short discussion of the history and some applications of FSM. We then introduce Deterministic Finit-state Automata (DFA), and the use of the black hole convention when presenting…

From  Haoran Peng 0 likes 309 plays 0  

CL - 14b - Machines in Haskell (II)

In this video we present the formalisation of the accepts function in Haskell.In this video we use lists to represent the sets used in the mathematical definition. In the code for tutorials we use…

From  Haoran Peng 0 likes 285 plays 0  

CL - 12d - Counting

In this video we look at more complicated patterns of implications, and introduce a method for counting the satisfying valuations.

From  Haoran Peng 0 likes 310 plays 0  

CL - 12c - chains

In this video we look at the next simplest example, chains of implications between atoms. We introduce the arrow rule.

From  Haoran Peng 0 likes 284 plays 0  

CL - 12b - Binary Constraints

In this video we focus on binary constraints: clauses with two literals. A 2-SAT problem is a conjunction of binary constraints. We will represent it as a partial ordering on literals.In this video…

From  Haoran Peng 0 likes 274 plays 0  

CL - 12a - Order

This video looks at the ordering of predicates. We first met thsis as the satisfaction ordering a ⊨ b.We look at the ordering of the 16 possible boolean functions of two variables. We can also view…

From  Haoran Peng 0 likes 323 plays 0  

South East Mathematical Physics Seminars: Theodoros Kouloukas (Lecture 3)

South East Mathematical Physics Seminars: Theodoros Kouloukas (Lecture 3)

From  Liam Holligan 0 likes 39 plays 0  

LMS Autumn Algebra School Raquel Coelho Guardado Simoes: Auslander-Reiten theory in representation theory of finite-dimensional algebras

An automated programme is used to generate the subtitles on this talk. You can remove the subtitles by pressing CC on the bottom toolbar. LMS Autumn Algebra School Raquel Coelho Guardado Simoes:…

From  OLLIE Quinn 0 likes 124 plays 0