Nov 09, 2024  
Undergraduate Calendar 2024-2025 
    
Undergraduate Calendar 2024-2025
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; 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  



Add to Favourites (opens a new window)