Search for tag: "arrow"

Sketchpad Colouring Book Workshop

RecordingThis workshop from 25th May 2021 was part of the Digital Skills Festival at the University of Edinburgh.https://digitalskillsfestival.ed.ac.uk FacilitationThis workshop will be facilitated…

From  Stewart Cromar on June 3rd, 2021 0 likes 11 plays 0  

LAGOON: Leicester Algebra and Geometry Open ONline: Sergey Mozgovoy

Subtitles will be available soon.

From  Liam Holligan on May 20th, 2021 0 likes 15 plays 0  

Accepting late test submissions in Learn

Accepting late tests in Learn

From  Aran Ward Sell on April 14th, 2021 0 likes 2 plays 0  

8.c

The third video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference.

From  Claudia-Elena Chirita on January 25th, 2021 0 likes 179 plays 0  

CL - 14e - DFA (II)

We look at the representation of DFA in Haskell (using lists to represent the sets of the formal definition).In this video the code isDFA is defining what counts as a DFA when we use the black-hole…

From  Haoran Peng on November 20th, 2020 0 likes 164 plays 0  

CL - 13a - Machines

This video introduces the notion of a machine.

From  Claudia-Elena Chirita on November 20th, 2020 0 likes 185 plays 0  

CL - 13c - Machines in Haskell

In this video we formalise the definition of an FSM, describe how a machine and its behaviour may be represented in Haskell.In this video we use lists to represent the sets used in the mathematical…

From  Haoran Peng on November 17th, 2020 0 likes 335 plays 0  

CL - 12f - Cycles

In this video we look at another example, then consider graphs with a cycle of implications. If we have cycles of implications, then all nodes in the cycle must take the same truth value.

From  Haoran Peng on November 9th, 2020 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 on November 9th, 2020 0 likes 304 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 on November 9th, 2020 0 likes 275 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 on November 9th, 2020 0 likes 268 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 on November 9th, 2020 0 likes 316 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 on September 24th, 2020 0 likes 61 plays 0  

diagnostic self enrol

How to enrol onto the Fundamentals of Music Theory Diagnostic Learn Course

From  Elishia-Jayne Appleby-Donald on June 15th, 2020 0 likes 24 plays 0  

How to change Priority

How to change the priority on a case.

From  Stella Gouzon on June 12th, 2020 0 likes 128 plays 0