16: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 07.12.2018
- 0:00:00 Start
- 0:00:05 Allgemeingültige Formeln
- 0:05:40 Vorkommen von Variablensymbolen in Formeln
- 0:07:33 freie und gebundene Vorkommen von Variablensymbolen
- 0:16:46 Substitutionen
- 0:30:50 Kollisionsfreie Substitutionen für Formeln
- 0:33:12 Logisch äquivalente Formeln
- 0:40:29 Weitere allgemeingültige Formeln
- 0:41:18 Großzügige Benutzung von Prädikatenlogik
- 0:44:02 Zusammenfassung
- 0:44:18 Übung 8: Prädikatenlogik
- 0:45:01 Prädikatenlogik: Syntax
- 0:48:48 Prädikatenlogik: Semantik
- 0:53:11 Formulierungen in Prädikatenlogik
- 0:57:52 Totalität und Eindeutigkeit
- 1:00:18 Logische Äquivalenz
- 1:06:33 Allgemeingültig- und Erfüllbarkeit
- 1:11:21 Trinker-Paradoxon
- 1:15:04 Beispiel unerfüllbar
- 1:17:23 Substitutionen
- 1:19:58 Kollisionen
- 1:22:44 Gebundene Umbenennung
| Zugehörige Institution(en) am KIT | Institut für Anthropomatik und Robotik (IAR) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 10.12.2018 |
| Erstellungsdatum | 07.12.2018 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2018-954 |
| Identifikator | KITopen-ID: 1000116137 |
| Lizenz | KITopen-Lizenz |
| Serie | Grundbegriffe der Informatik, Vorlesung, WS 2018/19 |
| Folge | 16 |