COMPSCI 2LC3 — Logical Reasoning for Computer Science
Introduction to logic and proof techniques for practical reasoning: propositional logic, predicate logic, structural induction; rigorous proofs in discrete mathematics and programming.
Terms offered: Fall
Antirequisites: COMPSCI 2DM3, SFWRENG 2DM3