COMPSCI 2LC3 - Logical Reasoning for Computer Science

3 unit(s)

Introduction to logic and proof techniques for practical reasoning: propositional logic, predicate logic, structural induction; rigorous proofs in discrete mathematics and programming.
Three lectures, one tutorial (two hours); first term; may be offered also in the second term
Prerequisite(s): COMPSCI 1DM3, 1JC3; one of COMPSCI 1MD3, 1XC3, 1XD3, MATH 1MP3, and registration in Mathematics and Computer Science or, in any Computer Science program (see Department Note 3 in the course listing) or in the Minor in Computer Science.
Antirequisite(s): COMPSCI 2DM3, SFWRENG 2DM3