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, Aug 28, 2020 | Friday, Sep 4, 2020 |
Homework 2 (Generic Version)
or Homework 2 (Lisp Version) |
Friday, Sep 4, 2020 | Friday, Sep 11, 2020 (Generic version) or Monday, Sep 14, 2020 (Lisp version) |
Homework 3. | Monday, Sep 11, 2020 | Friday, Sep 25, 2020 |
Homework 4 (Generic Version)
or Homework 4 (Lisp Version) Use all-cities.lisp for problem 4 |
Friday, Sep 25, 2020 | Sunday, Oct 11, 2020 at 11:59 PM. Two percent of the student's grade bonus if submitted by Friday, Oct 9, 2020 at 2:30 PM |
Homework 5: Constraint
Satisfaction Source files of Homework 5 provided for your convenience. |
Friday, Oct 9, 2020 | Friday, Oct 16, 2020 |
Homework 6 (TEX): SAT and Propositional Logic |
Friday, Oct 16, 2020 | |
Homework 7 (TEX): Propositional Logic and First Order Logic. | Friday, Oct 23, 2020 | Wednesday, Nov 4, 2020 |
Homework 8 (TEX): (PL +) FOL. | Wednesday, Nov 4, 2020 | Wednesday, Nov 18, 2020 |