DiscoverGrundlagen der Logik in der Informatik
Grundlagen der Logik in der Informatik
Claim Ownership

Grundlagen der Logik in der Informatik

Author: Prof. Dr. Lutz Schröder

Subscribed: 8Played: 23
Share
© 2026 FAU Erlangen-Nürnberg

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



     

 

11 Episodes
Reverse
1 - Grundlagen der Logik in der Informatik

1 - Grundlagen der Logik in der Informatik

2016-10-1638:51

Grundlagen der Logik in der Informatik

Grundlagen der Logik in der Informatik

2016-10-1638:51

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  
Grundlagen der Logik in der Informatik

Grundlagen der Logik in der Informatik

2016-10-2301:30:18

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  
Grundlagen der Logik in der Informatik

Grundlagen der Logik in der Informatik

2016-10-3001:22:05

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  
Grundlagen der Logik in der Informatik

Grundlagen der Logik in der Informatik

2016-11-0601:16:25

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  
Grundlagen der Logik in der Informatik

Grundlagen der Logik in der Informatik

2016-11-1301:25:51

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  
Grundlagen der Logik in der Informatik

Grundlagen der Logik in der Informatik

2016-11-2001:19:39

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  
Grundlagen der Logik in der Informatik

Grundlagen der Logik in der Informatik

2016-11-2752:31

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  
Grundlagen der Logik in der Informatik

Grundlagen der Logik in der Informatik

2016-12-0401:18:40

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  
Grundlagen der Logik in der Informatik

Grundlagen der Logik in der Informatik

2016-12-1101:23:46

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  
Grundlagen der Logik in der Informatik

Grundlagen der Logik in der Informatik

2016-12-1801:28:37

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 
Google Play
Download from Google Play
Castbox
Download from App Store
usUnited States