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

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

By Prof. Dr. Lutz Schröder

Aussagenlogik:
Syntax und Semantik
Automatisches Schließen: Resolution
Formale Deduktion: Korrektheit, Vollständigkeit
Prädikatenlogik erster Stufe:
Syntax und Semantik
Automatisches Schließen: ... more


Download on the App Store

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

FAQs about Grundlagen der Logik in der Informatik 2015/2016 (Audio):

How many episodes does Grundlagen der Logik in der Informatik 2015/2016 (Audio) have?

The podcast currently has 28 episodes available.