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
Prerequisite(s): One of the following:
• COMPSCI 1DM3, 1JC3; one of COMPSCI 1MD3, 1XC3, 1XD3, and registration in an Honours Computer Science program or in one of Mathematics and Computer Science, Economics and Computer Science, Arts & Sciences and Computer Science
• COMPSCI 1DM3, 1JC3, and one of COMPSCI 1MD3, 1XC3, 1XD3, each with a result of at least B
Antirequisite(s): COMPSCI 2DM3, SFWRENG 2DM3