|Propositional Logic||Video||Time||Slides||Stein et al||Rosen|
|Truth tables This video has been split into two shorter videos which are part of the main programme 2015.||13:07||p. 150-153||p. 4-6|
|de Morgan's law This video essentially provides the solution for the exercise where you are asked to prove de Morgan's law.||8:43||p. 153-154||p. 23-24|
|If and only if||8:40||p. 156-159||p. 9+|
|Predicate Logic||Video||Time||Slides||Stein et al||Rosen|
|Implicit quantification||4:58||p. 170-173||N/A|
|Simplification, rewriting, and proof
This video has been split into two shorter video for the main programme in 2014 and 2015.
|MPEG4||12:13||p. 168-170||p. 41-43|
|Sorting Algorithms||Video||Time||Slides||Stein et al||Rosen|
Using a hand of cards, we explain how the sorting algorithm works.
|Proving insertion sort||8:16||p.||p.|