14: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 06.12.2017
- 0:00:00 Starten
- 0:03:00 Prädikatenlogische Formeln
- 0:09:54 Terme
- 0:22:17 Atomare Formeln
- 0:33:04 Prädikatenlogische Formeln
- 0:39:37 Was ist wichtig
- 0:40:40 Interpretationen
- 0:45:55 Val
- 1:03:16 Allgemeingültige Formeln
- 1:13:29 Modelle
- 1:19:09 Was ist wichtig
- 1:19:53 Vorkommen
- 1:21:45 freie und gebundene Vorkommen
| Zugehörige Institution(en) am KIT | Institut für Anthropomatik und Robotik (IAR) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 07.12.2017 |
| Erstellungsdatum | 06.12.2017 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2017-754 |
| Identifikator | KITopen-ID: 1000115137 |
| Lizenz | KITopen-Lizenz |
| Serie | Grundbegriffe der Informatik, Vorlesung, WS 2017/18 |
| Folge | 14 |