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

Winter Term 2023

Lectures

Section Capacity Dates + Times Instructor(s)
LECTURE B1
(44492)
137
2023-01-05 - 2023-04-12
TH 12:30 - 13:50 (TEL 150)
Primary Instructor: Carrie Demmans Epp
LECTURE B2
(46517)
228
2023-01-05 - 2023-04-12
TH 14:00 - 15:20 (C E1-60)
Primary Instructor: Randy Goebel
LECTURE EB1
(44295)
119
2023-01-05 - 2023-04-12
TH 12:30 - 13:50 (TEL 150)
Primary Instructor: Carrie Demmans Epp
LECTURE EB2
(46519)
8
2023-01-05 - 2023-04-12
TH 14:00 - 15:20 (C E1-60)
Primary Instructor: Randy Goebel

Seminars

Section Capacity Dates + Times Instructor(s)
SEMINAR EJ1
(44779)
109
2023-01-05 - 2023-04-12
T 14:00 - 16:50 (HC L1-L1)
SEMINAR EJ2
(47561)
11
2023-01-05 - 2023-04-12
H 16:00 - 18:50 (CCIS L1-160)
SEMINAR EJ3
(46520)
7
2023-01-05 - 2023-04-12
F 15:00 - 17:50 (ETLC E1-003)
SEMINAR J1
(44777)
50
2023-01-05 - 2023-04-12
T 14:00 - 16:50 (HC L1-L1)
SEMINAR J2
(47560)
156
2023-01-05 - 2023-04-12
H 16:00 - 18:50 (CCIS L1-160)
SEMINAR J3
(46518)
159
2023-01-05 - 2023-04-12
F 15:00 - 17:50 (ETLC E1-003)

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 (C E1-60)
LECTURE A2
(82277)
260
2023-09-05 - 2023-12-08
TH 11:00 - 12:20 (CCIS L2-200)
LECTURE EA1
(84024)
2
2023-09-05 - 2023-12-08
TH 09:30 - 10:50 (C E1-60)
LECTURE EA2
(82276)
2
2023-09-05 - 2023-12-08
TH 11:00 - 12:20 (CCIS L2-200)

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)
2
2023-09-05 - 2023-12-08
T 15:30 - 17:20 (CCIS L2-200)
SEMINAR EF3
(85046)
1
2023-09-05 - 2023-12-08
H 15:30 - 17:20 (CCIS L2-200)
SEMINAR F1
(82327)
173
2023-09-05 - 2023-12-08
M 17:00 - 18:50 (CCIS L2-190)
SEMINAR F2
(82328)
173
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)
133
2024-01-08 - 2024-04-12
TH 12:30 - 13:50 (C E1-60)
LECTURE B2
(15352)
257
2024-01-08 - 2024-04-12
TH 14:00 - 15:20 (CCIS L2-200)
LECTURE EB1
(13504)
120
2024-01-08 - 2024-04-12
TH 12:30 - 13:50 (C E1-60)
LECTURE EB2
(15354)
5
2024-01-08 - 2024-04-12
TH 14:00 - 15:20 (CCIS L2-200)

Seminars

Section Capacity Dates + Times Instructor(s)
SEMINAR EJ1
(13965)
115
2024-01-08 - 2024-04-12
T 14:00 - 16:50 (CCIS L1-160)
SEMINAR EJ2
(15884)
5
2024-01-08 - 2024-04-12
H 16:00 - 18:50 (CCIS L1-160)
SEMINAR EJ3
(15355)
5
2024-01-08 - 2024-04-12
F 15:00 - 17:50 (CCIS L1-160)
SEMINAR J1
(13964)
59
2024-01-08 - 2024-04-12
T 14:00 - 16:50 (CCIS L1-160)
SEMINAR J2
(15883)
170
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)