Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 26.01.2017, 16
Author
Editor
Participating institute
Institut für Theoretische Informatik (ITI)
Genre
Description
- 0:00:00 Starten
- 0:00:37 Kellerautomaten
- 0:03:49 Satz
- 0:05:15 Satz (2)
- 0:06:09 Beweis
- 0:30:19 Korollar
- 0:30:41 Übersicht Chomsky-2
- 0:32:46 Exkurs
- 0:34:16 Zwischenfazit zu kontextfreien Grammatiken
- 0:36:10 Satz (3)
- 0:38:18 Das Post'sche Korrespondenzproblem
- 0:39:47 Beweis (2)
- 0:43:33 Beweisskizze
- 0:44:07 Beweis (3)
- 0:45:50 Sprache der korrekten Rechenwege
- 0:51:59 Lemma
- 0:52:28 Beweis (4)
- 1:01:26 Bemerkung
- 1:02:03 Lemma (2)
- 1:02:27 Beweis (5)
Duration (hh:mm:ss)
01:11:18
Series
Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17
Published on
03.02.2017
Subject area
License
| Resolution | 1280 x 720 Pixel |
| Aspect ratio | 16:9 |
| Audio bitrate | 97130 bps |
| Audio channels | 2 |
| Audio Codec | aac |
| Audio Sample Rate | 48000 Hz |
| Total Bitrate | 901813 bps |
| Color Space | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Media Type | video/mp4 |
| Duration | 4278 s |
| Filename | DIVA-2017-87_hd.mp4 |
| File Size | 4.096 byte |
| Frame Rate | 25 |
| Video Bitrate | 798594 bps |
| Video Codec | h264 |
Media URL
Embed Code
Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17
Episodes 1-18
of 18
