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 2018

Lecture Sections

Winter Term 2018 - LEC EB2 (88458)

TR 12:30:00 - 13:50:00 (ECHA 2 490)
Instructor: lkstewar@ualberta.ca - Profile

Winter Term 2018 - LEC B2 (89024)

TR 12:30:00 - 13:50:00 (ECHA 2 490)
Instructor: lkstewar@ualberta.ca - Profile

Winter Term 2018 - LEC B1 (89814)

TR 09:30:00 - 10:50:00 (CSC B 2)
Instructor: lkstewar@ualberta.ca - Profile

Winter Term 2018 - LEC EB1 (89818)

TR 09:30:00 - 10:50:00 (CSC B 2)
Instructor: lkstewar@ualberta.ca - Profile

Seminars

Winter Term 2018 - SEM EJ2 (88460)

R 15:00:00 - 17:50:00 (CSC B 10)
Instructor: TBD

Winter Term 2018 - SEM J2 (89026)

R 15:00:00 - 17:50:00 (CSC B 10)
Instructor: TBD

Winter Term 2018 - SEM J1 (89816)

T 14:00:00 - 16:50:00 (CCIS 1 140)
Instructor: TBD

Winter Term 2018 - SEM EJ1 (89820)

T 14:00:00 - 16:50:00 (CCIS 1 140)
Instructor: TBD

View Previous Terms