05: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 13.11.2018
Author
Editor
Participating institute
Institut für Theoretische Informatik (ITI)
Genre
Description
- 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
Duration (hh:mm:ss)
01:25:34
Series
Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19
Published on
15.11.2018
Subject area
License
| Resolution | 1280 x 720 Pixel |
| Aspect ratio | 16:9 |
| Audio bitrate | 128000 bps |
| Audio channels | 2 |
| Audio Codec | aac |
| Audio Sample Rate | 48000 Hz |
| Total Bitrate | 934290 bps |
| Color Space | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Media Type | video/mp4 |
| Duration | 5134 s |
| Filename | DIVA-2018-839_hd.mp4 |
| File Size | 599.577.871 byte |
| Frame Rate | 25 |
| Video Bitrate | 800192 bps |
| Video Codec | h264 |
Media URL
Embed Code
Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19
Episodes 1-18
of 18
