Podcast
Grundlagen der Logik in der Informatik
Hosted by Prof. Dr. Lutz Schröder · DE
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
5episodes
Episodes
Newest firstAll episodes
Grundlagen der Logik in der Informatik
Nov 8, 201501:30:09Tap to summarizeAussagenlogik: 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
Transcribe →Grundlagen der Logik in der Informatik
Nov 1, 201501:31:15Tap to summarizeAussagenlogik: 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
Transcribe →Grundlagen der Logik in der Informatik
Oct 25, 201501:31:15Tap to summarizeAussagenlogik: 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
Transcribe →Grundlagen der Logik in der Informatik
Oct 18, 201501:32:08Tap to summarizeAussagenlogik: 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
Transcribe →Grundlagen der Logik in der Informatik
Oct 11, 201501:06:40Tap to summarizeAussagenlogik: 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
Transcribe →