Logic course offerings

The three PAL departments offer many beginning, intermediate and advanced graduate logic courses. Beginning courses are repeated every year with more or less the same content each time whereas the topics covered in intermediate and advanced courses vary. Courses that are offered on a regular or semiregular basis include:

  • 15-812 Semantics of Programming Languages
  • 15-814 Type Systems for Programming Languages
  • 15-819 Hardware and Software Verification
  • 15-624/824 Foundations of Cyber-Physical Systems
  • 21-600 Mathematical Logic I
  • 21-602 Set Theory I
  • 21-603 Model Theory I
  • 21-700 Mathematical Logic II
  • 21-702 Set Theory II
  • 21-703 Model Theory II
  • 21-800 Advanced Topics in Logic
  • 21-804 Math Logic Seminar
  • 21-805 Lambda Calculus
  • 80-610 Logic and Computation
  • 80-615 Modal Logic
  • 80-611 Computability and Incompleteness
  • 80-612 Philosophy of Mathematics
  • 80-618 Computability and Proof Search
  • 80-619 Computability and Learnibility
  • 80-711 Proof Theory
  • 80-713 Category Theory
  • 80-813 Seminar on Philosophy of Mathematics
  • 80-820 Categorical Logic

One can read off departments from course numbers as follows:

  • 15-xxx Computer Science
  • 21-xxx Mathematical Sciences
  • 80-xxx Philosophy

Before each semester, a list of courses and descriptions for the upcoming term is published here.