Search for tag: "arrow"

Updated whiteboard tool in Blackboard Collaborate (August 2021) - overview

A quick overview of the changes introduced in the Collaborate whiteboard update rolled out in August 2021.

From  Kacper Lyszkiewicz on September 10th, 2021 0 likes 6 plays 0  

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 12 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 183 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 166 plays 0  

CL - 13a - Machines

This video introduces the notion of a machine.

From  Claudia-Elena Chirita on November 20th, 2020 0 likes 190 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 341 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 288 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 307 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 279 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 271 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 319 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 66 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