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 | Class times | Instructor(s) |
|---|---|---|---|
|
LECTURE B1
(13691) |
182 |
2024-01-08 - 2024-04-12 (TR)
12:30 - 13:50
T LB-001
|
Primary Instructor: Vadim Bulitko
|
|
LECTURE B2
(15352) |
307 |
2024-01-08 - 2024-04-12 (TR)
14:00 - 15:20
CCIS 1-440
|
Primary Instructor: Randy Goebel
Co-Instructor: Vadim Bulitko
|
|
LECTURE EB1
(13504) |
128 |
2024-01-08 - 2024-04-12 (TR)
12:30 - 13:50
T LB-001
|
Primary Instructor: Vadim Bulitko
|
|
LECTURE EB2
(15354) |
16 |
2024-01-08 - 2024-04-12 (TR)
14:00 - 15:20
CCIS 1-440
|
Primary Instructor: Randy Goebel
Co-Instructor: Vadim Bulitko
|
| Section | Capacity | Class times | Instructor(s) |
|---|---|---|---|
|
SEMINAR EJ1
(13965) |
118 |
2024-01-08 - 2024-04-12 (T)
14:00 - 16:50
CCIS L1-160
|
|
|
SEMINAR EJ2
(15884) |
12 |
2024-01-08 - 2024-04-12 (R)
16:00 - 18:50
CCIS L1-160
|
|
|
SEMINAR EJ3
(15355) |
14 |
2024-01-08 - 2024-04-12 (F)
15:00 - 17:50
C E1-60
|
|
|
SEMINAR J1
(13964) |
72 |
2024-01-08 - 2024-04-12 (T)
14:00 - 16:50
CCIS L1-160
|
|
|
SEMINAR J2
(15883) |
181 |
2024-01-08 - 2024-04-12 (R)
16:00 - 18:50
CCIS L1-160
|
|
|
SEMINAR J3
(15353) |
236 |
2024-01-08 - 2024-04-12 (F)
15:00 - 17:50
C E1-60
|
|
| Section | Capacity | Class times | Instructor(s) |
|---|---|---|---|
|
LECTURE EX01
(31422) |
1 |
2024-05-06 - 2024-06-12 (MW)
17:00 - 19:50
CSC B-10
|
Primary Instructor: X Li
|
|
LECTURE X01
(31419) |
74 |
2024-05-06 - 2024-06-12 (MW)
17:00 - 19:50
CSC B-10
|
Primary Instructor: X Li
|
| Section | Capacity | Class times | Instructor(s) |
|---|---|---|---|
|
SEMINAR EX02
(31423) |
1 |
2024-05-06 - 2024-06-12 (TR)
17:00 - 19:50
CSC B-10
|
|
|
SEMINAR X02
(31420) |
74 |
2024-05-06 - 2024-06-12 (TR)
17:00 - 19:50
CSC B-10
|
|
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 | Instructor(s) |
|---|---|---|---|
|
LECTURE A1
(49641) |
309 |
2024-09-03 - 2024-12-09 (TR)
09:30 - 10:50
T LB-001
|
|
|
LECTURE A2
(48006) |
309 |
2024-09-03 - 2024-12-09 (TR)
11:00 - 12:20
T LB-001
|
|
|
LECTURE EA1
(49642) |
1 |
2024-09-03 - 2024-12-09 (TR)
09:30 - 10:50
T LB-001
|
|
|
LECTURE EA2
(48005) |
1 |
2024-09-03 - 2024-12-09 (TR)
11:00 - 12:20
T LB-001
|
|
| Section | Capacity | Class times | Instructor(s) |
|---|---|---|---|
|
SEMINAR EF01
(48056) |
1 |
2024-09-03 - 2024-12-09 (M)
17:00 - 18:50
CCIS L2-200
|
|
|
SEMINAR EF02
(48057) |
1 |
2024-09-03 - 2024-12-09 (T)
15:30 - 17:20
ESB 3-27
|
|
|
SEMINAR EF03
(50470) |
1 |
2024-09-03 - 2024-12-09 (R)
15:30 - 17:20
ESB 3-27
|
|
|
SEMINAR F01
(48054) |
206 |
2024-09-03 - 2024-12-09 (M)
17:00 - 18:50
CCIS L2-200
|
|
|
SEMINAR F02
(48055) |
206 |
2024-09-03 - 2024-12-09 (T)
15:30 - 17:20
ESB 3-27
|
|
|
SEMINAR F03
(50469) |
206 |
2024-09-03 - 2024-12-09 (R)
15:30 - 17:20
ESB 3-27
|
|
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 | Instructor(s) |
|---|---|---|---|
|
LECTURE B1
(73211) |
160 |
2025-01-06 - 2025-04-09 (TR)
12:30 - 13:50
T LB-001
|
|
|
LECTURE B2
(74754) |
314 |
2025-01-06 - 2025-04-09 (TR)
14:00 - 15:20
CCIS 1-440
|
|
|
LECTURE EB1
(73056) |
140 |
2025-01-06 - 2025-04-09 (TR)
12:30 - 13:50
T LB-001
|
|
|
LECTURE EB2
(74756) |
10 |
2025-01-06 - 2025-04-09 (TR)
14:00 - 15:20
CCIS 1-440
|
|
| Section | Capacity | Class times | Instructor(s) |
|---|---|---|---|
|
SEMINAR EJ01
(73464) |
140 |
2025-01-06 - 2025-04-09 (T)
14:00 - 16:50
ETLC E1-017
|
|
|
SEMINAR EJ02
(75150) |
5 |
2025-01-06 - 2025-04-09 (R)
16:00 - 18:50
ETLC E1-013
|
|
|
SEMINAR EJ03
(74757) |
5 |
2025-01-06 - 2025-04-09 (F)
15:00 - 17:50
ETLC E1-017
|
|
|
SEMINAR J01
(73463) |
74 |
2025-01-06 - 2025-04-09 (T)
14:00 - 16:50
ETLC E1-017
|
|
|
SEMINAR J02
(75149) |
200 |
2025-01-06 - 2025-04-09 (R)
16:00 - 18:50
ETLC E1-013
|
|
|
SEMINAR J03
(74755) |
200 |
2025-01-06 - 2025-04-09 (F)
15:00 - 17:50
ETLC E1-017
|
|