INF1A: Introduction to Computation [2020/2021]

Welcome to the media channel of the course INF1A: Introduction to Computation [2020/2021]!

Here you can find all the videos used in the two parts of the course, Functional Programming and Computation and Logic: lecture recordings, live-session recordings and other videos.

All the videos have automatically generated captions. Although we did our best to fix inaccuracies, we might have missed some. Please help us improve our captions by leaving a comment on the page of the appropriate video or, even better, by submitting a pull request on our GitHub page.

introduction to computation

functional programming

computation and logic

Channel Thumbnail

Public, Restricted and Moderated

119 Media

5 Members

Welcome to the media channel of the course INF1A: Introduction to Computation [2020/2021]!

Here you can find all the videos used in the two parts of the course, Functional Programming and Computation and Logic: lecture recordings, live-session recordings and other videos.

All the videos have automatically generated captions. Although we did our best to fix inaccuracies, we might have missed some. Please help us improve our captions by leaving a comment on the page of the appropriate video or, even better, by submitting a pull request on our GitHub page.

introduction to computation

functional programming

computation and logic

Welcome to the media channel of the course INF1A: Introduction to Computation [2020/2021]!

Here you can find all the videos used in the two parts of the course, Functional Programming and Computation and Logic: lecture recordings, live-session recordings and other videos.

All the videos have automatically generated captions. Although we did our best to fix inaccuracies, we might have missed some. Please help us improve our captions by leaving a comment on the page of the appropriate video or, even better, by submitting a pull request on our GitHub page.

introduction to computation

functional programming

computation and logic

Loading…

CL - 22 - Tseytin Satisfaction DPLL 1 of 15

duration 53 minutes 47 seconds

CL - 22 - Tseytin Satisfaction DPLL

From Haoran Peng December 1st, 2020

0 likes 108 plays 0
N/A
CL - 21 - CNF KM Gentzen Tseytin 2 of 15

duration 50 minutes 26 seconds

CL - 21 - CNF KM Gentzen Tseytin

From Haoran Peng December 1st, 2020

0 likes 126 plays 0
N/A
CL - 20 - syllogisms arrowrule 3 of 15

duration 53 minutes 56 seconds

CL - 20 - syllogisms arrowrule

From Haoran Peng November 30th, 2020

0 likes 149 plays 0
N/A
CL - 18 - rules 4 of 15

duration 55 minutes 1 second

CL - 18 - rules

From Haoran Peng November 30th, 2020

0 likes 214 plays 0
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…
FP - Lecture 19 - Propositions as Types 5 of 15

duration 37 minutes 11 seconds

FP - Lecture 19 - Propositions as Types

From Claudia-Elena Chirita November 29th, 2020

0 likes 428 plays 0
This is the last FP video lecture, on Propositions as Types.
CL - 19 - regex DFA NFA 6 of 15

duration 54 minutes 51 seconds

CL - 19 - regex DFA NFA

From Haoran Peng November 23rd, 2020

0 likes 214 plays 0
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.
CL - 17 - regex: Arden's lemma 7 of 15

duration 55 minutes 1 second

CL - 17 - regex: Arden's lemma

From Haoran Peng November 23rd, 2020

0 likes 232 plays 0
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.
CL - 16 - ε-transitions and the subset… 8 of 15

duration 49 minutes 40 seconds

CL - 16 - ε-transitions and the subset construction

From Haoran Peng November 23rd, 2020

0 likes 235 plays 0
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.
CL - 15f - R* -- Iteration 9 of 15

duration 2 minutes 48 seconds

CL - 15f - R* -- Iteration

From Haoran Peng November 23rd, 2020

0 likes 232 plays 0
We construct an NFA for R*; then summarize the algebra of regular expressions.
CL - 15e - RS -- Concatenation 10 of 15

duration 5 minutes 47 seconds

CL - 15e - RS -- Concatenation

From Haoran Peng November 23rd, 2020

0 likes 261 plays 0
We use ε-transitions to connect two NFA and create a machine that recognises the concatenation of their languges.
CL - 15d - Using ε-transitions 11 of 15

duration 2 minutes 2 seconds

CL - 15d - Using ε-transitions

From Haoran Peng November 23rd, 2020

0 likes 248 plays 0
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.
CL - 15c - Introducing ε-transitions 12 of 15

duration 6 minutes 9 seconds

CL - 15c - Introducing ε-transitions

From Haoran Peng November 23rd, 2020

0 likes 280 plays 0
We introduce NFA - automata with ε-transitions
FP - Lecture 17 - IO and Monads 13 of 15

duration 46 minutes 18 seconds

FP - Lecture 17 - IO and Monads

From Claudia-Elena Chirita November 23rd, 2020

0 likes 364 plays 0
This is the first video for the FP lecture on IO and Monads.
FP - Lecture 18 - IO and Monads 14 of 15

duration 47 minutes 13 seconds

FP - Lecture 18 - IO and Monads

From Claudia-Elena Chirita November 23rd, 2020

0 likes 278 plays 0
This is the second video on the FP lecture on IO and Monads.
CL - 15b - Boolean operations on DFA-Regular… 15 of 15

duration 11 minutes 48 seconds

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

From Haoran Peng November 22nd, 2020

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

Search for ""

Public, Restricted and Moderated

119 Media

5 Members

Managers:: Claudia-Elena Chirita
Michael Fourman
Philip Wadler
Alex Burford
Haoran Peng
Appears In: