Ivo Düntsch | http://www.cosc.brocku.ca/~duentsch/ | |
Computer Science Department |
|
|
Brock University | Ph: (+1) (905) 688 5550, ext 3090 | |
St Catharines, Ontario, L2S 3A1 | Fax: (+1) (905) 688 3255 |
COSC 2P93 Winter 2013/14
Logic Programming
|
Objectives |
On completion of this course you should demonstrate
familiarity with Basic properties of logic and their implementation in Prolog, Theorem proving techniques, Formal systems and grammars, Structure of natural language syntax, Phrase structure grammars and their implementation in Prolog. |
|
|
Course material |
There is no prescribed textbook. Study material will be made available on the resource page. |
|
|
Administrative details |
Lecture times and place: |
Mon, Fri 15.30 - 17.00 TH240. |
Office hours: |
By appointment. |
Assessment: |
One programming assignment (40 %), six open book quizzes (10 % each). |
Lecture Plan: |