26: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 09.02.2018
Author
Editor
Participating institute
Institut für Anthropomatik und Robotik (IAR)
Genre
Description
- 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
Duration (hh:mm:ss)
01:04:39
Series
Grundbegriffe der Informatik, Vorlesung, WS 2017/18
Published on
13.02.2018
Subject area
License
| Resolution | 1280 x 720 Pixel |
| Aspect ratio | 16:9 |
| Audio bitrate | 128000 bps |
| Audio channels | 2 |
| Audio Codec | aac |
| Audio Sample Rate | 48000 Hz |
| Total Bitrate | 934082 bps |
| Color Space | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Media Type | video/mp4 |
| Duration | 3879 s |
| Filename | DIVA-2018-180_hd.mp4 |
| File Size | 452.892.301 byte |
| Frame Rate | 25 |
| Video Bitrate | 799986 bps |
| Video Codec | h264 |
Media URL
Embed Code
Grundbegriffe der Informatik, Vorlesung, WS 2017/18
Episodes 1-26
of 26
