Grundlagen der Logik in der Informatik

Prof. Dr. Lutz Schröder

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

Episodes

  1. Grundlagen der Logik in der Informatik

    Episode 1 ·  Video

    Grundlagen der Logik in der Informatik

    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

    1h 16m
  • 1 Episode

About

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

Information

More From Friedrich-Alexander-Universität Erlangen-Nürnberg