Nov 27, 2024  
University of Alberta Calendar 2019-2020 
    
Catalog Navigation
  Calendar Home
  Notes re: Archived Calendars
  Inquiries
  Academic Schedule, Dates, and Deadlines
  Undergraduate Application Procedures and Deadlines
  Undergraduate Admission
  University Regulations
  Graduate Policy and Regulations
  The Faculties
  Undergraduate Programs
  Graduate Programs
  Glossary
  Course Listings
  General Information About the University
  University Staff
  Errata
  PDF Version / Previous Calendars
  Centre collégial de l’Alberta
HELP
University of Alberta Calendar 2019-2020 [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, CMPUT 274 or SCI 100.