An introduction to elementary applied propositional and predicate logic. Fundamental proof techniques with an emphasis on induction. The theory of sets, relations and functions. Course concepts are related to computer science areas, with an emphasis on relational databases. Weekly hours: 3 Lecture hours and 1.5 Tutorial hoursPrerequisite(s): One of (CMPT 145.3, CMPT146.3, CMPT 115.3, or CMPT 117.3); and one of (MATH110.3, MATH 133.4, MATH 163.3, or MATH 176.3).
An introduction to elementary applied propositional and predicate logic. Fundamental proof techniques with an emphasis on induction. The theory of sets, relations and functions. Course concepts are related to computer science areas, with an emphasis on relational databases. Weekly hours: 3 Lecture hours and 1.5 Tutorial hoursPrerequisite(s): One of (CMPT 145.3, CMPT146.3, CMPT 115.3, or CMPT 117.3); and one of (MATH110.3, MATH 133.4, MATH 163.3, or MATH 176.3).
