Lectures
The notes below are available in two formats: Postscript (PS) and PDF. For the postscript notes
you will need a viewer such as ghostview. The PDF notes can be read using acroread.
Week 1
- Lecture 1: Introduction to the course and logistics
- Lecture 2: Revision of Propositional Logic
Week 2
- Lecture 3: Arguments and validity
- Lecture 4: Natural Deduction
Week 3
- Lecture 5: Natural Deduction continued: Rules for Negation
- Lecture 6:Soundness and Completeness
Week 4
- Lecture 7: Conjunctive Normal Form
- Lecture 8: Resolution, Horn Formulas
Week 5
- Lecture 9: An algorithmic approach to reasoning with Horn clauses
- Lecture 10: Propositional Logic Programming, Intro to Predicate Calculus
Week 6
- Lecture 11: Intro to Predicate Calculus continued --- see lecture 10 slides
- Lecture 12: Semantics of Predicate Logic
Week 7
- Lecture 13: Semantics of Predicate Logic (ctd)
- Lecture 14:Equality, Clauses and Instances
Week 8
- Lecture 15: Logic Programming
- Lecture 16: Mid term exam
Week 9
Non teaching week
Week 10
- Lecture 17: Logic Programming Operational Semantics 1
- Slides: PS format (no PDF due to incompatibility of figures)
- Lecture 18: Unification, Logic Programming Operational Semantics
Week 11
- Lecture 19: Logic Programming Operational Semantics ctd
- Lecture 20: Logic Programming Examples
Week 12
- Lecture 21: More logic programming examples. Trees, formulas, arithmetic.
- Lecture 22: Definite Clause Grammars and Parsing using logic programs, Cut
Week 13
- Lecture 23: Negation, Debugging Logic Programs
- Lecture 24: Natural Deduction for Predicate Logic
Week 14
- Lecture 25: Reasoning about Equality