Search for tag: "rule"

REF2020: Anurag Tripathi- Multiparton webs beyond three loops

REF2020: Anurag Tripathi- Multiparton webs beyond three loops

From  Lyndsey Ballantyne on December 11th, 2020 0 likes 7 plays 0  

CL - 20 - syllogisms arrowrule

N/A

From  Haoran Peng on November 30th, 2020 0 likes 138 plays 0  

CL - 18 - rules

This is a raw video from 2019. I've not yet had time to edit it into chunks. If you have any questions, or find any errors, please let me know on Piazza.This lecture introduces a very important…

From  Haoran Peng on November 30th, 2020 0 likes 200 plays 0  

FP - Lecture 19 - Propositions as Types

This is the last FP video lecture, on Propositions as Types.

From  Claudia-Elena Chirita on November 29th, 2020 0 likes 341 plays 0  

CL - 15d - Using ε-transitions

We present a first example of the use of ε-transitions to concstruct new mahines, and pose a problem to be answered in the following video.

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

CL - 15c - Introducing ε-transitions

We introduce NFA - automata with ε-transitions

From  Haoran Peng on November 23rd, 2020 0 likes 267 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 156 plays 0  

PGHC11501 Running the Roman Empire: Week 10 - 2

Screencast by Dr Kimberley Czajkowski for Running the Roman Empire: Week 10

From  Anna Raczynski on November 13th, 2020 0 likes 36 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 303 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 274 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 266 plays 0  

CL - 9d - DPLL III

We introduce the idea of using a divide and conquer algorithm.

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

CL - 9c - DPLL II

We return to the example introduced in the previous video, and begin to represent the problem in Haskell.

From  Haoran Peng on November 4th, 2020 0 likes 255 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 345 plays 0