CMPUT 272 - Formal Systems and Logic in Computing Science

3 units (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, SCI 100, or ENCMP 100.

No syllabi

Fall Term 2024

Lectures

Section Capacity Class times Login to view Instructor(s) and Location
LECTURE A1
(49641)
309
2024-09-03 - 2024-12-09 (TR)
09:30 - 10:50
LECTURE A2
(48006)
309
2024-09-03 - 2024-12-09 (TR)
11:00 - 12:20
LECTURE EA1
(49642)
1
2024-09-03 - 2024-12-09 (TR)
09:30 - 10:50
LECTURE EA2
(48005)
1
2024-09-03 - 2024-12-09 (TR)
11:00 - 12:20

Seminars

Section Capacity Class times Login to view Instructor(s) and Location
SEMINAR EF01
(48056)
1
2024-09-03 - 2024-12-09 (M)
17:00 - 18:50
SEMINAR EF02
(48057)
1
2024-09-03 - 2024-12-09 (T)
15:30 - 17:20
SEMINAR EF03
(50470)
1
2024-09-03 - 2024-12-09 (R)
15:30 - 17:20
SEMINAR F01
(48054)
206
2024-09-03 - 2024-12-09 (M)
17:00 - 18:50
SEMINAR F02
(48055)
206
2024-09-03 - 2024-12-09 (T)
15:30 - 17:20
SEMINAR F03
(50469)
206
2024-09-03 - 2024-12-09 (R)
15:30 - 17:20

Winter Term 2025

Lectures

Section Capacity Class times Login to view Instructor(s) and Location
LECTURE B1
(73211)
160
2025-01-06 - 2025-04-09 (TR)
12:30 - 13:50
LECTURE B2
(74754)
314
2025-01-06 - 2025-04-09 (TR)
14:00 - 15:20
LECTURE EB1
(73056)
140
2025-01-06 - 2025-04-09 (TR)
12:30 - 13:50
LECTURE EB2
(74756)
10
2025-01-06 - 2025-04-09 (TR)
14:00 - 15:20

Seminars

Section Capacity Class times Login to view Instructor(s) and Location
SEMINAR EJ01
(73464)
140
2025-01-06 - 2025-04-09 (T)
14:00 - 16:50
SEMINAR EJ02
(75150)
5
2025-01-06 - 2025-04-09 (R)
16:00 - 18:50
SEMINAR EJ03
(74757)
5
2025-01-06 - 2025-04-09 (F)
15:00 - 17:50
SEMINAR J01
(73463)
74
2025-01-06 - 2025-04-09 (T)
14:00 - 16:50
SEMINAR J02
(75149)
200
2025-01-06 - 2025-04-09 (R)
16:00 - 18:50
SEMINAR J03
(74755)
200
2025-01-06 - 2025-04-09 (F)
15:00 - 17:50