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
Fall Term 2018

Lecture Sections

Fall Term 2018 - LEC EA2 (63118)

TR 12:30:00 - 13:50:00 (SAB 325)
Instructor: mrs@ualberta.ca - Profile

Fall Term 2018 - LEC A2 (63634)

TR 12:30:00 - 13:50:00 (SAB 325)
Instructor: mrs@ualberta.ca - Profile

Fall Term 2018 - LEC EA1 (64444)

TR 11:00:00 - 12:20:00 (CAB 265)
Instructor: mrs@ualberta.ca - Profile

Fall Term 2018 - LEC A1 (64446)

TR 11:00:00 - 12:20:00 (CAB 265)
Instructor: mrs@ualberta.ca - Profile

Seminars

Fall Term 2018 - SEM F1 (64678)

M 17:00:00 - 19:50:00 (CAB 265)
Instructor: TBD

Fall Term 2018 - SEM F2 (64680)

T 15:30:00 - 18:20:00 (CCIS L1 160)
Instructor: TBD

Fall Term 2018 - SEM EF1 (64682)

M 17:00:00 - 19:50:00 (CAB 265)
Instructor: TBD

Fall Term 2018 - SEM EF2 (64684)

T 15:30:00 - 18:20:00 (CCIS L1 160)
Instructor: TBD

View Previous Terms