Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 26.01.2017, 16
Autor
Herausgeber
Beteiligtes Institut
Institut für Theoretische Informatik (ITI)
Genre
Beschreibung
- 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)
Laufzeit (hh:mm:ss)
01:11:18
Serie
Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17
Publiziert am
03.02.2017
Fachgebiet
Lizenz
| Auflösung | 1280 x 720 Pixel |
| Seitenverhältnis | 16:9 |
| Audiobitrate | 97130 bps |
| Audio Kanäle | 2 |
| Audio Codec | aac |
| Audio Abtastrate | 48000 Hz |
| Gesamtbitrate | 901813 bps |
| Farbraum | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Medientyp | video/mp4 |
| Dauer | 4278 s |
| Dateiname | DIVA-2017-87_hd.mp4 |
| Dateigröße | 4.096 byte |
| Bildwiederholfrequenz | 25 |
| Videobitrate | 798594 bps |
| Video Codec | h264 |
Mediathek-URL
Embed-Code
Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17
Folgen 1-18
von 18
