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.

If you need to be added to the course on Avenue, please contact the instructor.

Attend the First Lecture and Then Prepare for the Tutorials Starting Sept. 4!

• You never miss the first lecture of a course you are serious about.
• The COMPSCI 2LC3 tutorials will start on the day after the first lecture.
• You are expected to work on Homework 1 after the first lecture and before your first tutorial.
• The first lecture will have content that you need for Homework 1 and for the Exercises that will be worked in in the first tutorials.
• If you miss any lecture or tutorial, you put yourself at a serious disadvantage: The content will be built upon!

If You Plan to Take this Course, but are not yet Registered:

• 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

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