Logical Reasoning for Computer Science

McMaster University COMPSCI 2LC3 — Fall 2021

Instructor:

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

Outline

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

• 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.

Office Hours and Teaching Assistants

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 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