13 episodes
Grundlagen der Logik und Logikprogrammierung 2012 (SD 640) Prof. Dr. Lutz Schröder
-
- Education
1. Logisches Argumentieren
2. Quantoren
3. Relationen
4. Anfangsgründe von Prolog
5. Wahrheit
6. Klassische Logik
7. Logikkalküle
7. Prolog: Theoretische Grundlagen und Programmierpraxis
8. Fortgeschrittene Logikprogrammierung
9. Modellierung mit logischen Mitteln
10. Anwendungen der Logik in den Formalwissenschaften
-
- video
1 - Grundlagen der Logik und Logikprogrammierung 2012
-
- video
2 - Grundlagen der Logik und Logikprogrammierung 2012
-
- video
3 - Grundlagen der Logik und Logikprogrammierung 2012
-
- video
4 - Grundlagen der Logik und Logikprogrammierung 2012
-
- video
5 - Grundlagen der Logik und Logikprogrammierung 2012
-
- video
6 - Grundlagen der Logik und Logikprogrammierung 2012
Top Podcasts In Education
More by Friedrich-Alexander-Universität Erlangen-Nürnberg
Medcast - Medizinische Podcast (Audio)
Birk Müller
The International Criminal Court – Mandate, Procedures and Challenges (QHD 1920)
Prof. Dr. Bertram Schmitt
Quantum-optical phenomena in nanophysics - 14: Quantum states of the field (Audio)
Prof. Dr. Florian Marquardt
AG Mathematics of Deep Learning (QHD 1920)
Dr. Daniel Tenbrinck
Machine Learning for Physicists 2019 (QHD 1920)
Prof. Dr. Florian Marquardt
Digitale Vorlesung Urheberrecht 2020 (QHD 1920)
Prof. Dr. Franz Hofmann