Logik und Mengenlehre - 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 200442 - allgemeine Informationen | |
|---|---|
| Modulnummer | 200442 |
| Fakultät | Fakultät für Mathematik und Naturwissenschaften |
| Fachgebietsnummer | 2411 (Diskrete Mathematik und Algebra) |
| Modulverantwortliche(r) | Prof. Dr. Matthias Kriesell |
| Sprache | Deutsch |
| Turnus | Sommersemester |
| Vorkenntnisse | Grundkenntnisse der Aussagenlogik |
| Lernergebnisse und erworbene Kompetenzen | Die Studierenden haben nach der Vorlesung Grundkenntnisse der Prädikatenlogik. Sie sind insbesondere befähigt diese im Kontext der Theoretischen Informatik anzuwenden. Nach den Übungen sind die Studierenden fähig, die in der Vorlesung erlernten Begriffe und Methoden auf konkrete Beispiele anzuwenden. |
| Inhalt | Schwerpunkt bildet die Prädikatenlogik erster Stufe (PL1). Formeln der PL1, Erfüllbarkeit, Gültigkeit, Postsches Korrespondenzproblem, Unentscheidbarkeit, Herbrand-Theorie, Semientscheidbarkeit, Gilmore-Algorithmus, Resolution in der Aussagenlogik und in der Prädikatenlogik, Beweisen mittels Resolution. Zermelo-Fraenkel-Mengenlehre je nach Vorkenntnissen. |
| Medienformen und technische Anforderungen bei Lehr- und Abschlussleistungen in elektronischer Form | Tafel |
| Literatur | Einschlägige Lehrbücher, z. Bsp. Schöning ,,Logik für Informatiker''. |
| Lehrevaluation | |
| Spezifik Referenzmodul | |
|---|---|
| Modulname | Logik und Mengenlehre |
| Prüfungsnummer | 2400794 |
| Leistungspunkte | 5 |
| SWS | 3 (2 V, 1 Ü, 0 P) |
| Präsenzstudium (h) | 33.75 |
| Selbststudium (h) | 116.25 |
| Verpflichtung | Pflichtmodul |
| Abschluss | mündliche Prüfungsleistung, 30 Minuten |
| Details zum Abschluss | |
| Link zum Moodle-Kurs | |
| Lehrende | |
| Anmeldemodalitäten für alternative PL oder SL | |
| max. Teilnehmerzahl | |