Logical Reasoning for Computer Science

McMaster University COMPSCI 2LC3 — Fall 2021



The course outline is available here as PDF.

Online Course Communication

Online communication in this course is normally handled via Avenue and via the MSTeams “team” for this course “COMPSCI 2LC3 Fall 2021”; the page here is mainly a fallback for Avenue outages.

If you need to be added to the course on Avenue, please contact the instructor.

In-person and Online Course Components

Office Hours and Teaching Assistants

See the separate page here.



David Gries and Fred B. Schneider: A Logical Approach to Discrete Math, Springer, ISBN-13: 978-0387941158. (Related website)

This book is available for purchase as e-book, and should be available via the Campus Store.

The book's Google books page may include selected “preview pages”.


This course is supported by the on-line proof checker CalcCheck.