8-Grundlagen der Logik in der Informatik previous clip next clip

Recording date 2016-12-05

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
2016-12-12
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-12-19
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-01-09
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-01-16
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-01-23
Free

More clips in this category ' Computer Science'

2017-03-30
IdM-login / Passwort
protected  
2016-12-08
IdM-login
protected  
2014-10-10
Studon
protected  
2019-06-30
Free
public  
2019-01-25
Free
public  
2019-04-17
Studon
protected