Math/CS 6c: Introduction to Mathematical Logic

Spring 2025

Course Description

Welcome to Math 6c! This course serves as an introduction to mathematical logic. Topics to be covered include: syntax and semantics of propositional and first-order logic; introduction to the Goedel completeness and incompleteness theorems; elements of computability theory and computational complexity; discussion of the P=NP problem.

Lecture Notes

  1. Lecture 1
  2. Lecture 2
  3. Lecture 3
  4. Lecture 4
  5. Lecture 5
  6. Lecture 6
  7. Lecture 7
  8. Lecture 8
  9. Lecture 9
  10. Lecture 10
  11. Lecture 11
  12. Lecture 12
  13. Lecture 13
  14. Lecture 14
  15. Lecture 15
  16. Lecture 16
  17. Lecture 17
  18. Lecture 18
  19. Lecture 19
  20. Lecture 20

Homeworks

  1. HW1
  2. HW2
  3. HW3
  4. HW4
  5. HW5
  6. HW6
  7. HW7
  8. HW8