Berechenbarkeit und Komplexität: Escaping, Partielle Funktionen, Satz von Rice (Fr, 11.11.2016)
Zur Veranstaltungsseite

Anmeldung erforderlich

RWTH

Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar

Anmelden
  • Einbetten

Beschreibung:

Vorlesung 06

Kapitel:

00:13:08
Wiederholung
00:23:16
Partielle Funktionen
00:25:20
Satz von Rice
00:35:26
Satz von Rice, Beweis
00:56:18
Satz von Rice, weitere Anwendungsbeispiele