KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

05: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 13.11.2018

Autor

Torsten Ueckerdt

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Theoretische Informatik (ITI)

Genre

Vorlesung

Beschreibung

05 |
0:00:00 Start
0:00:10 Letzte Vorlesung
0:09:00 Beispiel - Turing Maschine
0:13:57 Bemerkungen zur TM
0:15:23 Definition zur TM
0:18:43 Notation: Konfiguration
0:19:54 Beispiel: Konfiguration
0:26:21 Definition: berechenbar / totalrekursiv
0:28:10 Beispiel
0:34:10 Entscheidbarkeit und Berechenbarkeit
0:39:01 Korollar
0:40:51 Die Church'sche These
0:44:25 Erweiterung der Turing-Maschine
0:51:23 Die Universelle Turing-Maschine
0:54:51 Die Gödelnummer
0:57:52 Die Gödelnummer - Bemerkungen
1:00:43 Die Gödelnummer - Beispiel
1:01:53 Definition
1:04:27 Die Diagonalsprache
1:09:32 Die Diagonalsprache - Veranschaulichung
1:10:40 Unentscheidbarkeit der Diagonalsprache
1:13:33 Korollar
1:14:03 Paradoxien und Selbstbezüglichkeit
1:15:46 Halteproblem

Laufzeit (hh:mm:ss)

01:25:34

Serie

Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19

Publiziert am

15.11.2018

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 934290 kbps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 5134 s
Dateiname DIVA-2018-839_hd.mp4
Dateigröße 599.577.871 byte
Bildwiederholfrequenz 25
Videobitrate 800192 kbps
Video Codec h264

Embed-Code

Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19 Folgen 1-18 von 18