Search for tag: "introduction to computation"

CL - 22 - Tseytin Satisfaction DPLL

N/A

+23 More
From  Haoran Peng 0 likes 108 plays 0  

CL - 21 - CNF KM Gentzen Tseytin

N/A

+3 More
From  Haoran Peng 0 likes 126 plays 0  

CL - 20 - syllogisms arrowrule

N/A

+23 More
From  Haoran Peng 0 likes 148 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…

+23 More
From  Haoran Peng 0 likes 214 plays 0  

FP - Lecture 19 - Propositions as Types

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

+19 More
From  Claudia-Elena Chirita 0 likes 423 plays 0  

CL - 17 - regex: Arden's lemma

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.

+3 More
From  Haoran Peng 0 likes 232 plays 0  

CL - 16 - ε-transitions and the subset construction

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.

+23 More
From  Haoran Peng 0 likes 235 plays 0  

CL - 15f - R* -- Iteration

We construct an NFA for R*; then summarize the algebra of regular expressions.

+23 More
From  Haoran Peng 0 likes 232 plays 0  

CL - 15e - RS -- Concatenation

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

+23 More
From  Haoran Peng 0 likes 261 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.

+23 More
From  Haoran Peng 0 likes 248 plays 0  

CL - 15c - Introducing ε-transitions

We introduce NFA - automata with ε-transitions

+23 More
From  Haoran Peng 0 likes 280 plays 0  

FP - Lecture 17 - IO and Monads

This is the first video for the FP lecture on IO and Monads.

+22 More
From  Claudia-Elena Chirita 0 likes 362 plays 0  

FP - Lecture 18 - IO and Monads

This is the second video on the FP lecture on IO and Monads.

+25 More
From  Claudia-Elena Chirita 0 likes 278 plays 0  

CL - 15b - Boolean operations on DFA-Regular Languages

Since DFA-regular languages are closed under complements and intersections, they are closed under all Boolean operations.

+23 More
From  Haoran Peng 0 likes 348 plays 0  

CL - 15a - Regular Languages (III) : DFA-regular

Our third definition: we say a language is DFA-regular if it is the language recognised by some DFA.We show that the complement of a DFA-regular language is DFA-regular.

+23 More
From  Haoran Peng 0 likes 371 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…

+23 More
From  Haoran Peng 0 likes 189 plays 0