Logical Reasoning for Computer Science
McMaster University COMPSCI 2LC3 — Fall 2021
The course outline is available
here as PDF.
Online communication in this course is normally handled via
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.
See the separate page here.
David Gries and Fred B. Schneider:
A Logical Approach to Discrete Math, Springer,
- The lectures are synchronous on-line lectures
delivered in the “Lectures” channel on MSTeams.
They will be recorded (not in MSTeams), and the recordings will be
made available via Avenue.
- All tutorials scheduled in Mosaic are scheduled in rooms for
physical in-person attendance.
- For students who cannot come to campus this fall,
a separate online tutorial “T5” is offered Fridays
12:30–14:20; this will be recorded as well.
“T5” will not be visible on Mosaic, so there is no
need to change tutorial sections on Mosaic for this.
This book is available for purchase
and should be available via the
The book's Google books
may include selected “preview pages”.
This course is supported by the on-line proof checker CalcCheck.