Winter Term 2027 (1980)
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.
LECTURE EB1 (77454)
2027-01-04 - 2027-04-09
TR 12:30 - 13:50
LECTURE B1 (77596)
2027-01-04 - 2027-04-09
TR 12:30 - 13:50
LECTURE B2 (78464)
2027-01-04 - 2027-04-09
TR 14:00 - 15:20
LECTURE EB2 (78466)
2027-01-04 - 2027-04-09
TR 14:00 - 15:20
SEMINAR J01 (77826)
2027-01-04 - 2027-04-09
T 14:00 - 16:50
SEMINAR EJ01 (77827)
2027-01-04 - 2027-04-09
T 14:00 - 16:50
SEMINAR J03 (78465)
2027-01-04 - 2027-04-09
F 15:00 - 17:50
SEMINAR EJ03 (78467)
2027-01-04 - 2027-04-09
F 15:00 - 17:50
SEMINAR J02 (78790)
2027-01-04 - 2027-04-09
R 16:00 - 18:50
SEMINAR EJ02 (78791)
2027-01-04 - 2027-04-09
R 16:00 - 18:50