05: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 13.11.2018
Autor
Herausgeber
Beteiligtes Institut
Institut für Theoretische Informatik (ITI)
Genre
Beschreibung
- 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
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 bps |
| 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 bps |
| Video Codec | h264 |
Mediathek-URL
Embed-Code
Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19
Folgen 1-18
von 18
