14-Grundlagen der Logik in der Informatik previous clip

Recording date 2016-02-01

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

More clips in this category "Computer Science"

2013-07-03
Studon
protected  
2019-05-14
Passwort
protected  
2017-03-30
IdM-login / Passwort
protected  
2016-12-08
IdM-login
protected