13: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 28.11.2018
Autor
Herausgeber
Beteiligtes Institut
Institut für Anthropomatik und Robotik (IAR)
Genre
Beschreibung
13 |
0:00:00 Start
0:00:21 Kapitel 12: kontextfreie Grammatiken
0:03:57 Versuch einer formalen Sprache
0:06:27 Lösbarkeit von L
0:09:18 Beweis des Lemmas - Teil 1
0:13:41 Beweis des Lemmas - Teil 2
0:25:01 Was ist wichtig
0:29:05 Kontextfreie Grammatiken
0:49:23 Beispiel
1:02:18 Ableitungsbäume sind übersichtlicher als schrittweise Ableitungen
1:09:49 Arithmetische Ausdrücke
1:19:39 Syntax aussagenlogischer Formeln
1:24:43 Was ist wichtig
Laufzeit (hh:mm:ss)
01:26:21
Serie
Grundbegriffe der Informatik, Vorlesung, WS 2018/19
Publiziert am
29.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 | 934066 bps |
Farbraum | yuv420p |
Container | mov,mp4,m4a,3gp,3g2,mj2 |
Medientyp | video/mp4 |
Dauer | 5181 s |
Dateiname | DIVA-2018-915_hd.mp4 |
Dateigröße | 604.908.225 byte |
Bildwiederholfrequenz | 25 |
Videobitrate | 799971 bps |
Video Codec | h264 |
Embed-Code