13: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 28.11.2018
Update: 2018-11-29
Description
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
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
Comments
In Channel
Download from Google Play
Download from App Store
United States00:00
00:00
x
