Sign up to save your podcasts
Or
Share 14: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 06.12.2017
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
14: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 06.12.2017
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
View all episodes
By Karlsruher Institut für Technologie (KIT)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
More shows like Grundbegriffe der Informatik, Vorlesung, WS17/18
View all
Internationales Forum am ZAK
0 Listeners
IEEE International Conference on Robotics and Automation, 2013
0 Listeners
Einführung in die Stochastik für Studierende des gymnasialen Lehramts Mathematik, SS2015, Vorlesung
0 Listeners
Numerische Mathematik für die Fachrichtungen Informatik und Ingenieurwesen, Vorlesung, SS2015
0 Listeners
Transport Phenomena in the Biosphere
0 Listeners
Einführung in die Geophysik 1, WS17/18, Vorlesung
0 Listeners
Numerische Mathematik für die Fachrichtungen Informatik und Ingenieurwesen, Vorlesung, SS2014
0 Listeners
Einführung in die Stochastik für Studierende des gymnasialen Lehramts Mathematik, SS2014, Vorlesung
0 Listeners
Numerische Mathematik für die Fachrichtungen Informatik und Ingenieurwesen, Vorlesung, SS2019
0 Listeners
Theoretische Grundlagen der Informatik, Vorlesung, WS19/20
0 Listeners