Homework
You must submit your files via webhandin when required. Homework must be returned before class on due date.
Homework |
Assigned date |
Due date |
Homework 1: over Chapter 1 and Chapter 2. | Friday, Sep 1, 2017 | Friday, Sep 8, 2017 |
Homework 2 (Generic Version)
or Homework 2 (Lisp Version) |
Friday, Sep 8, 2017 | Friday, Sep 15, 2017 (Generic version) or Monday, Sep 18, 2017 (Lisp version) |
Homework 3. | Monday, Sep 18, 2017 | Friday, Sep 29, 2017 |
Homework 4 (Generic Version)
or Homework 4 (Lisp Version) Use all-cities.lisp for problem 4 |
Friday, Sep 29, 2017 | Friday, Oct 13, 2017 |
Homework 5: Constraint
Satisfaction Source files of Homework 5 provided for your convenience. |
Friday, Oct 13, 2017 | Friday, Oct 20, 2017 |
Homework 6: SAT and Propositional Logic |
Friday, Oct 20, 2017 | Friday, Oct 27, 2017 |
Homework 7: Propositional Logic and First Order Logic. | Friday, Oct 27, 2017 | Wednesday, Nov 8, 2017 |
Homework 8: (PL +) FOL. | Wednesday, Nov 8, 2017 | Wednesday, Nov 15, 2017 |