Logical Reasoning for Computer Science

McMaster University COMPSCI 2LC3 — Fall 2024

Instructor:

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

  Office hour: Fridays, 14:00 – 15:00, and by appointment

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.

Office Hours and Teaching Assistants

See the separate page here.

Material

• Lecture slides, 3-up (Letter paper)
• Lecture slides, 10-up (A4 paper, for viewing on tall monitors)
• List of CalcCheck instances for this term

  (If you access these from here instead of via the McMaster LMS “Avenue”, you will not be able to save your work.)

Textbook

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