- 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 Logic Lecture 10. Many-valued Logic
- Lecture 11. Probability and inductive logic Lecture 11. Probability and inductive logic
- Lecture 12. Logic and Neural Networks Lecture 12. Logic and Neural Networks