Discrete Mathematics with Applications 1

McMaster University COMPSCI&SFWRENG 2DM3 — Fall 2018

Outline and Avenue

The course outline is available here as PDF.

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.

Teaching Assistants and Office Hours

See the separate page here.

Material

Final Theorem List:
- ``Semi-blank'' (6 pages 2-up)
- Filled (6 pages 2-up) — not provided in the final exam!
2DM3 2018 Mid-November Theorem Reference (HTML)
Midterm 2 Theorem List:
- ``Semi-blank'' (4 pages 2-up)
- Filled (4 pages 2-up) — not provided in the midterm!
Filling in the blanks is a good exercise — I hope you will pleasantly be surprised to find how many you know by now... — ...

Textbook

David Gries and Fred B. Schneider: A Logical Approach to Discrete Math, Springer, ISBN-13: 978-0387941158. (Related website)

This book is available for purchase as e-book, and is expected in the back room of the Campus Store.

One copy is on reserve in the Thode library.

CalcCheck

This course is supported by the on-line proof checker CalcCheck.

Midterm Tests

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