CSE 505: Computing with Logic
Fall 2008
Lecture Materials
The following are slides and other materials used in class.
Lecture
Topic
Slides
Examples
1,2,3
Course Organization and Intro.
org-handout.pdf
intro-handout.pdf
6,7
Logic: Syntax and Semantics
mylogicnotes.pdf
7,8
Herbrand Models
defpgms-handout.pdf
9,10
Resolution
resolution-handout.pdf
Slides used in earlier semesters can be found
here
.
C.R. Ramakrishnan
Last updated on Wed, Oct 29 2008, 10:34:12 PM