24: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 22.01.2020
Autor
Herausgeber
Zentrum für Mediales Lernen (ZML)
Beteiligtes Institut
Institut für Theoretische Informatik (ITI)
Genre
Beschreibung
24 |
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
Laufzeit (hh:mm:ss)
01:18:06
Serie
Grundbegriffe der Informatik, Vorlesung, WS 2019/20
Publiziert am
23.01.2020
Fachgebiet
Lizenz
| Auflösung | 1280 x 720 Pixel |
| Seitenverhältnis | 16:9 |
| Audiobitrate | 128000 bps |
| Audio Kanäle | 2 |
| Audio Codec | aac |
| Audio Abtastrate | 48000 Hz |
| Gesamtbitrate | 384858 bps |
| Farbraum | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Medientyp | video/mp4 |
| Dauer | 4686 s |
| Dateiname | DIVA-2020-57_hd.mp4 |
| Dateigröße | 225.444.990 byte |
| Bildwiederholfrequenz | 25 |
| Videobitrate | 250753 bps |
| Video Codec | h264 |
Embed-Code
