Close

CMPT 260: Mathematical Logic and Computing

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.