Sign up to save your podcasts
Or
Share 26: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 09.02.2018
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
26: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 09.02.2018
26 |
0:00:00 Starten
0:00:10 Turingmaschinen
0:00:34 Platzkomplexität oder Raumkomplexität einer TM
0:01:32 Raumkomplexität der TM für Palindromerkennung
0:02:23 Zeitkomplexität versus Raumkomplexität
0:04:00 Eine Komplexitätsklasse ist eine Menge von Problemen
0:05:48 P und PSPACE - zwei wichtige Komplexitätsklassen
0:07:15 Beziehung zwischen P und PSPACE - unklar
0:09:49 Was ist wichtig
0:10:48 Achtung
0:11:09 Codierungen von Turingmaschinen
0:14:37 Beispielcodierung - Zustände
0:15:41 Beispielcodierung - Symbole
0:16:17 Beispielcodierung - Kopfbewegen
0:16:34 Beispielcodierung - Kopfbewegen
0:18:00 Beispielcodierung - eine ganze Turingmaschine
0:19:31 Eigenschaften dieser und ähnlicher Codierungen
0:21:30 Das Halteproblem
0:30:02 Gibt es Probleme die nicht algorithmisch gelöst werden können?
0:31:46 Diagonalisierung
0:37:27 Beweis der Unentscheidbarkeit des Halteproblems
0:41:35 Weitere unentscheidbare Probleme
0:42:40 Erinnerung: BB3
0:44:01 Bibermaschinen
0:44:50 Fleißige Biber und die Busy-Beaver-Funktion
0:50:26 Was ist wichtig?
0:51:39 Steam-Powered Turing Machine
0:53:04 Zusammenfassung 1
0:53:28 Video: Turing Machine in Microsoft Powerpoint
1:01:17 Zusammenfassung 2
View all episodes
By Karlsruher Institut für Technologie (KIT)26 |
0:00:00 Starten
0:00:10 Turingmaschinen
0:00:34 Platzkomplexität oder Raumkomplexität einer TM
0:01:32 Raumkomplexität der TM für Palindromerkennung
0:02:23 Zeitkomplexität versus Raumkomplexität
0:04:00 Eine Komplexitätsklasse ist eine Menge von Problemen
0:05:48 P und PSPACE - zwei wichtige Komplexitätsklassen
0:07:15 Beziehung zwischen P und PSPACE - unklar
0:09:49 Was ist wichtig
0:10:48 Achtung
0:11:09 Codierungen von Turingmaschinen
0:14:37 Beispielcodierung - Zustände
0:15:41 Beispielcodierung - Symbole
0:16:17 Beispielcodierung - Kopfbewegen
0:16:34 Beispielcodierung - Kopfbewegen
0:18:00 Beispielcodierung - eine ganze Turingmaschine
0:19:31 Eigenschaften dieser und ähnlicher Codierungen
0:21:30 Das Halteproblem
0:30:02 Gibt es Probleme die nicht algorithmisch gelöst werden können?
0:31:46 Diagonalisierung
0:37:27 Beweis der Unentscheidbarkeit des Halteproblems
0:41:35 Weitere unentscheidbare Probleme
0:42:40 Erinnerung: BB3
0:44:01 Bibermaschinen
0:44:50 Fleißige Biber und die Busy-Beaver-Funktion
0:50:26 Was ist wichtig?
0:51:39 Steam-Powered Turing Machine
0:53:04 Zusammenfassung 1
0:53:28 Video: Turing Machine in Microsoft Powerpoint
1:01:17 Zusammenfassung 2
More shows like Grundbegriffe der Informatik, Vorlesung, WS17/18
View all
KIT Campus – Studieren und mehr | 2013
0 Listeners
IEEE International Conference on Robotics and Automation, 2013
0 Listeners
CAD tutorial in Mechanical Design, WT13/14
0 Listeners
KIT Campus – Studieren und mehr | 2014
0 Listeners
Internationales Forum am ZAK
0 Listeners
Transport Phenomena in the Biosphere
0 Listeners
Einführung in die Geophysik 1, WS17/18, Vorlesung
0 Listeners
Theoretische Grundlagen der Informatik, Vorlesung, WS19/20
0 Listeners
Kulturwissenschaft gestern und morgen
0 Listeners