Logic in Computer Science - Interactive curriculae of TU Ilmenau

The interactive curriculae provide information on the degree programmes offered by the TU Ilmenau.

Please refer to the respective study and examination rules and regulations for the legally binding curricula (Annex Curriculum).

You can find all details on planned lectures and classes in the course catalogue.

Please note that this page is no longer updated. All modules and study plans from PO version 2021 onwards (Bachelor and Master study programs) are now available on the Campus Portal.

module properties Logic in Computer Science in degree program Master Informatik 2021
module number	200052
examination number	2200697
department	Department of Computer Science and Automation
ID of group	2241 (Automata and Logics)
module leader	Prof. Dr. Dietrich Kuske
term	summer term only
language	Deutsch
credit points	5
on-campus program (h)	34
self-study (h)	116
obligation	elective module
exam	oral examination performance, 20 minutes
details of the certificate
link to Moodle course	https://moodle.tu-ilmenau.de/course/view.php?id=2851
teacher	Prof. Kuske
signup details for alternative examinations
maximum number of participants
previous knowledge and experience	Prädikatenlogik (vgl. z. B. Modul "Logik und Logikprogrammierung") Komplexitätstheorie
learning outcome	Die Studierenden kennen Beispiele typischer Sätze & Methoden der algorithmischen Modelltheorie. Sie können diese anwenden, beweisen und fundierte Vermutungen über Erweiterungen aufstellen und begründen. Die Studierenden können kritische Fragen zum behandelten Stoff, Probleme bei der Erarbeitung des Wissens bzw. bei der Lösung der Aufgaben klar formulieren und in Diskussionen mit Kommilitonen und Lehrenden vertreten.
content	Ehrenfeucht-Fräissé-Spiele, Lokalität der Prädikatenlogik 1. Stufe, Nicht-Ausdrückbarkeits-Beweise Deskriptive Modelltheorie (Zusammenhang zwischen logischen Ausdrucksmitteln & Komplexität) zufällige Strukturen
media of instruction and technical requirements for education and examination in case of online participation	Tafel
literature / references	Ebbinghaus, Flum, "Finite Model Theory" Libkin, "Elements of Finite Model Theory"
evaluation of teaching