Grundlagen der Logik in der Informatik 2014/2015 (HD 1280)

Grundlagen der Logik in der Informatik 2014/2015 (HD 1280)

Über diesen Podcast

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

Kommentare (0)

Lade Inhalte...

Abonnenten

15
15
:
: