CSE 505: Computing with Logic
Fall 2008
Homeworks
The following is the list of homeworks for the course.
Homework submissions, unless otherwise specified, should be done using the Blackboard system.
Topic
Due Date
1.
Prolog Programming Basics
Wed., Sep. 24
2.
Logic: Models and Proofs
Mon., Oct. 27
C.R. Ramakrishnan
Last updated on Wed, Sep 10 2008, 09:29:18 PM