About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

Courses in Winter Term 2005/06  -  Science of Computational Logic

Course title:  Science of Computational Logic

Lecturer:  Prof. Hölldobler, Robert Hein

Module:  F

Status:  foundation unit

SWS (lecture/tutorial/practical):  2/2/0 (4/4/- for the 2nd half of the semester)

Credit points:  6

Examination method:  written examination

Prerequisites:

• none

Course description:

We cover the areas of automated deduction and automated deduction systems, knowledge representation and reasoning, logic-based databases, program development, language design, semantics and verification methods, computational logic and machine learning, computational logic and natural language processing.

Additional information:

• the course web page