Search for tag: "rules"

CL - 15e - RS -- Concatenation

We use ε-transitions to connect two NFA and create a machine that recognises the concatenation of their languges.

From  Haoran Peng on November 23rd, 2020 0 likes 103 plays 0  

CL - 14d - Regular Languages (II)

We give a second definition of regular language as the languages generated from the empty and singleton languages by the operations of, concatenation, alternation, and iteration.

From  Haoran Peng on November 20th, 2020 0 likes 118 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 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 263 plays 0  

CL - 9b - Sudoku III

Sudoku is just a game, but it a good, accessible example of a type of problem that of great practical significance. Here we discuss the Sudoku problem within this wider context.

From  Haoran Peng on November 4th, 2020 0 likes 242 plays 0  

DAPR1 (20-21): 7.1

Dapr1 Lect7_1

From  Leonidas Doumas on November 4th, 2020 0 likes 290 plays 0  

CL - 9a - Recap

This video is a brief recap of most of the logic we have covered so far. You may find it useful, to jog your memory and check your understanding.

From  Haoran Peng on November 2nd, 2020 0 likes 342 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 - 8c - Sudoku

First we see how to express the rules of Sudoku in Haskell. Given a total function s :: Int -> Int -> Int -> Bool that represents the way a sudoku puzzle is filled in by saying that s i j k…

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

CL - 5x - Supplementary on Sequents

This video includes a couple of points from a 2019 review lecture on Sequents.First we discuss how to use reduction to find an inhabited model in which Γ ⊨ Δ, which is equivalent to…

From  Haoran Peng on October 30th, 2020 0 likes 10 plays 0  

Masters Careers: Explaining the Graduate Job Market

The Careers Service takes a look at the current job market for graduates.

From  Jane Challinor on October 28th, 2020 0 likes 6 plays 0  

CL - 6c - Karnaugh Maps II

This video shows you how to find your way through the state space represented by a Karnaugh Map, and introduces features called blocks. In this video we focus on blocks of ones.

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

Effective Global Carbon Markets by Justin D Macinante

Effective Global Carbon MarketsNetworked Emissions Trading Using Disruptive TechnologiesAuthor: Justin D Macinante, Edinburgh Law SchoolHosted by Navraj Singh Ghaleigh, Edinburgh Law School…

From  Iain Mcgee on October 21st, 2020 0 likes 19 plays

CL - Implication

We derive the implication rule using the rules introduced last week.

From  Haoran Peng on October 20th, 2020 0 likes 365 plays 0  

CL - Q&A - Thursday Week 4

In week 4 we introduced Gentzen's sequents.You should make sure you understand when a sequent is valid, and what it means to provide a counter-example to a sequent -- a universe in which the…

From  Haoran Peng on October 20th, 2020 0 likes 331 plays 0