CSE 505: Computing with Logic

Materials from lectures 

This is in reverse chronological order:

• Jan 27: Organization & Introduction

• Jan 29: Propositional Logic: Syntax and Models

• Feb 3: Propositional Logic: Resolution and Refutation

• Feb 5, 10: Propositional Logic: Satisfiability Checking (including CDCL)

  • Rohan Menezes's (UPenn) slides on SAT/CDCL

• Feb 12, 17, 19: BDDs

  • Video of Feb 17th class

  • Sanjit Seshia's (Berkely EECS) slides on BDDs

  • An early paper by Randy Bryant's on BDDs.

• Feb 24: No class, Snow day (will be compensated at the end of the semester)

• Feb 26: Predicate Logic: Syntax & Semantics

• March 3, 10: Definite Logic Programs

• March 5: No class, in a conference

• March 12: Mid-Term Exam

• March 24, 26, 31, April 2: Prolog

  • Example predicates: intro.pl

• April 7: Difference lists

• April 9: Tabling

• Apr 14: Procedural programming in Prolog

• Apr 16, 21: Stable and Well-Founded Models

• Apr 23: Answer Set Programming  (selected slides from the main slide deck on https://teaching.potassco.org/)

  • See https://potassco.org/doc/start/ for Clingo/ASP system and documentation

• April 30, May 5, May 7:  Temporal Logics and Model Checking