Discrete Mathematics with Applications 1
McMaster University COMPSCI&SFWRENG 2DM3 — Fall 2018
kahl at mcmaster dot ca
Outline and Avenue
The course outline is available
here as PDF.
Online communication in this course is normally handled via
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.
See the separate page here.
David Gries and Fred B. Schneider:
A Logical Approach to Discrete Math, Springer,
This book is available for purchase
and is expected in the back room of the
One copy is on reserve in the Thode library.
This course is supported by the on-line proof checker CalcCheck.
All midterm tests will be written using CalcCheck in all seven UTS labs.
Due to lab availability,
the midterms are scheduled on Fridays from 17:45-19:30.
You will receive an e-mail specifying your lab and seat number
the night before each midterm.
- Midterm 1: Friday, 28th September
- Midterm 2: Friday, 16th November