Accepting late tests in Learn

Instructions for lab tests

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

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…

This video introduces the notion of a machine.

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…

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.

In this video we look at more complicated patterns of implications, and introduce a method for counting the satisfying valuations.

In this video we look at the next simplest example, chains of implications between atoms. We introduce the arrow rule.

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…

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…

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:…

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

How to change the priority on a case.

Video content for Introduction to Design by Maria Stoian, Teaching Fellow in Design as part of the Open Studies Arts Hub,an online learning resource , Centre for Open Learning.