Logical Reasoning for Computer Science

McMaster University COMPSCI 2LC3 — Fall 2025

Instructor:

• Dr. Wolfram Kahl “ kahl at cas dot mcmaster dot ca ”

  Office hour: Mondays, 13:00 – 14:00, and by appointment, or catch me after class.

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.

Office Hours and Teaching Assistants

See the separate page here.

Textbook — strongly recomended

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