Previous Term
No future terms

★ 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 EA2 (82276)

2023-09-05 - 2023-12-08

TH 11:00 - 12:20 (CCIS L2-200)

LECTURE A2 (82277)

2023-09-05 - 2023-12-08

TH 11:00 - 12:20 (CCIS L2-200)

★ 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 (15352)

2024-01-08 - 2024-04-12

TH 14:00 - 15:20 (CCIS L2-200)

LECTURE EB2 (15354)

2024-01-08 - 2024-04-12

TH 14:00 - 15:20 (CCIS L2-200)

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

LECTURE B2 (19206)

2024-01-08 - 2024-04-12

MW 13:00 - 14:20 (HC 2-34)