INF.01117.03 | 5 CP |
---|---|
Module label | Logik und Berechenbarkeit |
Module code | INF.01117.03 |
Semester of first implementation | |
Faculty/Institute | Institut für Informatik |
Module used in courses of study / semesters |
|
Responsible person for this module | |
Further responsible persons |
Prof. Dr. Ludwig Staiger |
Prerequisites | |
Skills to be acquired in this module |
|
Module contents |
4. Entscheidbarkeit und Unentscheidbarkeit 5. Entscheidbarkeit der monadischen Arithmetik der zweiten Stufe und Automatentheorie |
Forms of instruction |
Course (3 SWS)
Course (2 SWS) Course |
Languages of instruction | German, English |
Duration (semesters) | 1 Semester Semester |
Module frequency | nicht festlegbar |
Module capacity | unlimited |
Time of examination | |
Credit points | 5 CP |
Share on module final degree | Course 1: %; Course 2: %; Course 3: %. |
Share of module grade on the course of study's final grade | 1 |
Reference text | Angebotsturnus: Alle 2 bis 3 Semester, normalerweise im Wintersemester, Primärmodul für Vertiefungsrichtungen: Theoretische Informatik, Sekundärmodul für Vertiefungsrichtungen: Algorithmen und Datenstrukturen, Softwaretechnik und Übersetzerbau, Datenbanken und Informationssysteme |
Module course label | Course type | Course title | SWS | Workload of compulsory attendance | Workload of preparation / homework etc | Workload of independent learning | Workload (examination and preparation) | Sum workload |
---|---|---|---|---|---|---|---|---|
Course 1 | Course | Vorlesung | 3 | 0 | ||||
Course 2 | Course | Übung | 2 | 0 | ||||
Course 3 | Course | Bearbeiten der Übungsaufgaben | 0 | |||||
Workload by module | 150 | 150 | ||||||
Total module workload | 150 |
Examination | Exam prerequisites | Type of examination | |
---|---|---|---|
Course 1 | |||
Course 2 | |||
Course 3 | |||
Final exam of module | Korrekte Bearbeitung der theoretischen Übungsaufgaben in Höhe von mindes-tens 60% der maximal erreichbaren Punkte, 3 Kurzvorträge über Lösungen von Übungsaufgaben, aktive Teilnahme an den Übungen und Bearbeitung der Übungsaufgaben |
mündl./schriftl. Prüfung |
|
Exam repetition information |
Prerequisites and conditions | Prerequisites | Frequency | Compulsory attendance | Share on module grade in percent |
---|---|---|---|---|
Course 1 | Winter semester | No | % | |
Course 2 | Winter semester | No | % | |
Course 3 | Winter semester | No | % |