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:

  • Propositional logic and SAT solving
  • Predicate logic and theorem proving
  • Temporal logic and model checking
  • Epistemic logic

Location and Time

Instructor: Borzoo Bonakdarpour, ITB 219, x23439
URL: i
Lectures: Tue - Thu 10:30-12:00am, ITB 222
Office Hours: Tue - Thu 9:30-10:30am, ITB 219

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.