INF1A: Introduction to Computation [2020/2021]

INF1A: Introduction to Computation [2020/2021]

Show Details

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.

…Read more Less…

introduction to computation

functional programming

computation and logic

CL - 22 - Tseytin Satisfaction DPLL

duration 53 minutes 47 seconds

CL - 22 - Tseytin Satisfaction DPLL

CL - 22 - Tseytin Satisfaction DPLL

From Haoran Peng

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

duration 50 minutes 26 seconds

CL - 21 - CNF KM Gentzen Tseytin

CL - 21 - CNF KM Gentzen Tseytin

From Haoran Peng

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

duration 53 minutes 56 seconds

CL - 20 - syllogisms arrowrule

CL - 20 - syllogisms arrowrule

From Haoran Peng

0 likes 147 plays 0
N/A
CL - 18 - rules

duration 55 minutes 1 second

CL - 18 - rules

CL - 18 - rules

From Haoran Peng

0 likes 212 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

duration 37 minutes 11 seconds

FP - Lecture 19 - Propositions as Types

FP - Lecture 19 - Propositions as Types

From Claudia-Elena Chirita

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

duration 54 minutes 51 seconds

CL - 19 - regex DFA NFA

CL - 19 - regex DFA NFA

From Haoran Peng

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

duration 55 minutes 1 second

CL - 17 - regex: Arden's lemma

CL - 17 - regex: Arden's lemma

From Haoran Peng

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…

duration 49 minutes 40 seconds

CL - 16 - ε-transitions and the subset…

CL - 16 - ε-transitions and the subset construction

From Haoran Peng

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

duration 2 minutes 48 seconds

CL - 15f - R* -- Iteration

CL - 15f - R* -- Iteration

From Haoran Peng

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

duration 5 minutes 47 seconds

CL - 15e - RS -- Concatenation

CL - 15e - RS -- Concatenation

From Haoran Peng

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

duration 2 minutes 2 seconds

CL - 15d - Using ε-transitions

CL - 15d - Using ε-transitions

From Haoran Peng

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

duration 6 minutes 9 seconds

CL - 15c - Introducing ε-transitions

CL - 15c - Introducing ε-transitions

From Haoran Peng

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

duration 46 minutes 18 seconds

FP - Lecture 17 - IO and Monads

FP - Lecture 17 - IO and Monads

From Claudia-Elena Chirita

0 likes 358 plays 0
This is the first video for the FP lecture on IO and Monads.
FP - Lecture 18 - IO and Monads

duration 47 minutes 13 seconds

FP - Lecture 18 - IO and Monads

FP - Lecture 18 - IO and Monads

From Claudia-Elena Chirita

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

duration 11 minutes 48 seconds

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

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

From Haoran Peng

0 likes 348 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: