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

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

Ü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)

Abonnenten

Logo
"14 - Grundlagen der Logik in der Informatik 2015/2016"
" Grundlagen der Logik in der Informatik 2015/2016 (Audio)"
15
15
00:00
00:00
"14 - Grundlagen der Logik in der Informatik 2015/2016"
" Grundlagen der Logik in der Informatik 2015/2016 (Audio)"