Berechenbarkeit und Komplexität
| Semester: | Wintersemester 2023/24 |
| Veranstalter: | Prof. Rossmanith
|
| Bemerkungen: |
|
-
-
Einführung
- Do, 12.10.2023, 08:30 Uhr
-
-
Turing-Maschinen I
- Fr, 13.10.2023, 14:30 Uhr
-
-
Turing-Maschinen II
- Do, 19.10.2023, 08:30 Uhr
-
-
Registermaschinen
- Fr, 20.10.2023, 14:30 Uhr
-
-
Unentscheidbarkeit I
- Do, 26.10.2023, 08:30 Uhr
-
-
Unentscheidbarkeit II
- Do, 02.11.2023, 08:30 Uhr
-
-
Rekursive Aufzählbarkeit
- Fr, 03.11.2023, 14:30 Uhr
-
-
Das Postsche Korrespondenzproblem
- Do, 09.11.2023, 08:30 Uhr
-
-
Turing-Mächtigkeit
- Fr, 10.11.2023, 14:30 Uhr
-
-
LOOP und WHILE Programme
- Do, 23.11.2023, 08:30 Uhr
-
-
LOOP und WHILE Programme II
- Fr, 24.11.2023, 14:30 Uhr
-
-
Primitive Rekursion
- Do, 30.11.2023, 08:30 Uhr
-
-
P und NP
- Fr, 01.12.2023, 14:30 Uhr
-
-
Polynomielle Reduktionen
- Do, 07.12.2023, 08:30 Uhr
-
-
Der Satz von Cook und Levin
- Fr, 08.12.2023, 14:30 Uhr
-
-
NP-Vollständige Graphprobleme
- Do, 14.12.2023, 08:30 Uhr
-
-
NP-Vollständige Zahlprobleme
- Fr, 15.12.2023, 14:30 Uhr
-
-
Jenseits von P und NP
- Do, 11.01.2024, 08:30 Uhr
-
-
Nachwort
- Fr, 12.01.2024, 14:30 Uhr