Aufnahme Datum 2016-12-05

Zugang

Frei

Sprache

Deutsch

Fakultät

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

Produzent

MultiMediaZentrum


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

 

Nächstes Video

Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-12-12
Frei

Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-12-20
Frei

Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-01-09
Frei

Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-01-17
Frei

Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-01-24
Frei

Mehr Videos aus der Kategorie 'Informatik'

2018-06-20
Frei
freie Daten  
2017-07-26
Frei
freie Daten  
2017-06-02
IdM-Anmeldung
geschützte Daten