Computational Logic
Fall 2002
- Test 3: ps, pdf.
- Practice kit for Test 3: ps,
pdf
Solutions: ps, pdf
- Lecture 11: Slides: ps,
pdf .
- Lecture 10: Slides: ps,
pdf .
- Lecture 9 plan : ps, pdf
- Lecture 8 plan : ps, pdf
- Test 2: ps, pdf.
- Practice kit for Test 2: ps,
pdf
Solutions: ps, pdf.
- Just a lecture 7 plan : ps,
pdf
- Again, a plan (of Lecture 6) only : ps,
pdf
However, I trust this is a useful thing too.
- Just a lecture 5 plan : ps,
pdf
- Test 1: ps, pdf.
- Lecture 4: Slides: ps,
pdf .
- Practice kit for Test 1: ps,
pdf.
Solutions: ps, pdf.
- Lecture 3: Slides: ps,
pdf .
- Lecture 2: Slides: ps,
pdf . Exercises to Lecture 2:
ps, pdf .
- Lecture 1: Slides: ps,
pdf .