CAS 701

# Logic & Discrete Math in Software Engineering

( Fall 2016)

CAS 701

( Fall 2016)

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

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

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

**Lectures:** Tue 9:30am-12:30pm, ITB 222

**Instructor office hours:** Tue - Thu 12:30pm-1:30am, ITB 219

**TA:** Anh-Duy Vu (vud1@mcmaster.ca)

**TA office hours:** Thu, 3-5pm

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.