Grundlagen der Logik in der Informatik 2016/2017 (HD 1280) Prof. Dr. Lutz Schröder
-
- Education
Aussagenlogik:
Syntax und Semantik
Automatisches Schließen: Resolution
Formale Deduktion: Korrektheit, Vollständigkeit
Prädikatenlogik erster Stufe:
Syntax und Semantik
Automatisches Schließen: Unifikation, Resolution
Quantorenelimination
Anwendung automatischer Beweiser
Formale Deduktion: Korrektheit, Vollständigkeit
-
- video
1 - Grundlagen der Logik in der Informatik 2016/2017
-
- video
2 - Grundlagen der Logik in der Informatik 2016/2017
-
- video
3 - Grundlagen der Logik in der Informatik 2016/2017
-
- video
4 - Grundlagen der Logik in der Informatik 2016/2017
-
- video
5 - Grundlagen der Logik in der Informatik 2016/2017
-
- video
6 - Grundlagen der Logik in der Informatik 2016/2017
Top Podcasts In Education
More by Friedrich-Alexander-Universität Erlangen-Nürnberg
Grundlagen der Logik in der Informatik 2017/2018 (Audio)
Prof. Dr. Lutz Schröder
Rudern wie die Römer (QHD 1920)
Friedrich-Alexander-Universität Erlangen-Nürnberg
Medcast - Medizinische Podcast (Audio)
Birk Müller
Lectures on the Geometric Anatomy of Theoretical Physics (SD 640)
Dr. Frederic P. Schuller
Einführungsvorlesung Mittelalter 2011/2012 (SD 640)
Prof. Dr. Stuart Jenks
Quantum-optical phenomena in nanophysics - 14: Quantum states of the field (Audio)
Prof. Dr. Florian Marquardt