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.
| 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
|
| 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)
|
|
| 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
|
| 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)
|
|