Academic Calendar - 2024

Western University Academic Calendar. - 2024
Western Main Campus

Computer Science 2209A/B


Propositional and predicate logic; representing static and dynamic properties of real-world systems; logic as a tool for representation, reasoning and calculation; logic and programming.

Prerequisite(s): Either 1) Computer Science 1027A/B, Computer Science 1037A/B, the former Computer Science 2101A/B, Computer Science 2121A/B or Digital Humanities 2221A/B in each case with at least 65%, and 1.0 course with at least 60% in each from: Applied Mathematics 1201A/B, Numerical and Mathematical Methods 1411A/B, Numerical and Mathematical Methods 1412A/B, Numerical and Mathematical Methods 1414A/B, Calculus 1000A/B, Calculus 1301A/B, Calculus 1500A/B, Calculus 1501A/B, Mathematics 1600A/B, the former Applied Mathematics 1411A/B, the former Applied Mathematics 1412A/B, the former Applied Mathematics 1414A/B, the former Applied Mathematics 1413; or 2) Integrated Science 1001X with at least 60%.

Extra Information: 3 lecture hours, 1 laboratory/tutorial hour.

Course Weight: 0.50
Breadth: CATEGORY C i  
Subject Code: COMPSCI

This Course is Mentioned in the Following Calendar Pages: