11 - Grundlagen der Logik in der Informatik/ClipID:5913 previous clip next clip

Recording date 2016-01-11

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

Up next

Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-01-18
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-01-25
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-02-01
Free

More clips in this category "Technische Fakultät"

2022-01-24
Studon
protected  
2022-01-24
Studon
protected  
2022-01-25
IdM-login
protected  
2022-01-24
Studon
protected  
2022-01-24
Studon
protected  
2022-01-23
Passwort
protected