Theoretische Grundlagen der Informatik, Vorlesung, WS15/16
Karlsruher Institut für Technologie (KIT)
27 episodes
8 months ago
Inhalt der Vorlesung sind die Grundlagen der Theoretischen Informatik: Berechnungsmodelle, Determinismus und Nichtdeterminismus, Fragen der Berechenbarkeit, Komplexitätstheorie, NP-Vollständigkeit, Grammatiken, formale Sprachen. Vorlesungsaufzeichnung: http://webcast.kit.edu
All content for Theoretische Grundlagen der Informatik, Vorlesung, WS15/16 is the property of Karlsruher Institut für Technologie (KIT) and is served directly from their servers
with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.
Inhalt der Vorlesung sind die Grundlagen der Theoretischen Informatik: Berechnungsmodelle, Determinismus und Nichtdeterminismus, Fragen der Berechenbarkeit, Komplexitätstheorie, NP-Vollständigkeit, Grammatiken, formale Sprachen. Vorlesungsaufzeichnung: http://webcast.kit.edu
Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 08.12.2015, Vorlesung - 13
Theoretische Grundlagen der Informatik, Vorlesung, WS15/16
1 hour 10 minutes 5 seconds
9 years ago
Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 08.12.2015, Vorlesung - 13
13: Vorlesung|
0:00:00 Starten
0:00:10 LOOP-Programme
0:01:22 2.5 Die Ackermannfunktion
0:04:23 Totalität der Ackermannfunktion
0:07:53 Wie große Zahlen berechnet ein Loop Programm?
0:10:35 Die Ackermann Funktion ist nicht Loop-berechenbar
0:12:30 Beispiele
0:14:46 Monotonie der Ackermann Funktion
0:15:41 Beweis
0:34:56 Mehr schnell wachsende Funktionen
0:37:13 Wissen über Fleißige Biber
0:38:36 Rekordhalter
0:40:47 Langsam wachsende Funktionen
0:41:34 Union-Find Datenstruktur
0:44:30 2.6 Halteproblem, Unentscheidbarkeit, Reduzierbarkeit
0:47:49 Paradoxien und Selbstbezüglichkeit
0:51:34 Entscheidbarkeit
0:52:51 Semi-Entscheidbarkeit
0:57:53 Rekursive Aufzählbarkeit
0:59:41 Rekursiv aufzählbar -> semi-entscheidbar
1:01:37 Semi-entscheidbar -> rekursiv aufzählbar
1:08:25 Äquivalente Aussagen
Theoretische Grundlagen der Informatik, Vorlesung, WS15/16
Inhalt der Vorlesung sind die Grundlagen der Theoretischen Informatik: Berechnungsmodelle, Determinismus und Nichtdeterminismus, Fragen der Berechenbarkeit, Komplexitätstheorie, NP-Vollständigkeit, Grammatiken, formale Sprachen. Vorlesungsaufzeichnung: http://webcast.kit.edu
