Fall Term 2025 (1930)
CMPUT 272 - Formal Systems and Logic in Computing Science
3 units (fi 6)(EITHER, 3-3S-0)
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.
LECTURE EA2 (51881)
2025-09-02 - 2025-12-08
TR 11:00 - 12:20
LECTURE A2 (51882)
2025-09-02 - 2025-12-08
TR 11:00 - 12:20
SEMINAR F01 (51925)
2025-09-02 - 2025-12-08
M 17:00 - 18:50
SEMINAR F02 (51926)
2025-09-02 - 2025-12-08
T 15:30 - 17:20
SEMINAR EF01 (51927)
2025-09-02 - 2025-12-08
M 17:00 - 18:50
SEMINAR EF02 (51928)
2025-09-02 - 2025-12-08
T 15:30 - 17:20
SEMINAR F03 (54117)
2025-09-02 - 2025-12-08
R 15:30 - 17:20
SEMINAR EF03 (54118)
2025-09-02 - 2025-12-08
R 15:30 - 17:20
CMPUT 496 - Topics in Computing Science
3 units (fi 6)(VAR, VARIABLE)
This topics course is designed for new course offerings that may be offered in a given term. Prerequisites are determined by the instructor in the course outline. See Note (3) above.
LECTURE A1 (57408)
2025-09-02 - 2025-12-08
MWF 14:00 - 14:50
CMPUT 499 - Topics in Computing Science
3 units (fi 6)(VAR, VARIABLE)
This topics course is designed for a one on one individual study course between a student and an instructor. Prerequisites are determined by the instructor in the course outline. See Note (3) above.
IND A05 (56073)
2025-09-02 - 2025-12-08
01:00 - 01:00
Winter Term 2026 (1940)
CMPUT 626 - Topics in Machine Learning
3 units (fi 6)(EITHER, 3-0-0)
LECTURE B1 (89229)
2026-01-05 - 2026-04-10
F 14:00 - 16:50