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. | Monday, Aug 30, 2021 | Friday, Sep 10, 2021 |
Homework 2 (Generic Version, CORRECTED) or Homework 2 (Lisp Version, CORRECTED) |
Friday, Sep 10, 2021 | Monday, Sep 20, 2021 (Lisp version) Both versions extended to Monday, Sep 20, 2021 |
Homework 3. | Monday, Sep 17, 2021 | Friday, Oct 1, 2021 |
Homework 4 (Generic Version)
or Homework 4 (Lisp Version) Use all-cities.lisp for problem 4 Class wiki |
Friday, Oct 1, 2021 | Friday, Oct 15, 2021 |
Homework 5: Constraint
Satisfaction Source files of Homework 5 provided for your convenience. |
Friday, Oct 15, 2021 | Friday, Oct 29, 2021 |
Homework 6 (TEX): SAT and Propositional Logic |
Friday, Oct 29, 2021 | Monday, Nov 8, 2021 |
Homework 7 (TEX): Propositional Logic and First Order Logic. | Friday, Nov 5, 2021 | Monday, Nov 29, 2021 |