COMPSCI 2209A/B
APPLIED LOGIC FOR COMPUTER SCIENCE
0.50 credit
Description
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.
Prerequisites
Computer Science 1027A/B, Computer Science 1037A/B, Computer Science 2121A/B or Digital Humanities 2221A/B in each case with at least 65%; Computer Science 1020A/B with at least 60%; 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.
Reviews
No reviews yet — be the first.