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
- 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 |
Mediathek-URL
Embed-Code
Grundbegriffe der Informatik, Vorlesung, WS 2019/20
Folgen 1-28
von 28
