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