Mathematical Logic and Computing (CMPT 260.3)

Recent/Current Offerings

Syllabus / Public content Section Term Instructor
CMPT 260 01 September 2016 J Keil (primary instructor)
CMPT 260 02 July 2016 Oluwabunmi Olakanmi (primary instructor)


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.


MATH 110; and one of CMPT 145, CMPT 115, or CMPT 117.

Resources and Supports for CMPT 260

U of S Bookstore Textbook Search
Library Reserves Search
Hire a Tutor Search