Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 26.11.2015, Vorlesung - 10 - a podcast by Karlsruher Institut für Technologie (KIT)

10: Vorlesung |
0:00:00 Starten
0:00:08 Abschlusseigenschaften Typ 1
0:01:39 Abschluss Vereinigung Typ 0/1
0:03:19 Abschluss Produkt Typ 0/1
0:05:11 Abschluss Komplement Typ 1
0:12:39 Berechnung
0:20:02 Typ 0 Sprachen
0:22:49 Überblick Chomsky-Hierarchie
0:27:54 Abschlusseigenschaften
0:30:09 Entscheidbarkeitsprobleme
0:31:02 Komplexität des Wortproblemes
0:32:27 Überblick Chomsky-Hierarchie
0:33:43 Chomsky-Hierarchie: Eine Kritik
0:37:29 2 Berechenbarkeitstheorie, 2.1 Intuitiver Berechenbarkeitsbegriff und Churchsche These
0:38:16 Berechenbarkeit Hauptergebnis
0:39:17 2.2 Intuitiver Berechenbarkeitsbegriff
0:40:42 Beispiel
0:42:04 5. Übung
0:42:26 Vereinigung von Sprachen
0:45:01 Zusatzaufgabe 2
0:49:54 Zusatzaufgabe 2 - Exkurs
0:52:43 Zusatzaufgabe 2 - Häufige Fehler
0:54:55 Turingmaschinen Konstruktion und Funktionsweise

Further episodes of Theoretische Grundlagen der Informatik, Vorlesung, WS15/16

Further podcasts by Karlsruher Institut für Technologie (KIT)

Website of Karlsruher Institut für Technologie (KIT)