Search for tag: "letters"

CL - 12e - More Counting

In this video we look at yet another pattern of implications, and apply our a method for counting the satisfying valuations.

From  Haoran Peng on November 9th, 2020 0 likes 281 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 267 plays 0  

CL - 8e - DPLL I

This video introduces the key idea behind the DLPP algorithm. If we decide to make some literal true, we may reduce the problem to a simpler problem. We will build our DPLL algorithm by using this…

From  Haoran Peng on November 2nd, 2020 0 likes 304 plays 0  

CL - 8d - Sudoku II

In this video we translate this code for checking a solution described by a function s :: Int -> Int -> Int -> Bool into an expression in our language of Forms.This form uses 729…

From  Haoran Peng on November 1st, 2020 0 likes 308 plays 0  

CL - 6a - Keeping it Simple

We begin by revisiting the idea of a universal model. If we have only n predicates then we can distinguish only 2n kinds of individual. So we only need to consider 2^{2n} universes. For example, for…

From  Haoran Peng on October 24th, 2020 0 likes 388 plays 0  

CL - Lecture 3e - Constructing a Counterexample

In the last video, we showed a rule is sound using Venn diagrams. In this video, we will again use Venn diagrams to construct counter-examples for unsound rules.

From  Haoran Peng on October 3rd, 2020 0 likes 475 plays 0  

3. Word Compositions Illustrator

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.

From  Robbie Bushe on June 5th, 2020 0 likes 39 plays 0  

Canto 31

Canto 31 by Ezra Pound Introduced by Roxana Preda Read by Paul Cunningham

From  John Glendinning on April 25th, 2019 0 likes 31 plays 0  

CARE-MND research project: Laura Stephenson

Research nurse Laura Stephenson describes a clinical research project for people with MND: the CARE-MND platform and MND Register.

From  Rebecca Devon on June 1st, 2017 0 likes 53 plays 0  

Timetable on My Phone

This project news video focuses on an exciting new service form Information Services, Academic Timetable Integration with O365.

From  Tim Gray on November 10th, 2016 1 likes 3,741 plays 0  

Random Variables

Random Variables

From  Nigel Goddard on September 8th, 2016 2 likes 1,862 plays 0