24: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 22.01.2020
Author
Editor
Zentrum für Mediales Lernen (ZML)
Participating institute
Institut für Theoretische Informatik (ITI)
Genre
Description
- 0:00:00 Start
- 0:00:05 Start Übung
- 0:01:04 Endliche Automaten
- 0:06:58 Endlicher Akzeptor
- 0:10:06 Beispiele regulärer Sprachen
- 0:12:51 Akzeptoren: Komplement
- 0:15:21 Akzeptoren: Schnitt
- 0:19:50 Akzeptoren: Vereinigung
- 0:21:22 Start Vorlesung
- 0:23:09 Beispielcodierung - eine ganze Turingmaschine
- 0:26:12 Halteproblem
- 0:30:10 Diagonalisierung
- 0:35:34 Beweis der Unentscheidbarkeit des Halteproblems
- 0:43:27 Weitere unentscheidbare Probleme
- 0:48:16 Bibermaschinen / Busy-Beaver-Funktion
- 0:58:31 Steam-Powered Turing Maschine
- 1:00:35 Zusammenfassung
- 1:02:04 Beginn Kapitel 22 - MIMA-X
- 1:03:32 Erinnerung: Ackermann-Funktion
- 1:13:00 Stapel - Implementierung in einem Rechner
Duration (hh:mm:ss)
01:18:06
Series
Grundbegriffe der Informatik, Vorlesung, WS 2019/20
Published on
23.01.2020
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 | 384858 bps |
| Color Space | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Media Type | video/mp4 |
| Duration | 4686 s |
| Filename | DIVA-2020-57_hd.mp4 |
| File Size | 225.444.990 byte |
| Frame Rate | 25 |
| Video Bitrate | 250753 bps |
| Video Codec | h264 |
Media URL
Embed Code
Grundbegriffe der Informatik, Vorlesung, WS 2019/20
Episodes 1-28
of 28
