This course provides an introduction to logical reasoning and proofs. Topics include sets, counting (permutations and combinations), mathematical induction, relations and functions, partial order relations, equivalence relations, groups and applications to error-correcting codes. Antirequisite(s): Mathematics 2151A/B or the former Software Engineering 2251A/B. Prerequisite(s): 1.0 course from: Mathematics 1120A/B, Applied Mathematics 1413, Calculus 1000A/B, 1100A/B or 1500A/B Calculus 1301A/B or 1501A/B, Mathematics 1600A/B or the former Linear Algebra 1600A/B, or the former Mathematics 030 (in each case with a minimum mark of 60%); or permission of the department. Corequisite(s): Pre-or Corequisite(s): Extra Information: 4 lecture hours, 0.5 course. back to top