Department of Mathematics
- 160A: First-Order Logic
- 160B: Computability and Logic
- 161: Set Theory
- 162: Philosophy of Mathematics
- 290A,B: Model Theory
- 291A,B: Recursion Theory
- 292A,B: Set Theory
- 293A,B: Proof Theory
- 294: Topics in Logic
- 297: Algebraic Logic
Department of Philosophy
- 23B: Truth and Paradox
- 23C: Counterfactuals
- 50: Introduction to Logic
- 150/250: Basic Concepts in Mathematical Logic
- 151/251: First-Order Logic
- 151A/251A: Recursive Functions
- 152/252: Computability and Logic
- 154/254: Modal Logic
- 155/255: Topics in Mathematical Logic
- 157/257: Topics in Philosophy of Logic
- 162/262: Philosophy of Mathematics
- 258: Minds and Machines
- 298: Topics in Logic, Language, and Information
- 350A,B: Model Theory
- 351A,B: Recursion Theory
- 351B: Constructive Mathematics
- 352A,B: Set Theory
- 353A,B: Proof Theory
- 354: Topics in Logic: Seminar on Constructive Mathematics
- 359: Advanced Modal Logic
Department of Computer Science
- 103A,B,X: Discrete Mathematics
- 154: Introduction to Automata and Complexity Theory
- 154N: Introduction to NP Completeness
- 157: Logic and Automated Reasoning
- 221: Artificial Intelligence
- 222: Knowledge Representation
- 227: Reasoning Methods in Artificial Intelligence
- 228: Probabilistic Methods in Artificial Intelligence
- 229: Machine Learning
- 229T: Statistical Learning Theory
- 256: Formal Methods for Reactive Systems
- 258: Introduction to Programming Language Theory
- 323: Common Sense Reasoning in Logic
- 356: Automatic Formal Verification Techniques
- 357: Advanced Topics in Formal Methods
- 357C: Automata on Infinite Objects
- 359: Topics in the Theory of Computation
Other Departments
- LING 230A,B: Semantics and Pragmatics
- PSYCH 204: Computation and Cognition
Last modified