Mohammad Salavatipour, PhD
Fall Term 2023 (1850)
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 A1 (84023)
2023-09-05 - 2023-12-08
TR 09:30 - 10:50 (T LB-001)
LECTURE EA1 (84024)
2023-09-05 - 2023-12-08
TR 09:30 - 10:50 (T LB-001)
CMPUT 675 - Topics in Computing Science
★ 3 (fi 6)(EITHER, 3-0-0)
LECTURE A1 (89330)
2023-09-05 - 2023-12-08
MW 12:00 - 13:20 (CSC B-41)