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.

CMPUT 495 - Honors Seminar

0 units (fi 1)(EITHER, 0-1S-0)

This weekly seminar brings students, researchers, and practitioners together to examine a variety of topics, both foundational and leading edge. Content varies over successive offerings of the course. Successful completion required of all Honors Computing Science students during each Fall/Winter semester of their degree program. Prerequisite: Restricted to Honors Computing Science students, or permission of the Department.

CMPUT 659 - Topics in Artificial Intelligence

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