Carrie Demmans Epp, PhD, MSc, BSc

Assistant Professor, Faculty of Science - Computing Science
Directory

Winter Term 2023 (1820)

CMPUT 272 - Formal Systems and Logic in Computing Science

★ 3 (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, or SCI 100.

LECTURE EB1 (44295)

2023-01-05 - 2023-04-12
TH 12:30 - 13:50 (TEL 150)

LECTURE B1 (44492)

2023-01-05 - 2023-04-12
TH 12:30 - 13:50 (TEL 150)



CMPUT 399 - Topics in Computing Science

★ 3 (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.

LECTURE B1 (50306)



CMPUT 499 - Topics in Computing Science

★ 3 (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.

LECTURE B04 (50299)

LECTURE B05 (50300)



CMPUT 605 - Topics in Computing Science

★ 3 (fi 6)(EITHER, 3-0-0)

LECTURE B19 (50252)

LECTURE B20 (50253)



CMPUT 701 - Essay in Computing Science I

★ 6 (fi 12)(VAR, 0-6S-0)

A major essay on an agreed topic.

SEMINAR B9 (50236)