Subject: Computer Science
Credit units: 3
Offered: Term 1 only
Weekly hours: 3 Lecture hours and 1.5 Tutorial hours
College: Arts and Science
Department: Computer Science

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 or MATH 176; and one of CMPT 145, CMPT 115, or CMPT 117.

Upcoming class offerings

For full details about upcoming courses, refer to the class search tool or, if you are a current student, the registration channel in PAWS.

Syllabi

Examples of current or recently-offered class syllabus material can be found on the Open CourseWare website.

The syllabus is a public document that provides detail about a class, such as the schedule of activities, learning outcomes, and weighting of assignments and examinations. Please note that the examples provided in Open CourseWare do not represent a complete set of current or previous syllabus material. Rather, they are presented solely for the purpose of indicating what may be required for a given class.

For more information about syllabi, visit the Academic Courses Policy.

Resources