Berechenbarkeit und Komplexität: Rekursive Aufzählbarkeit (Fr, 03.11.2023)
Zur Veranstaltungsseite
Aktueller Zeitpunkt 0:00
Dauer -:-
Geladen: 0%
Streamtyp LIVE
Verbleibende Zeit -:-
 
1x
  • Einbetten

Kapitel:

00:00:00
Wiederholung
00:09:02
Semi-Entscheidbarkeit
00:16:25
Rekursive Aufzählbarkeit
00:43:14
Abschlusseigenschaften
00:50:57
Berechenbarkeitslandschaft
00:58:57
Reduktionen
01:07:09
Das totale Halteproblem