Oct 30, 2026  
School of Graduate Studies Calendar, 2018-2019 
    
Catalog Navigation
  Calendar Home
  Directory for Information
  Officers of Administration
  Vice-Provost and Dean of Graduate Studies
  Associate Deans of Graduate Studies
  Sessional Dates 2018-2019
  Graduate Study at McMaster University
  General Regulations of the Graduate School
  Regulations for Master’s Degrees
  Regulations for the Doctor of Philosophy Degree
  Financial Matters
  Additional University Regulations Affecting Graduate Students
  General Information
  Graduate Scholarships, Bursaries and Other Awards
  Governing Bodies

  Areas of Study
  DeGroote School of Business
  Faculty of Engineering
  Faculty of Humanities
  Faculty of Health Sciences
  Faculty of Science
  Faculty of Social Sciences
  Interdisciplinary
  Course Listings
  My Favourites
HELP
School of Graduate Studies Calendar, 2018-2019 [-ARCHIVED CALENDAR-]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Favourites (opens a new window)

CAS 732 / Logical Foundations of Computer Science

3 unit(s)

J. Zucker

A solid logical and mathematical foundation for reasoning about software and software descriptions is provided. Topics include: introductory concepts in set theory (sets, relations, functions, etc.); various logics (first order, higher order, equational, conditional equational); many-sorted algebras; initial algebra semantics for equational and conditional equational theories.


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Favourites (opens a new window)