#### School of Informatics Sample Undergraduate Lecture

School of Informatics - Sample 1st year lecturePropositions as Types by Professor Philip WadlerSemester 1: Lecture 19 (INF1A)

From  Nicola Hopper 0 likes 26 plays 0

#### Coursework 1

This is the video presenting the first Coursework for Inf2D, Reasoning and Agents.

From  Claudia-Elena Chirita 0 likes 175 plays 0

#### FP - Lecture 19 - Propositions as Types

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

From  Claudia-Elena Chirita 0 likes 415 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.

From  Haoran Peng 0 likes 235 plays 0

#### 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 358 plays 0

#### 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 274 plays 0

#### CL - 13a - Machines

This video introduces the notion of a machine.

From  Claudia-Elena Chirita 0 likes 197 plays 0

#### CL - 14a - Tseytin Week 9

In the second video, we show how the Tesytin procedure can be implemented elegantly in Haskell.

From  Haoran Peng 0 likes 297 plays 0

#### FP - Lecture 16 - Combinatorics

This is the second video for the FP lecture on Combinatorics.

From  Claudia-Elena Chirita 0 likes 298 plays 0

#### FP - Lecture 15 - Combinatorics

This is the first video for the FP lectures on Combinatorics.

From  Claudia-Elena Chirita 0 likes 407 plays 0

#### CL - 11b - CNF by Boolean algebra

Description Pending

From  Haoran Peng 0 likes 269 plays 0

#### FP - Lecture 14 - Type Classes

This is the video for the FP lecture on Type Classes.

From  Claudia-Elena Chirita 0 likes 372 plays 0

#### FP - Lecture 13 - Laziness, Higher-order, and Sorting

This is the video for the FP lecture on Laziness, Higher-order, and Sorting.

From  Claudia-Elena Chirita 0 likes 497 plays 0

#### CL - 9c - DPLL II

We return to the example introduced in the previous video, and begin to represent the problem in Haskell.

From  Haoran Peng 0 likes 267 plays 0

#### FP - Lecture 12 - Data Types and Data Abstraction (continued)

This is the second video for the FP lecture on Data Types and Data Abstraction.

From  Claudia-Elena Chirita 0 likes 457 plays 0

#### CL - 7h - Some Haskell remarks

In this video we give an example showing how Haskell's types can help us to avoid confusions.We then discuss the types of the Boolean operations lifted to predicates, and show how…

From  Haoran Peng 0 likes 246 plays 0