KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

24: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 22.01.2020

Autor

Thomas Worsch

Herausgeber

Zentrum für Mediales Lernen (ZML)

Beteiligtes Institut

Institut für Theoretische Informatik (ITI)

Genre

Vorlesung

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

Informatik

Lizenz

KITopen-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 kbps
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 kbps
Video Codec h264

Embed-Code

Grundbegriffe der Informatik, Vorlesung, WS 2019/20 Folgen 1-28 von 28