13 Folgen

Grundlagen der Logik in der Informatik 2015/2016 (HD 1280‪)‬ Prof. Dr. Lutz Schröder

- Bildung

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

- 11. OKT. 2015
- video
1 - Grundlagen der Logik in der Informatik 2015/2016

1 - Grundlagen der Logik in der Informatik 2015/2016
- 1 Std. 6 Min.
- 18. OKT. 2015
- video
2 - Grundlagen der Logik in der Informatik 2015/2016

2 - Grundlagen der Logik in der Informatik 2015/2016
- 1 Std. 32 Min.
- 25. OKT. 2015
- video
3 - Grundlagen der Logik in der Informatik 2015/2016

3 - Grundlagen der Logik in der Informatik 2015/2016
- 1 Std. 31 Min.
- 1. NOV. 2015
- video
4 - Grundlagen der Logik in der Informatik 2015/2016

4 - Grundlagen der Logik in der Informatik 2015/2016
- 1 Std. 31 Min.
- 8. NOV. 2015
- video
5 - Grundlagen der Logik in der Informatik 2015/2016

5 - Grundlagen der Logik in der Informatik 2015/2016
- 1 Std. 30 Min.
- 29. NOV. 2015
- video
7 - Grundlagen der Logik in der Informatik 2015/2016

7 - Grundlagen der Logik in der Informatik 2015/2016
- 1 Std. 22 Min.