Logic and Set Theory - 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 module number 200442 - common information | |
|---|---|
| module number | 200442 |
| department | Department of Mathematics and Natural Sciences |
| ID of group | 2411 (Discrete Mathematics and Algebra) |
| module leader | Prof. Dr. Matthias Kriesell |
| language | Deutsch |
| term | Sommersemester |
| previous knowledge and experience | Grundkenntnisse der Aussagenlogik |
| learning outcome | 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. |
| content | 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. |
| media of instruction and technical requirements for education and examination in case of online participation | Tafel |
| literature / references | Einschlägige Lehrbücher, z. Bsp. Schöning ,,Logik für Informatiker''. |
| evaluation of teaching | |
| Details reference subject | |
|---|---|
| module name | Logic and Set Theory |
| examination number | 2400794 |
| credit points | 5 |
| SWS | 3 (2 V, 1 Ü, 0 P) |
| on-campus program (h) | 33.75 |
| self-study (h) | 116.25 |
| obligation | obligatory module |
| exam | oral examination performance, 30 minutes |
| details of the certificate | |
| link to Moodle course | |
| teacher | |
| signup details for alternative examinations | |
| maximum number of participants | |