15 - Grundlagen der Logik in der Informatik/ClipID:7366 previous clip

Recording date 2017-02-06

Via

Free

Language

German

Organisational Unit

Lehrstuhl für Informatik 8 (Theoretische Informatik)

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 "Technische Fakultät"

2021-12-02
Studon
protected  
2021-12-02
IdM-login
protected  
2021-12-02
IdM-login / Studon
protected  
2021-12-02
Studon
protected  
2021-12-02
IdM-login / Studon
protected  
2021-12-03
IdM-login
protected