Nov 21, 2024  
Undergraduate Calendar 2020-2021 
    
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 2020-2021 [-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
First offered 2021-2022.


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