|
Nov 09, 2024
|
|
|
|
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)
|
|