May 26, 2019  
University of Alberta Calendar 2017-2018 
    
University of Alberta Calendar 2017-2018 [ARCHIVED CATALOG]

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. Prerequisite: Any 100-level CMPUT course or SCI 100.