Search for tag: "arrow"

LAGOON: Matt Pressland (Glasgow, UK)

Subtitles will be added soon. 10.02.2022 Matt Pressland (Glasgow, UK) - Grassmannian twists categorified

From  Liam Holligan 0 likes 17 plays 0  

Discharge

DENS Trial Training Video - Discharge

From  Phillip Rayson 0 likes 74 plays 0  

LAGOON: Marcy Robertson (Melbourne, Australia)

Subtitles will be added soon. Thursday 25 November 2021 Marcy Robertson (Melbourne, Australia) A topological characterization of the Kashiwara-Vergne groups

From  Liam Holligan 0 likes 14 plays 0  

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 0 likes 10 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  

Architectural Design 2021 guide for tutors giving feedback ONLY no grade

This video will demonstrate how tutors for Architectural Design 2021 should enter feedback on assignments for their groups in learn and warns not to add a grade. If you are unsure of any aspect of…

From  Iraklis Pantopoulos 0 likes 13 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 0 likes 18 plays 0  

LAGOON: Leicester Algebra and Geometry Open ONline: Sergey Mozgovoy

Subtitles will be available soon.

From  Liam Holligan 0 likes 18 plays 0  

Accepting late test submissions in Learn

Accepting late tests in Learn

From  Aran Ward Sell 0 likes 6 plays 0  

Ancient Lecture 10.5

From  Damian Caluori 0 likes 14 plays 0  

8.c

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

From  Claudia-Elena Chirita 0 likes 185 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 0 likes 183 plays 0  

CL - 13a - Machines

This video introduces the notion of a machine.

From  Claudia-Elena Chirita 0 likes 192 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 0 likes 351 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 0 likes 291 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