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, COMPSCI 1JC3; one of COMPSCI 1MD3, 1XC3, 1XD3, MATH 1MP3 and registration in any Computer Science program (see Department Note 3 in the course listing) or in the Minor in Computer Science.
For students registered in the Mathematics and Computer Science program, or in the Honours Computer Science as a Second Degree program, COMPSCI 1JC3 can be taken as a co-requisite.
Antirequisite(s): COMPSCI 2DM3, SFWRENG 2DM3