robot

Computer Science 255
Spring 2008

Main | Grading | Syllabus | Honor Code | Archive

*ARCHIVE OF PAST HANDOUTS

  1. Propositional Logic (1/25)
  2. First-Order Logic (1/29)
  3. Tarski's World (1/30)
  4. Logical Inference (2/1)
  5. Proofs by Forward Chaining (2/4)
  6. Proofs by Backward Chaining (2/5)
  7. Proofs by Resolution (2/13)
  8. More Proofs by Resolution (2/15)
  9. More Foreward and Backward Chaining Examples (2/15)
  10. Introduction to Prolog (2/18)
  11. Scripts (4/2)
  12. Planning (4/9)
  13. Natural Language Processing (4/18)
  14. Eliza Chatbot Rules (4/23)

*ASSIGNMENTS PAST DUE

Due Wednesday, April 16th:

Due Wednesday, April 9th:

Due Wednesday, April 2nd:

Due Wednesday, March 26th:

Coming up on Monday, March 17:

Due Friday, March 7th:

Due Friday, Feb 29th :

On Friday, Feb 22nd :

Due Wednesday, Feb 20th :

Due Wednesday, Feb 13th :

Due Wednesday, Feb 6th:

 

Robot clip art from Clipartheaven.com