Lecture plan

The schedule is tentative and subject to change

Date	Topic
January 6	Introduction
January 9	Propositional logic
January 13	cont.
January 16	Quiz 1, Propositional definite clauses
January 20	Reasoning about individuals and relations
January 23	cont.
January 27	First steps in Prolog, LPN Ch 1
January 30	Quiz 2, Matching and proof search LPN Ch 2
February 3	cont.
February 6	Recursion, LPN Ch 3
February 10	cont.
February 13	Procedural aspects, finish LPN Ch 3
February 17	Reading week
February 20	Reading week
February 24	Midterm test
February 27	Arithmetic, LPN Ch 5
March 3	More lists, LPN Ch 6
March 6	Quiz 3, Formal systems
March 10	Formal systems
March 13	Formal systems
March 17	Generative grammars
March 20	Quiz 4, cont.
March 24	Chomsky's hierarchy of grammars
March 27	Definite clause grammars, LPN Ch 7
March 31	Definite clause grammars, LPN Ch 8
April 6	Quiz 5, cont.