CSE 505: Computing with Logic
Fall 2008
Old Lecture Materials
The following are some slides and examples used in previous offerings of this course.
Topic
Slides
Examples
1,2
Course Organization and Intro.
org.pdf
intro.pdf
3
First-Order Logic
logic_syntax.pdf
4,5
Definite Logic Programs
defpgms.pdf
C.R. Ramakrishnan
Last updated on Tue, Sep 3 2008, 07:09:21 PM