DiscoverGrundlagen der Logik in der Informatik 2016/2017 (Audio)
Grundlagen der Logik in der Informatik 2016/2017 (Audio)
Claim Ownership

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

Author: Prof. Dr. Lutz Schröder

Subscribed: 4Played: 19
Share

Description

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
Comments 
loading
Download from Google Play
Download from App Store