CMPUT 272 - Formal Systems and Logic in Computing Science

★ 3 (fi 6)(EITHER, 3-3S-0)

Faculty of 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. Prerequisites: CMPUT 101, 174, 175, 274, or SCI 100.

No syllabi

Fall Term 2023

Lectures

Section Capacity Dates + Times Instructor(s)
LECTURE A1
(84023)
250
2023-09-05 - 2023-12-08
TH 09:30 - 10:50 (T LB-001)
Primary Instructor: Mohammad Salavatipour
LECTURE A2
(82277)
288
2023-09-05 - 2023-12-08
TH 11:00 - 12:20 (CCIS L2-200)
Primary Instructor: Randy Goebel
LECTURE EA1
(84024)
1
2023-09-05 - 2023-12-08
TH 09:30 - 10:50 (T LB-001)
Primary Instructor: Mohammad Salavatipour
LECTURE EA2
(82276)
1
2023-09-05 - 2023-12-08
TH 11:00 - 12:20 (CCIS L2-200)
Primary Instructor: Randy Goebel

Seminars

Section Capacity Dates + Times Instructor(s)
SEMINAR EF1
(82329)
1
2023-09-05 - 2023-12-08
M 17:00 - 18:50 (CCIS L2-190)
SEMINAR EF2
(82330)
1
2023-09-05 - 2023-12-08
T 15:30 - 17:20 (CCIS L2-200)
SEMINAR EF3
(85046)
0
2023-09-05 - 2023-12-08
H 15:30 - 17:20 (CCIS L2-200)
SEMINAR F1
(82327)
180
2023-09-05 - 2023-12-08
M 17:00 - 18:50 (CCIS L2-190)
SEMINAR F2
(82328)
184
2023-09-05 - 2023-12-08
T 15:30 - 17:20 (CCIS L2-200)
SEMINAR F3
(85045)
174
2023-09-05 - 2023-12-08
H 15:30 - 17:20 (CCIS L2-200)

Winter Term 2024

Lectures

Section Capacity Dates + Times Instructor(s)
LECTURE B1
(13691)
132
2024-01-08 - 2024-04-12
TH 12:30 - 13:50 (T LB-001)
Primary Instructor: Vadim Bulitko
LECTURE B2
(15352)
257
2024-01-08 - 2024-04-12
TH 14:00 - 15:20 (CCIS L2-200)
Primary Instructor: Randy Goebel
LECTURE EB1
(13504)
137
2024-01-08 - 2024-04-12
TH 12:30 - 13:50 (T LB-001)
Primary Instructor: Vadim Bulitko
LECTURE EB2
(15354)
8
2024-01-08 - 2024-04-12
TH 14:00 - 15:20 (CCIS L2-200)
Primary Instructor: Randy Goebel

Seminars

Section Capacity Dates + Times Instructor(s)
SEMINAR EJ1
(13965)
133
2024-01-08 - 2024-04-12
T 14:00 - 16:50 (CCIS L1-160)
SEMINAR EJ2
(15884)
6
2024-01-08 - 2024-04-12
H 16:00 - 18:50 (CCIS L1-160)
SEMINAR EJ3
(15355)
6
2024-01-08 - 2024-04-12
F 15:00 - 17:50 (CCIS L1-160)
SEMINAR J1
(13964)
58
2024-01-08 - 2024-04-12
T 14:00 - 16:50 (CCIS L1-160)
SEMINAR J2
(15883)
161
2024-01-08 - 2024-04-12
H 16:00 - 18:50 (CCIS L1-160)
SEMINAR J3
(15353)
170
2024-01-08 - 2024-04-12
F 15:00 - 17:50 (CCIS L1-160)