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-816 Automated Reasoning and Satisfiability
- 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-604 Recursion Theory
- 21-624 Descriptive Set Theory
- 21-700 Mathematical Logic II
- 21-702 Set Theory II
- 21-703 Model Theory II
- 21-800 Advanced Topics in Logic
- 21-803 Model Theory III
- 21-804 Math Logic Seminar
- 21-805 Lambda Calculus
- 80-610 Formal Logic
- 80-615 Modal Logic
- 80-611 Undecidability and Incompleteness
- 80-612 Mathematical Revolutions
- 80-618 Topics in Logic I
- 80-619 Formal Methods: Epistemic Logic and Topology
- 80-711 Proof Theory
- 80-713 Category Theory
- 80-719 Interactive Theorem Proving
- 80-813 Seminar on Philosophy of Mathematics
- 80-814 Categorical Logic
One can read off departments from course numbers as follows:
- 15-xxx Computer Science
- 21-xxx Mathematical Sciences
- 80-xxx Philosophy