Homework
Rules- Schedule, number, and content of homework are subject to change. Class will be given an advanced notification.
- 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 29, 2022 | Friday, Sep 9, 2022 |
Homework 2 (Generic Version) or Homework 2 (Lisp Version) |
Friday, Sep 9, 2022 | Monday, Sep 19, 2022 (Generic and Lisp versions) |
Homework 3. | Monday, Sep 19, 2022 | Monday, Oct 3, 2022 |
Homework 4 (Generic Version)
or Homework 4 (Lisp Version) Use all-cities.lisp for problem 4 Class wiki |
Monday, Oct 3, 2022 | Friday, Oct 14, 2022 |
Homework 5: Constraint
Satisfaction Source files of Homework 5 provided for your convenience. |
Friday, Oct 14, 2022 | Monday, Oct 31, 2022 |
The dates of the homework below are subject to change. | ||
Homework 6 (TEX): SAT and Propositional Logic |
Monday, Oct 31, 2022 | Monday, Nov 14, 2022 |
Homework 7 (TEX): Propositional Logic and First Order Logic. | Monday, Nov 14, 2022 | Monday, Nov 28, 2022 |
Homework 8 (TEX): Unification and Resolution. | Monday, Nov 28, 2022 | Wednesday, Dec 7, 2022 |