Warning! The directory is not yet complete and will be amended until the beginning of the term.
051018 UE Theoretical Computer Science (2026W)
Continuous assessment of course work
Labels
Summary
Registration/Deregistration
Groups
Group 1
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
Bitte beachten: Bei der Kickoff-Veranstaltung (erste UE-Einheit in KW 41) besteht Anwesenheitspflicht in der jeweiligen Einheit (bei unentschuldigter Nichtteilnahme erfolgt Abmeldung)!
- N Tuesday 06.10. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 13.10. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 20.10. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 27.10. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 03.11. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 10.11. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 17.11. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 24.11. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 01.12. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 15.12. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 12.01. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 19.01. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 26.01. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
Group 2
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
Bitte beachten: Bei der Kickoff-Veranstaltung (erste UE-Einheit in KW 41) besteht Anwesenheitspflicht in der jeweiligen Einheit (bei unentschuldigter Nichtteilnahme erfolgt Abmeldung)!
- N Tuesday 06.10. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 13.10. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 20.10. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 27.10. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 03.11. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 10.11. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 17.11. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 24.11. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 01.12. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 15.12. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 12.01. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 19.01. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 26.01. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
Group 3
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- N Tuesday 06.10. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 13.10. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 20.10. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 27.10. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 03.11. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 10.11. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 17.11. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 24.11. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 01.12. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 15.12. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 12.01. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 19.01. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 26.01. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
Group 4
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- N Tuesday 06.10. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 13.10. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 20.10. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 27.10. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 03.11. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 10.11. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 17.11. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 24.11. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 01.12. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 15.12. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 12.01. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 19.01. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 26.01. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
Group 5
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- N Tuesday 06.10. 15:00 - 15:45 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 13.10. 15:00 - 15:45 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 20.10. 15:00 - 15:45 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 27.10. 15:00 - 15:45 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 03.11. 15:00 - 15:45 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 10.11. 15:00 - 15:45 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 17.11. 15:00 - 15:45 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 24.11. 15:00 - 15:45 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 01.12. 15:00 - 15:45 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 15.12. 15:00 - 15:45 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 12.01. 15:00 - 15:45 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 19.01. 15:00 - 15:45 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 26.01. 15:00 - 15:45 Hörsaal 2, Währinger Straße 29 2.OG
Group 6
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- N Tuesday 06.10. 15:45 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 13.10. 15:45 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 20.10. 15:45 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 27.10. 15:45 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 03.11. 15:45 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 10.11. 15:45 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 17.11. 15:45 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 24.11. 15:45 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 01.12. 15:45 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 15.12. 15:45 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 12.01. 15:45 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 19.01. 15:45 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 26.01. 15:45 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
Group 7
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- N Tuesday 06.10. 16:45 - 17:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 13.10. 16:45 - 17:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 20.10. 16:45 - 17:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 27.10. 16:45 - 17:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 03.11. 16:45 - 17:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 10.11. 16:45 - 17:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 17.11. 16:45 - 17:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 24.11. 16:45 - 17:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 01.12. 16:45 - 17:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 15.12. 16:45 - 17:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 12.01. 16:45 - 17:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 19.01. 16:45 - 17:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 26.01. 16:45 - 17:30 Seminarraum 7, Währinger Straße 29 1.OG
Group 8
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- N Tuesday 06.10. 17:30 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 13.10. 17:30 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 20.10. 17:30 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 27.10. 17:30 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 03.11. 17:30 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 10.11. 17:30 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 17.11. 17:30 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 24.11. 17:30 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 01.12. 17:30 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 15.12. 17:30 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 12.01. 17:30 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 19.01. 17:30 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 26.01. 17:30 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
Group 9
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- N Monday 05.10. 13:15 - 14:00 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 12.10. 13:15 - 14:00 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 19.10. 13:15 - 14:00 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 09.11. 13:15 - 14:00 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 16.11. 13:15 - 14:00 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 23.11. 13:15 - 14:00 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 30.11. 13:15 - 14:00 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 07.12. 13:15 - 14:00 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 14.12. 13:15 - 14:00 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 11.01. 13:15 - 14:00 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 18.01. 13:15 - 14:00 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 25.01. 13:15 - 14:00 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
Group 10
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- N Monday 05.10. 14:05 - 14:50 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 12.10. 14:05 - 14:50 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 19.10. 14:05 - 14:50 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 09.11. 14:05 - 14:50 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 16.11. 14:05 - 14:50 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 23.11. 14:05 - 14:50 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 30.11. 14:05 - 14:50 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 07.12. 14:05 - 14:50 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 14.12. 14:05 - 14:50 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 11.01. 14:05 - 14:50 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 18.01. 14:05 - 14:50 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 25.01. 14:05 - 14:50 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
Group 11
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- N Monday 05.10. 15:00 - 15:45 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 12.10. 15:00 - 15:45 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 19.10. 15:00 - 15:45 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 09.11. 15:00 - 15:45 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 16.11. 15:00 - 15:45 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 23.11. 15:00 - 15:45 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 30.11. 15:00 - 15:45 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 07.12. 15:00 - 15:45 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 14.12. 15:00 - 15:45 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 11.01. 15:00 - 15:45 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 18.01. 15:00 - 15:45 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 25.01. 15:00 - 15:45 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
Group 12
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- N Monday 05.10. 15:50 - 16:35 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 12.10. 15:50 - 16:35 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 19.10. 15:50 - 16:35 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 09.11. 15:50 - 16:35 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 16.11. 15:50 - 16:35 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 23.11. 15:50 - 16:35 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 30.11. 15:50 - 16:35 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 07.12. 15:50 - 16:35 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 14.12. 15:50 - 16:35 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 11.01. 15:50 - 16:35 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 18.01. 15:50 - 16:35 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 25.01. 15:50 - 16:35 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
Group 13
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- N Monday 05.10. 16:45 - 17:30 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 12.10. 16:45 - 17:30 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 19.10. 16:45 - 17:30 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 09.11. 16:45 - 17:30 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 16.11. 16:45 - 17:30 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 23.11. 16:45 - 17:30 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 30.11. 16:45 - 17:30 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 07.12. 16:45 - 17:30 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 14.12. 16:45 - 17:30 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 11.01. 16:45 - 17:30 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 18.01. 16:45 - 17:30 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 25.01. 16:45 - 17:30 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
Group 14
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- N Monday 05.10. 17:40 - 18:25 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 12.10. 17:40 - 18:25 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 19.10. 17:40 - 18:25 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 09.11. 17:40 - 18:25 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 16.11. 17:40 - 18:25 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 23.11. 17:40 - 18:25 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 30.11. 17:40 - 18:25 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 07.12. 17:40 - 18:25 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 14.12. 17:40 - 18:25 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 11.01. 17:40 - 18:25 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 18.01. 17:40 - 18:25 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 25.01. 17:40 - 18:25 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
Information
Aims, contents and method of the course
Assessment and permitted materials
Es müssen Beispiele angekreuzt und die Lösungen dazu in Moodle hochgeladen werden sowie an der Tafel präsentiert werden können. Damit ausgewählte Beispiele gewertet werden, ist eine Anwesenheit in der Übung erforderlich. Bei Erreichen der Mindestanforderungen wird die Übung als "mit Erfolg teilgenommen“ bewertet, anderenfalls "ohne Erfolg teilgenommen".
Minimum requirements and assessment criteria
Die Mindestanforderungen um eine Beurteilung „mit Erfolg teilgenommen“ zu erreichen sind folgende:1) gesamt müssen 50% der Beispiele angekreuzt und die Lösungen dazu in Moodle hochgeladen werden (beides ist erforderlich um gewertet zu werden), wobei jeweils aus dem ersten und zweiten Teil der Übung ebenfalls 50% erreicht werden müssen2) zur Wertung der angekreuzten und hochgeladenen Beispiele ist die Anwesenheit in der Übung erforderlich und die ausgewählten Beispiele müssen an der Tafel präsentiert werden können3) bei einer negativ bewerteten Tafelleistung werden alle ausgewählten Beispiele dieser Übung gestrichen und eine nachfolgend positive Tafelleistung ist für einen positiven Abschluss erforderlich4) zwei negative Tafelleistungen führen zu einer negativen GesamtnoteBitte beachten: Bei der Kickoff-Veranstaltung (erste Einheit) besteht Anwesenheitspflicht in der jeweiligen Einheit (bei unentschuldigter Nichtteilnahme erfolgt Abmeldung)!
Examination topics
Inhalt der VO Theoretische Informatik
Reading list
wird in VO Theoretische Informatik kapitelweise bekannt gegeben
Association in the course directory
Module: THI UF-INF-08
Last modified: Mo 10.08.2026 12:25
Einführung in die Formale Logik; Aussagenlogik; Prädikatenlogik;
logische Programmierung; kontextfreie Sprachen und Grammatiken; reguläre
Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen;
Berechenbarkeit und Entscheidbarkeit; Komplexität