X Li

Assistant Lecturer, Faculty of Science - Computing Science

Contact

Assistant Lecturer, Faculty of Science - Computing Science
Email
xiaobo8@ualberta.ca

Courses

CMPUT 272 - Formal Systems and Logic in Computing Science

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.


Browse more courses taught by X Li