Lectures
- In(tro)duction.
- More induction.
- More induction.
- More induction. But luckily, it's false that lecture n is on induction implies lecture n + 1 is on induction.
- Program correctness.
- Recursive Time Complexity (PS) (PDF).
- Syntax of Propositional Logic.
- Semantics of Propositional Logic.
- Interaction of Syntax and Semantics of Propositional Logic.
- Predicate Logic.
- Regular Expressions, FSAs and Regular Languages.
