CAS 701

# Logic & Discrete Math in Software Engineering

(Fall 2015)

CAS 701

(Fall 2015)

Date | Topic | Notes |
---|---|---|

Week 1 |
Background and Propositional Logic - Syntax | Lecture Slides 1, Slides 2 |

Week 2 |
Propositional Logic - Semantics | Lecture Slides |

Week 3 |
Propositional Logic - Proof Systems | Lecture Slides |

Week 4 |
SAT Solving | Lecture Slides |

Week 5 |
Predicate Logic - Syntax | Lecture Slides |

Week 6 |
Predicate Logic - Semantics | Lecture Slides |

Week 7 |
Predicate Logic - Proof Systems | Lecture Slides |

Date | Topic | Notes |
---|---|---|

Week 8, 9 |
First-order Theorem Proving | PVS material |

Week 9, 10 |
LTL Model Checking | Lecture Slides |

Week 10 |
CTL Model Checking | Lecture Slides |

Week 11 |
Epistemic Logic | Lecture Slides |

Week 12 |
Epistemic Logic | Lecture Slides |

Project presentations will take place in the final exam time slot in December.