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 1 of 15

duration 53 minutes 47 seconds

CL - 22 - Tseytin Satisfaction DPLL

CL - 22 - Tseytin Satisfaction DPLL

CL - 22 - Tseytin Satisfaction DPLL

CL - 22 - Tseytin Satisfaction DPLL

N/A

From Haoran Peng

0 likes 109 plays 0
CL - 21 - CNF KM Gentzen Tseytin 2 of 15

duration 50 minutes 26 seconds

CL - 21 - CNF KM Gentzen Tseytin

CL - 21 - CNF KM Gentzen Tseytin

CL - 21 - CNF KM Gentzen Tseytin

CL - 21 - CNF KM Gentzen Tseytin

N/A

From Haoran Peng

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

duration 53 minutes 56 seconds

CL - 20 - syllogisms arrowrule

CL - 20 - syllogisms arrowrule

CL - 20 - syllogisms arrowrule

CL - 20 - syllogisms arrowrule

N/A

From Haoran Peng

0 likes 149 plays 0
CL - 18 - rules 4 of 15

duration 55 minutes 1 second

CL - 18 - rules

CL - 18 - rules

CL - 18 - rules

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…

From Haoran Peng

0 likes 214 plays 0
FP - Lecture 19 - Propositions as Types 5 of 15

duration 37 minutes 11 seconds

FP - Lecture 19 - Propositions as Types

FP - Lecture 19 - Propositions as Types

FP - Lecture 19 - Propositions as Types

FP - Lecture 19 - Propositions as Types

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

From Claudia-Elena Chirita

0 likes 431 plays 0
CL - 19 - regex DFA NFA 6 of 15

duration 54 minutes 51 seconds

CL - 19 - regex DFA NFA

CL - 19 - regex DFA NFA

CL - 19 - regex DFA NFA

CL - 19 - regex DFA NFA

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.

From Haoran Peng

0 likes 214 plays 0
CL - 17 - regex: Arden's lemma 7 of 15

duration 55 minutes 1 second

CL - 17 - regex: Arden's lemma

CL - 17 - regex: Arden's lemma

CL - 17 - regex: Arden's lemma

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.

From Haoran Peng

0 likes 235 plays 0
CL - 16 - ε-transitions and the subset… 8 of 15

duration 49 minutes 40 seconds

CL - 16 - ε-transitions and the subset…

CL - 16 - ε-transitions and the subset construction

CL - 16 - ε-transitions and the subset…

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.

From Haoran Peng

0 likes 235 plays 0
CL - 15f - R* -- Iteration 9 of 15

duration 2 minutes 48 seconds

CL - 15f - R* -- Iteration

CL - 15f - R* -- Iteration

CL - 15f - R* -- Iteration

CL - 15f - R* -- Iteration

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

From Haoran Peng

0 likes 232 plays 0
CL - 15e - RS -- Concatenation 10 of 15

duration 5 minutes 47 seconds

CL - 15e - RS -- Concatenation

CL - 15e - RS -- Concatenation

CL - 15e - RS -- Concatenation

CL - 15e - RS -- Concatenation

We 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 ε-transitions 11 of 15

duration 2 minutes 2 seconds

CL - 15d - Using ε-transitions

CL - 15d - Using ε-transitions

CL - 15d - Using ε-transitions

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

0 likes 248 plays 0
CL - 15c - Introducing ε-transitions 12 of 15

duration 6 minutes 9 seconds

CL - 15c - Introducing ε-transitions

CL - 15c - Introducing ε-transitions

CL - 15c - Introducing ε-transitions

CL - 15c - Introducing ε-transitions

We introduce NFA - automata with ε-transitions

From Haoran Peng

0 likes 281 plays 0
FP - Lecture 17 - IO and Monads 13 of 15

duration 46 minutes 18 seconds

FP - Lecture 17 - IO and Monads

FP - Lecture 17 - IO and Monads

FP - Lecture 17 - IO and Monads

FP - Lecture 17 - IO and Monads

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

From Claudia-Elena Chirita

0 likes 370 plays 0
FP - Lecture 18 - IO and Monads 14 of 15

duration 47 minutes 13 seconds

FP - Lecture 18 - IO and Monads

FP - Lecture 18 - IO and Monads

FP - Lecture 18 - IO and Monads

FP - Lecture 18 - IO and Monads

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

From Claudia-Elena Chirita

0 likes 281 plays 0
CL - 15b - Boolean operations on DFA-Regular… 15 of 15

duration 11 minutes 48 seconds

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

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

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

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.

From Haoran Peng

0 likes 350 plays 0

Search for ""

Public, Restricted and Moderated

119 Media

5 Members

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