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 A1
(52682) |
205 |
2026-09-01 - 2026-12-08 (TR)
09:30 - 10:50
|
|
|
LECTURE A2
(51785) |
200 |
2026-09-01 - 2026-12-08 (TR)
11:00 - 12:20
|
|
|
LECTURE EA1
(52683) |
5 |
2026-09-01 - 2026-12-08 (TR)
09:30 - 10:50
|
|
|
LECTURE EA2
(51784) |
10 |
2026-09-01 - 2026-12-08 (TR)
11:00 - 12:20
|
|
| Section | Capacity | Class times | Login to view Instructor(s) and Location |
|---|---|---|---|
|
SEMINAR EF01
(51830) |
5 |
2026-09-01 - 2026-12-08 (M)
17:00 - 18:50
|
|
|
SEMINAR EF02
(51831) |
5 |
2026-09-01 - 2026-12-08 (T)
15:30 - 17:20
|
|
|
SEMINAR EF03
(53275) |
5 |
2026-09-01 - 2026-12-08 (R)
15:30 - 17:20
|
|
|
SEMINAR F01
(51828) |
135 |
2026-09-01 - 2026-12-08 (M)
17:00 - 18:50
|
|
|
SEMINAR F02
(51829) |
135 |
2026-09-01 - 2026-12-08 (T)
15:30 - 17:20
|
|
|
SEMINAR F03
(53274) |
135 |
2026-09-01 - 2026-12-08 (R)
15:30 - 17:20
|
|
| Section | Capacity | Class times | Login to view Instructor(s) and Location |
|---|---|---|---|
|
LECTURE B1
(77596) |
50 |
2027-01-04 - 2027-04-09 (TR)
12:30 - 13:50
|
|
|
LECTURE B2
(78464) |
160 |
2027-01-04 - 2027-04-09 (TR)
14:00 - 15:20
|
|
|
LECTURE EB1
(77454) |
120 |
2027-01-04 - 2027-04-09 (TR)
12:30 - 13:50
|
|
|
LECTURE EB2
(78466) |
10 |
2027-01-04 - 2027-04-09 (TR)
14:00 - 15:20
|
|
| Section | Capacity | Class times | Login to view Instructor(s) and Location |
|---|---|---|---|
|
SEMINAR EJ01
(77827) |
110 |
2027-01-04 - 2027-04-09 (T)
14:00 - 16:50
|
|
|
SEMINAR EJ02
(78791) |
10 |
2027-01-04 - 2027-04-09 (R)
16:00 - 18:50
|
|
|
SEMINAR EJ03
(78467) |
10 |
2027-01-04 - 2027-04-09 (F)
15:00 - 17:50
|
|
|
SEMINAR J01
(77826) |
10 |
2027-01-04 - 2027-04-09 (T)
14:00 - 16:50
|
|
|
SEMINAR J02
(78790) |
100 |
2027-01-04 - 2027-04-09 (R)
16:00 - 18:50
|
|
|
SEMINAR J03
(78465) |
100 |
2027-01-04 - 2027-04-09 (F)
15:00 - 17:50
|
|