Search for tag: "arrows"
Learn Introduction: CoursesThis video provides an overview of the Courses page within Learn
From Ellen Groen
9 likes
12,144 plays
1
|
|
Paul SutcliffeLMS 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
24 plays
0
|
|
LAGOON: Leicester Algebra and Geometry Open ONline: Yilin WuSubtitles 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
25 plays
0
|
|
Anna Felikson (Durham) Title: Mutations of non-integer quivers: finite mutation typeAnna 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 Greg McCracken
0 likes
39 plays
0
|
|
December 02 Eleonore Faber - McKay quivers and the McKay correspondence for some complex reflection groupsAn automated programme has been used to generate the subtitles on this talk.
From Greg McCracken
0 likes
91 plays
0
|
|
CL - 15b - Boolean operations on DFA-Regular LanguagesSince DFA-regular languages are closed under complements and intersections, they are closed under all Boolean operations.
From Haoran Peng
0 likes
349 plays
0
|
|
CL - 13d - Black holes and DFAWe 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
316 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
289 plays
0
|
|
CL - 12d - CountingIn this video we look at more complicated patterns of implications, and introduce a method for counting the satisfying valuations.
From Haoran Peng
0 likes
315 plays
0
|
|
CL - 12c - chainsIn this video we look at the next simplest example, chains of implications between atoms. We introduce the arrow rule.
From Haoran Peng
0 likes
288 plays
0
|
|
CL - 12b - Binary ConstraintsIn 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
278 plays
0
|
|
CL - 12a - OrderThis 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
327 plays
0
|