Logical Reasoning for Computer Science
McMaster University, COMPSCI 2LC3 — Fall 2026
Instructor:
Outline
The course outline is available
here as PDF.
The course is run in-person.
Online Course Communication
Online communication in this course is normally handled via
Avenue;
the page here is mainly a fallback for Avenue outages.
If You Plan to Take this Course, but are not yet Registered When
Term Starts:
- Contact the instructor as soon as possible to add you on
Avenue!
(This does not guarantee registration in the course, which the
instructor cannot decide.)
- Attend all lectures and do all assigned work!
-
Preferably find a tutorial that is not full to atttend.
Textbook — strongly recomended
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”.
CalcCheck
This course is supported by the on-line proof checker
CalcCheck,
which will be accessed via notebooks linked from within Avenue.