Lecture 15

We did proof by contradiction, doing two classical examples:

We then saw two examples of state diagrams: the Jug Puzzle from Die Hard 3. and constructing phone lattices. And we talked briefly about loops in state diagrams.