Jul 27, 2024  
University of Alberta Calendar 2021-2022 
    
Catalog Navigation
  Calendar Home
  Notes re: Archived Calendars
  Inquiries
  Academic Schedule
  Admissions
  University Regulations
  Graduate Regulations
  Colleges and Faculties
  Undergraduate Programs
  Graduate Programs
  Course Listings
  Glossary
  About the University
  University Staff
  Previous Calendars
  Addenda and Errata
  Centre collégial de l’Alberta
HELP
University of Alberta Calendar 2021-2022 [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. Prerequisites: Any 100-level CMPUT course, CMPUT 274 or SCI 100.