Math Logic and Computing (CMPT 260.0)

Recent/Current Offerings

Syllabus / Public content Section Term Instructor
CMPT 260 01 September 2017 Eric Neufeld
CMPT 260 T01 September 2017 Unknown Unknown
CMPT 260 T03 September 2017 Unknown Unknown
 
CMPT 260 02 July 2017 Oluwabunmi Olakanmi
 
CMPT 260 01 September 2016 J Keil
CMPT 260 T01 September 2016 Unknown Unknown
CMPT 260 T03 September 2016 Unknown Unknown
 
CMPT 260 02 July 2016

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.

Prerequisite(s)

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