- Lecture 0. Preamble Lecture 0. Preamble
- Lecture 1. Logic and AI Lecture 1. Logic and AI
- Lecture 2. Formal languages Lecture 2. Formal languages
- Lecture 3. Valid inference Lecture 3. Valid inference
- Lecture 4. Boolean algebra Lecture 4. Boolean algebra
- Lecture 5. Boolean satisfiability Lecture 5. Boolean satisfiability
- Lecture 6. Logical conditionals Lecture 6. Logical conditionals
- Lecture 7. Logical proofs Lecture 7. Logical proofs
- Lecture 8. FOL Lecture 8. FOL
- Lecture 9. FOL inference Lecture 9. FOL inference
- Lecture 10. Many-valued logics Lecture 10. Many-valued logics
- Lecture 11. Logic and probability Lecture 11. Logic and probability
- Lecture 12. Logical learning Lecture 12. Logical learning