Dec 05, 2025  
University of Alberta Calendar 2024-2025 
    
Catalog Navigation
  Calendar Home
  Notes re: Archived Calendars
  Academic Schedule
  Colleges and Faculties
  University Regulations
  Undergraduate Admissions
  Undergraduate Programs
  Graduate Admissions
  Graduate Regulations
  Graduate Programs
  Course Listings
  About the University
  About the Calendar
  Inquiries
HELP
University of Alberta Calendar 2024-2025 [ARCHIVED CALENDAR]

CMPUT 272 - Formal Systems and Logic in Computing Science

Course Career Undergraduate
Units 3
Approved Hours 3-3S-0
Fee index 6
Faculty Science
Department Computing Science
Typically Offered either term

Description
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: CMPUT 101, 174, 175, 274, SCI 100, or ENCMP 100.