Apr 23, 2024  
Undergraduate Calendar 2021-2022 
    
Catalog Navigation
  Calendar Home
  Academic Regulations
  Sessional Dates
  Programs (by Faculty) and Faculty Information
  Programs (by Degree) and Minors
  Interdisciplinary Minors and Thematic Areas
  Certificate and Diploma Programs
  Course Listings
  Admission, Application and Aid & Awards Information
  Governing Bodies and Emeriti
  Contact Us
  Glossary
  PDF Version and Archive
  My Favourites
HELP
Undergraduate Calendar 2021-2022 [-ARCHIVED CALENDAR-]

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

COMPSCI 2LC3 - Logical Reasoning for Computer Science

3 unit(s)
Introduction to logic and proof techniques for practical reasoning: propositional logic, predicate logic, structural induction; rigorous proofs in discrete mathematics and programming.
Three lectures, one tutorial (two hours); first term
Prerequisite(s): COMPSCI 1DM3 , COMPSCI 1MD3  or 1XC3  or 1XD3 
Antirequisite(s): COMPSCI 2DM3, SFWRENG 2DM3  


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