Logik in der Informatik - Interaktive Studienpläne der TU Ilmenau

Die Interaktiven Studienpläne sind ein Informationsangebot zu den Studiengängen der TU Ilmenau.

Die rechtsverbindlichen Studienpläne entnehmen Sie bitte den jeweiligen Studien- und Prüfungsordnungen (Anlage Studienplan).

Alle Angaben zu geplanten Lehrveranstaltungen finden Sie im elektronischen Vorlesungsverzeichnis.

Bitte beachten Sie, dass auf dieser Seite keine Aktualisierungen mehr vorgenommen werden. Alle Module und Studienpläne ab der PO-Version 2021 (Bachelor- und Master-Studiengänge) sind ab sofort im Campus-Portal erreichbar.

Modulinformationen zu Modulnummer 200052 - allgemeine Informationen
Modulnummer	200052
Fakultät	Fakultät für Informatik und Automatisierung
Fachgebietsnummer	2241 (Automaten und Logik)
Modulverantwortliche(r)	Prof. Dr. Dietrich Kuske
Sprache	Deutsch
Turnus	Sommersemester
Vorkenntnisse	Prädikatenlogik (vgl. z. B. Modul "Logik und Logikprogrammierung") Komplexitätstheorie
Lernergebnisse und erworbene Kompetenzen	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.
Inhalt	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
Medienformen und technische Anforderungen bei Lehr- und Abschlussleistungen in elektronischer Form	Tafel
Literatur	Ebbinghaus, Flum, "Finite Model Theory" Libkin, "Elements of Finite Model Theory"
Lehrevaluation

Spezifik Referenzmodul
Modulname	Logik in der Informatik
Prüfungsnummer	2200697
Leistungspunkte	5
SWS	3 (3 V, 0 Ü, 0 P)
Präsenzstudium (h)	33.75
Selbststudium (h)	116.25
Verpflichtung	Pflichtmodul
Abschluss	mündliche Prüfungsleistung, 20 Minuten
Details zum Abschluss
Link zum Moodle-Kurs	https://moodle.tu-ilmenau.de/course/view.php?id=2851
Lehrende	Prof. Kuske
Anmeldemodalitäten für alternative PL oder SL
max. Teilnehmerzahl

Spezifik im Studiengang Master Informatik 2013, Master Informatik 2021
Modulname	Logik in der Informatik
Prüfungsnummer	2200697
Leistungspunkte	5
Präsenzstudium (h)	34
Selbststudium (h)	116
Verpflichtung	Wahlmodul
Abschluss	mündliche Prüfungsleistung, 20 Minuten
Details zum Abschluss
Link zum Moodle-Kurs	https://moodle.tu-ilmenau.de/course/view.php?id=2851
Anmeldemodalitäten für alternative PL oder SL
max. Teilnehmerzahl