COMPSCI 2LC3
Logical Reasoning for Computer Science
Fall 2026
Topics
- Introduction to logic and proof techniques for practical reasoning
- Propositional logic
- Predicate logic
- Structural induction
- Rigorous proofs in discrete mathematics and programming
Fall 2025 · Logical Reasoning: Comp Sci · C01
Readings
- Logical Approach To Discrete MathISBN 9781441928351