General Information



This course introduces the classic material on discrete mathematics and mathematical logic. The course will go over the most important concepts on logic and developing mechanized proofs:

  • Background concepts on discrete math
  • Propositional logic and SAT solving
  • Predicate logic and theorem proving
  • Temporal logic and model checking

Location and Time

Instructor: Borzoo Bonakdarpour, ITB 219, x23439
URL: i
Lectures: Tue 9:30am-12:30pm, ITB 222
Instructor office hours: Tue - Thu 12:30pm-1:30am, ITB 219
TA: Anh-Duy Vu (
TA office hours: Thu, 3-5pm

Evaluation (preliminary)

Assignments 40%
Mid-term Exam 30%
Final Exam 30%

Lateness Policy

All homework assignments are due in the beginning of class (i.e., 4:00pm). Submissions should be made individually. You are allowed to submit one and only one assignment at most one week late. Other late submissions are subject to 50% deduction. All submissions must be typed unless they are electronic submissions (e.g., files, scripts, etc).

Academic Integrity

All students are expected to adhere to McMasters academic integrity policies.