Lili Mou, PhD

Assistant Professor, Faculty of Science - Computing Science

Winter Term 2021 (1740)

CMPUT 605 - Topics in Computing Science

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

LECTURE B04 (95622)
LECTURE B05 (95624)

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: Any 100-level CMPUT course, CMPUT 274 or SCI 100.

LECTURE B3 (46166)
2021-01-11 - 2021-04-16
TH 12:30 - 13:50 (TBD)

LECTURE EB3 (46167)
2021-01-11 - 2021-04-16
TH 12:30 - 13:50 (TBD)


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 B06 (46471)
LECTURE B07 (46472)

CMPUT 651 - Topics in Artificial Intelligence

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

LECTURE B2 (45703)
2021-01-11 - 2021-04-16
F 11:00 - 13:50 (TBD)