16: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 07.12.2018 - a podcast by Karlsruher Institut für Technologie (KIT)

16 |
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

Further episodes of Grundbegriffe der Informatik, Vorlesung, WS18/19

Further podcasts by Karlsruher Institut für Technologie (KIT)

Website of Karlsruher Institut für Technologie (KIT)