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. Antirequisite(s): Prerequisite(s): Computer Science 1027A/B, 1037A/B, or Computer Science 2101A/B, in each case with at least 65%, and one full course or equivalent chosen from the following, with at least 60% in each: Applied Mathematics 1201A/B or the former Calculus 1201A/B, Applied Mathematics 1413, Calculus 1000A/B, 1100A/B, 1301A/B, 1500A/B, 1501A/B, Mathematics 1600A/B or the former Linear Algebra 1600A/B, or permission of the Department. Corequisite(s): Pre-or Corequisite(s): Extra Information: 4 lecture hours, 0.5 course. back to top
