Podcast
Grundlagen der Logik in der Informatik 2014/2015 (Audio)
Prof. Dr. Lutz Schröder
0 Plays
Aussagenlogik:Syntax und Semantik Automatisches Schließen: Resolution Formale Deduktion: Korrektheit, VollständigkeitPrädikatenlogik erster Stufe:Syntax und Semantik Automatisches Schließen: Unifikation, Resolution Quantorenelimination Anwendung automatischer Beweiser Formale Deduktion: Korrektheit, Vollständigkeit
