- Description
- 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.
- Credit units
- 3
- Term description
- 1(3L-1.5T)
- College
- Arts and Science
- Department
- Computer Science
- Prerequisite(s):
- MATH 110; and one of CMPT 145, CMPT 115, or CMPT 117.