Jul 13, 2024  
Undergraduate Calendar 2022-2023 
    
Undergraduate Calendar 2022-2023 [-ARCHIVED CALENDAR-]

Add to Favourites (opens a new window)

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



Add to Favourites (opens a new window)