CS 245
Logic and Computation
Fall 2026
Readings
- Mathematical Logic for Computer Science
2022
Topics
- Introduction
- Propositional Logic
- Predicate Logic
- Decidability and Peano Arithmetic
Readings
- Mathematical Logic for Computer Science
Sources
- Course catalogue ↗2026–2027
- course_website ↗Fall 2026
- departmental_course_outline ↗2022
- Departmental typical outline and references; assignments and textbooks may vary by term. Source revision: August 12, 2022. Year refers to the departmental revision date, not a specific offering.