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

Courses in Winter Term 2011/12  -  Science of Computational Logic


Course title:  Science of Computational Logic

Lecturer:   Prof. Steffen Hölldobler

Module:  MCL-F

Status:  foundation unit

SWS (lecture/tutorial/practical):  2/2/0

Examination method:  written examination

Prerequisites:

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: