14: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 06.12.2017 - a podcast by Karlsruher Institut für Technologie (KIT)
from 2021-01-31T22:10:42.023393
::
::
14 |
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
Further episodes of Grundbegriffe der Informatik, Vorlesung, WS17/18
Further podcasts by Karlsruher Institut für Technologie (KIT)
Website of Karlsruher Institut für Technologie (KIT)