Grundlagen der Logik in der Informatik 2016/2017 (Audio)

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 Quan...Show More


Best
Newest

Best Grundlagen der Logik in der Informatik 2016/2017 (Audio) episodes

Show More (6)