Aug 05, 2021  
University of Alberta Calendar 2021-2022 
    
University of Alberta Calendar 2021-2022

CMPUT 272 - Formal Systems and Logic in Computing Science


★ 3 (fi 6) (either term, 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: Any 100-level CMPUT course, CMPUT 274 or SCI 100.