course-details-portlet

DT8104

Logics for Computer Science

Credits 7.5
Level Doctoral degree level
Course start Spring 2011
Duration 1 semester
Examination arrangement Written examination

About

About the course

Course content

The course is offered every second year, next time in the spring semester 2011. 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.

Learning outcome

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

Learning methods and activities

Lectures and exercises

Required previous knowledge

TDT4136 Logic and reasoning systems or equivalent.

Course materials

Given at the start of the course

Credit reductions

Course code Reduction From
DIF8909 7.5 sp
This course has academic overlap with the course in the table above. If you take overlapping courses, you will receive a credit reduction in the course where you have the lowest grade. If the grades are the same, the reduction will be applied to the course completed most recently.

Subject areas

  • Computer and Information Science

Contact information

Department with academic responsibility

Department of Computer Science

Examination

Examination

Examination arrangement: Written examination
Grade: Letters

Ordinary examination - Autumn 2010

Written examination
Weighting 100/100 Duration 4 timer Place and room Not specified yet.

Ordinary examination - Spring 2011

Written examination
Weighting 100/100 Duration 4 timer Place and room Not specified yet.

All about examinations at NTNU