14: Grundbegriffe der Informatik, Vorlesung, WS 2019/20, 04.12.2019
- 0:00:00 Start
- 0:00:18 Wiederholung
- 0:01:51 Kontextfreie Grammatiken
- 0:04:21 Ableitungen
- 0:08:36 Grammatiken - In der Praxis
- 0:11:12 Ableitungsbaum
- 0:22:24 Beginn Vorlesung
- 0:24:54 Plan für das weitere Vorgehen
- 0:45:36 Zusammenfassung
- 0:46:36 Kapitel 13: Prädikatenlogik erster Stufe
- 0:49:07 Prädikatenlogische Formeln
- 0:50:29 Terme
- 0:57:36 Atomare Formeln
- 1:03:08 Prädikatenlogische Formeln
- 1:09:26 Interpretationen
| Zugehörige Institution(en) am KIT | Institut für Anthropomatik und Robotik (IAR) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 04.12.2019 |
| Erstellungsdatum | 04.12.2019 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2019-945 |
| Identifikator | KITopen-ID: 1000117098 |
| Lizenz | KITopen-Lizenz |
| Serie | Grundbegriffe der Informatik, Vorlesung, WS 2019/20 |
| Folge | 14 |