|
Drop-ins in gather.town
Licence Type
All rights reserved The University of Edinburgh Date Created
January 6th, 2021
|
|
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.…
Licence Type
All rights reserved Language
English Date Created
November 28th, 2020
|
|
An automated programme has been used to generate the subtitles on this talk.
Course Code
ICMS Publisher
ICMS Licence Type
All rights reserved Language
English Date Created
December 2nd, 2020
|
|
N/A
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Since DFA-regular languages are closed under complements and intersections, they are closed under all Boolean operations.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This video introduces the notion of a machine.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video we look at more complicated patterns of implications, and introduce a method for counting the satisfying valuations.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video we look at the next simplest example, chains of implications between atoms. We introduce the arrow rule.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
South East Mathematical Physics Seminars: Theodoros Kouloukas (Lecture 3)
Publisher
Liam Holligan Licence Type
All rights reserved Language
English Date Created
November 2nd, 2020
|
|
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:…
Licence Type
All rights reserved Language
English Date Created
September 24th, 2020
|
|
LMS Autumn Algebra school Auslander-Reiten theory in representation theory of finite-dimensional algebras - talk 2 Raquel Coelho Guardado Simoes 22 Sept 2020 An automated programme is used to…
Licence Type
All rights reserved Language
english Date Created
September 22nd, 2020
|
|
LMS Autumn Algebra school Auslander-Reiten theory in representation theory of finite-dimensional algebras Raquel Coelho Guardado Simoes 21 Sept 2020 An automated programme is used to generate the…
Licence Type
All rights reserved Language
english Date Created
September 21st, 2020
|