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
10episodes
Episodes
Newest firstAll episodes
Grundlagen der Logik in der Informatik
Dec 18, 201601:28:37Tap 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
Dec 11, 201601:23:46Tap 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
Dec 4, 201601:18: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 →Grundlagen der Logik in der Informatik
Nov 27, 201600:52:31Tap 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 20, 201601:19:39Tap 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 13, 201601:25:51Tap 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 6, 201601:16:25Tap 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 30, 201601:22:05Tap 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 23, 201601:30:18Tap 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 16, 201600:38:51Tap 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 →