14 episodes

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 2016/2017 (HD 1280) Friedrich-Alexander-Universität Erlangen-Nürnberg

    • Education

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

 

 

    • video
    1 - Grundlagen der Logik in der Informatik 2016/2017

    1 - Grundlagen der Logik in der Informatik 2016/2017

    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

     

    • 38 min
    • video
    2 - Grundlagen der Logik in der Informatik 2016/2017

    2 - Grundlagen der Logik in der Informatik 2016/2017

    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

     

    • 1 hr 30 min
    • video
    3 - Grundlagen der Logik in der Informatik 2016/2017

    3 - Grundlagen der Logik in der Informatik 2016/2017

    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

     

    • 1 hr 22 min
    • video
    4 - Grundlagen der Logik in der Informatik 2016/2017

    4 - Grundlagen der Logik in der Informatik 2016/2017

    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

     

    • 1 hr 16 min
    • video
    5 - Grundlagen der Logik in der Informatik 2016/2017

    5 - Grundlagen der Logik in der Informatik 2016/2017

    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

     

    • 1 hr 25 min
    • video
    6 - Grundlagen der Logik in der Informatik 2016/2017

    6 - Grundlagen der Logik in der Informatik 2016/2017

    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

     

    • 1 hr 19 min

Top Podcasts In Education

Listeners Also Subscribed To

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