Apr 18, 2024  
University of Alberta Calendar 2017-2018 
    
Catalog Navigation
  Calendar Home
  Notes re: Archived Calendars
  Message from the President
  Inquiries
  Academic Schedule
  Undergraduate Application Deadlines for Admission and Readmission
  Undergraduate Admission
  University Regulations and Information for Students
  The Faculties
  Undergraduate Programs
  Graduate Programs
  Glossary
  Course Listings
  General Information
  University Staff
  Previous Calendars
HELP
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.