CAS 701

# Logic & Discrete Math in Software Engineering

( Fall 2015)

CAS 701

( Fall 2015)

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

**Instructor:** Borzoo Bonakdarpour, ITB 219, x23439

**URL:** ihttps://www.cas.mcmaster.ca/~borzoo/teaching/15/CAS701/

**Lectures:** Tue - Thu 10:30-12:00am, ITB 222

**Office Hours:** Tue - Thu 9:30-10:30am, ITB 219

Assignments | 40% |

Mid-term Exam | 30% |

Final Exam | 30% |

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).

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