1-Grundlagen der Logik in der Informatik next clip

Recording date 2015-10-12

Via

Free

Language

German

Faculty

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

Producer

MultiMediaZentrum

Format

lecture

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

Up next

Schröder, Lutz
Prof. Dr. Lutz Schröder
2015-10-19
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2015-10-26
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2015-11-02
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2015-11-09
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2015-11-17
Free

More clips in this category ' Computer Science'

2017-07-04
Free
public  
2018-06-20
Free
public  
2017-06-02
IdM-login
protected  
2019-04-20
Free
public