15: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 06.12.2019
- 0:00:00 Start
- 0:00:59 Kontextfreie Sprachen
- 0:09:04 Schnitt kontextfreier Sprachen
- 0:12:45 Produkt von Relationen
- 0:18:09 Reflektiv, transitiv
- 0:26:24 Interpretationen
- 0:35:52 Allgemeingültige Formeln
- 0:40:09 Modelle
- 0:46:21 Vorkommen von Variablensymbolen in Formeln
- 0:54:07 Substitution
- 1:08:06 Logische äquivalente Formeln
- 1:17:58 Großzügige Benutzung von Prädikatenlogik
- 1:22:53 Eine Zeitreise
| Zugehörige Institution(en) am KIT | Institut für Anthropomatik und Robotik (IAR) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 09.12.2019 |
| Erstellungsdatum | 06.12.2019 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2019-959 |
| Identifikator | KITopen-ID: 1000117110 |
| Lizenz | KITopen-Lizenz |
| Serie | Grundbegriffe der Informatik, Vorlesung, WS 2019/20 |
| Folge | 15 |