★ 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 B2 (46517)
2023-01-05 - 2023-04-12
TH 14:00 - 15:20 (C E1-60)
LECTURE EB2 (46519)
2023-01-05 - 2023-04-12
TH 14:00 - 15:20 (C E1-60)