COSC 2P93 Winter 2013/14
Logic Programming
The schedule is tentative and subject to change
|
Date |
Topic |
|
January 6 |
Introduction |
|
January 10 |
Propositional logic |
|
January 13 |
cont. |
|
January 17 |
Quiz 1, Propositional definite clauses |
|
January 20 |
Reasoning about individuals and relations |
|
January 24 |
cont. |
|
January 27 |
First steps in Prolog, LPN Ch 1 |
|
January 31 |
Quiz 2, Matching and proof search LPN Ch 2 |
|
February 3 |
cont. |
|
February 7 |
Recursion, LPN Ch 3 |
|
February 10 |
cont. |
|
February 14 |
Procedural aspects, finish LPN Ch 3 |
|
February 17 |
Reading week |
|
February 21 |
Reading week |
|
February 24 |
Quiz 3, Lists, LPN Ch 4 |
|
February 28 |
Arithmetic, LPN Ch 5 |
|
March 3 |
More lists, LPN Ch 6 |
|
March 7 |
Quiz 4, Formal systems |
|
March 10 |
Formal systems |
|
March 14 |
Formal systems |
|
March 17 |
Generative grammars |
|
March 21 |
Quiz 5,
Generative grammars |
|
March 24 |
Chomsky's hierarchy of grammars |
|
March 28 |
Definite clause grammars, LPN Ch 7 |
|
March 31 |
Definite clause grammars, LPN Ch 8 |
|
April 4 |
Quiz 6, cont. |