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: 2Played: 127
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

6 Episodes
Reverse
1 - Grundlagen der Logik in der Informatik

1 - Grundlagen der Logik in der Informatik

2015-10-1101:06:40

Grundlagen der Logik in der Informatik

Grundlagen der Logik in der Informatik

2015-10-1101:06: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

2015-10-1801:32:08

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

2015-10-2501:31:15

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

2015-11-0101:31:15

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

2015-11-0801:30:09

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