Objectives
Basic properties of logics 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 for the various topics will be made available on the resource page.
Administrative details
Lecture times and place:
Tue, Fri 15.30 - 17.00 WH202.
Office hours:
By appointment.
Assessment:
One midterm class test (40 %), five open book quizzes (12 % each).
Lecture Plan:
