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.
| Section | Capacity | Class times | Login to view Instructor(s) and Location |
|---|---|---|---|
|
LECTURE B1
(73211) |
164 |
2025-01-06 - 2025-04-09 (TR)
12:30 - 13:50
|
|
|
LECTURE B2
(74754) |
199 |
2025-01-06 - 2025-04-09 (TR)
14:00 - 15:20
|
|
|
LECTURE EB1
(73056) |
120 |
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
|
|
| Section | Capacity | Class times | Login to view Instructor(s) and Location |
|---|---|---|---|
|
SEMINAR EJ01
(73464) |
110 |
2025-01-06 - 2025-04-09 (T)
14:00 - 16:50
|
|
|
SEMINAR EJ02
(75150) |
13 |
2025-01-06 - 2025-04-09 (R)
16:00 - 18:50
|
|
|
SEMINAR EJ03
(74757) |
7 |
2025-01-06 - 2025-04-09 (F)
15:00 - 17:50
|
|
|
SEMINAR J01
(73463) |
80 |
2025-01-06 - 2025-04-09 (T)
14:00 - 16:50
|
|
|
SEMINAR J02
(75149) |
138 |
2025-01-06 - 2025-04-09 (R)
16:00 - 18:50
|
|
|
SEMINAR J03
(74755) |
143 |
2025-01-06 - 2025-04-09 (F)
15:00 - 17:50
|
|
| Section | Capacity | Class times | Login to view Instructor(s) and Location |
|---|---|---|---|
|
LECTURE A1
(53403) |
305 |
2025-09-02 - 2025-12-08 (TR)
09:30 - 10:50
|
|
|
LECTURE A2
(51882) |
304 |
2025-09-02 - 2025-12-08 (TR)
11:00 - 12:20
|
|
|
LECTURE EA1
(53404) |
1 |
2025-09-02 - 2025-12-08 (TR)
09:30 - 10:50
|
|
|
LECTURE EA2
(51881) |
2 |
2025-09-02 - 2025-12-08 (TR)
11:00 - 12:20
|
|
| Section | Capacity | Class times | Login to view Instructor(s) and Location |
|---|---|---|---|
|
SEMINAR EF01
(51927) |
1 |
2025-09-02 - 2025-12-08 (M)
17:00 - 18:50
|
|
|
SEMINAR EF02
(51928) |
1 |
2025-09-02 - 2025-12-08 (T)
15:30 - 17:20
|
|
|
SEMINAR EF03
(54118) |
1 |
2025-09-02 - 2025-12-08 (R)
15:30 - 17:20
|
|
|
SEMINAR F01
(51925) |
203 |
2025-09-02 - 2025-12-08 (M)
17:00 - 18:50
|
|
|
SEMINAR F02
(51926) |
203 |
2025-09-02 - 2025-12-08 (T)
15:30 - 17:20
|
|
|
SEMINAR F03
(54117) |
203 |
2025-09-02 - 2025-12-08 (R)
15:30 - 17:20
|
|
| Section | Capacity | Class times | Login to view Instructor(s) and Location |
|---|---|---|---|
|
LECTURE B1
(82905) |
153 |
2026-01-05 - 2026-04-10 (TR)
12:30 - 13:50
|
|
|
LECTURE B2
(84360) |
282 |
2026-01-05 - 2026-04-10 (TR)
14:00 - 15:20
|
|
|
LECTURE EB1
(82754) |
140 |
2026-01-05 - 2026-04-10 (TR)
12:30 - 13:50
|
|
|
LECTURE EB2
(84362) |
10 |
2026-01-05 - 2026-04-10 (TR)
14:00 - 15:20
|
|
| Section | Capacity | Class times | Login to view Instructor(s) and Location |
|---|---|---|---|
|
SEMINAR EJ01
(83146) |
130 |
2026-01-05 - 2026-04-10 (T)
14:00 - 16:50
|
|
|
SEMINAR EJ02
(84715) |
10 |
2026-01-05 - 2026-04-10 (R)
16:00 - 18:50
|
|
|
SEMINAR EJ03
(84363) |
10 |
2026-01-05 - 2026-04-10 (F)
15:00 - 17:50
|
|
|
SEMINAR J01
(83145) |
65 |
2026-01-05 - 2026-04-10 (T)
14:00 - 16:50
|
|
|
SEMINAR J02
(84714) |
185 |
2026-01-05 - 2026-04-10 (R)
16:00 - 18:50
|
|
|
SEMINAR J03
(84361) |
185 |
2026-01-05 - 2026-04-10 (F)
15:00 - 17:50
|
|