Search for tag: "introduction to computation"
CL - 18 - rulesThis 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
0 likes
214 plays
0
|
|
FP - Lecture 19 - Propositions as TypesThis is the last FP video lecture, on Propositions as Types.
From Claudia-Elena Chirita
0 likes
423 plays
0
|
|
CL - 17 - regex: Arden's lemmaThis 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.
From Haoran Peng
0 likes
232 plays
0
|
|
CL - 16 - ε-transitions and the subset constructionThis 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.
From Haoran Peng
0 likes
235 plays
0
|
|
CL - 15f - R* -- IterationWe construct an NFA for R*; then summarize the algebra of regular expressions.
From Haoran Peng
0 likes
232 plays
0
|
|
CL - 15e - RS -- ConcatenationWe use ε-transitions to connect two NFA and create a machine that recognises the concatenation of their languges.
From Haoran Peng
0 likes
261 plays
0
|
|
CL - 15d - Using ε-transitionsWe 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
0 likes
248 plays
0
|
|
FP - Lecture 17 - IO and MonadsThis is the first video for the FP lecture on IO and Monads.
From Claudia-Elena Chirita
0 likes
362 plays
0
|
|
FP - Lecture 18 - IO and MonadsThis is the second video on the FP lecture on IO and Monads.
From Claudia-Elena Chirita
0 likes
278 plays
0
|
|
CL - 15b - Boolean operations on DFA-Regular LanguagesSince DFA-regular languages are closed under complements and intersections, they are closed under all Boolean operations.
From Haoran Peng
0 likes
348 plays
0
|
|
CL - 15a - Regular Languages (III) : DFA-regularOur 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.
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…
From Haoran Peng
0 likes
189 plays
0
|