Quick Course Search

CMPUT272 - Formal Systems and Logic in Computing Science

An introduction to the tools of set theory, logic, and induction, and their use in the practice of reasoning about algorithms and programs. Basic set theory. The notion of a function. Counting. Propositional and predicate logic and their proof systems. Inductive definitions and proofs by induction. Program specification and correctness. Prerequisite: Any 100-level CMPUT course or SCI 100.

Winter Term 2019

Lecture Sections

Winter Term 2019 - LEC EB2 (87292)

TR 12:30:00 - 13:50:00 (CCIS 1 160)
Instructor: lkstewar@ualberta.ca - Profile

Winter Term 2019 - LEC B2 (87830)

TR 12:30:00 - 13:50:00 (CCIS 1 160)
Instructor: lkstewar@ualberta.ca - Profile

Winter Term 2019 - LEC B1 (88562)

TR 09:30:00 - 10:50:00 (CCIS L2 200)
Instructor: lkstewar@ualberta.ca - Profile

Winter Term 2019 - LEC EB1 (88566)

TR 09:30:00 - 10:50:00 (CCIS L2 200)
Instructor: lkstewar@ualberta.ca - Profile

Seminars

Winter Term 2019 - SEM EJ2 (87294)

R 15:00:00 - 17:50:00 (ETLC E1 007)
Instructor: TBD

Winter Term 2019 - SEM J2 (87832)

R 15:00:00 - 17:50:00 (ETLC E1 007)
Instructor: TBD

Winter Term 2019 - SEM J1 (88564)

T 14:00:00 - 16:50:00 (ETLC E1 003)
Instructor: TBD

Winter Term 2019 - SEM EJ1 (88568)

T 14:00:00 - 16:50:00 (ETLC E1 003)
Instructor: TBD

View Previous Terms