Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 07.12.2016, 14 - a podcast by Karlsruher Institut für Technologie (KIT)

14 |
0:00:00 Starten
0:04:48 Neutrale Elemente
0:14:29 Prädikatenlogische Formeln – Beispiele
0:17:15 Interpretationen
0:23:47 val (D,I,ß) - ein Wert für jeden Term und ein Wahrheitswert für jede Formel
0:40:58 Allgemeingültige Formeln
0:46:57 Modelle
0:52:34 Was ist wichtig
0:54:45 Vorkommen von Variablensymbolen in Formeln
1:02:17 Substitutionen
1:14:20 Weitere allgemeingültige Formeln
1:15:42 Kalküle
1:17:43 Axiome
1:21:12 Schlussregeln
1:22:30 Ableitungen – formal gefasst
1:24:49 Beweis – formal gefasst

Further episodes of Grundbegriffe der Informatik, Vorlesung, WS16/17

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

Website of Karlsruher Institut für Technologie (KIT)