Logics for Computer Science

The course is offered every second year, next time in the spring semester 2013. The course treats actual research topics in informatics disciplines which uses or are built upon logic formalisms. The areas of the course may vary every odd year and will be selected from e.g. deductive databases, distributed systems, machine kearning, knowledge discovery, automatic theorem proving, common sense reasoning, natural language understanding, and others. The subjects are selected in cooperation with the PhD students that take the course.

The main objective of the course is to train PhD students in advanced methods in modern logic of informatics disciplines.


A. Knowledge:
The candidate's methodological and technological skills will be strengthened within
logic as applied to computer science topics which comprise
deductive databases, machine kearning, knowledge discovery, automatic
theorem proving, common sense reasoning and mathematical linguistics.

B. Skills:
The candidate will be able to apply logic in analytic and constructive
work within theoretical computer science.

C. Competence:
The candidate shall have competence in understanding logic as a tool
of analysis for computeer science topics.

Lectures and exercises