Grundlagen der Logik in der Informatik 2021/2022 /CoursesID:2563

Detailed information

Most recent entry on 2022-01-21 

Organisational Unit

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Recording type

Vorlesungsreihe

Language

German

Associated Clips

Episode
Title
Lecturer
Updated
Via
Duration
Media
0
Livestream - Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2021-10-17
IdM-login
00:00:00
1
Einführung und Organisatorisches
Prof. Dr. Lutz Schröder
2021-10-18
IdM-login
01:33:51
2
Induktion
Prof. Dr. Lutz Schröder
2021-10-29
IdM-login
01:26:28
3
Aussagenlogik
Prof. Dr. Lutz Schröder
2021-11-05
IdM-login
01:27:15
4
Formale Deduktion (Aussagenlogik)
Prof. Dr. Lutz Schröder
2021-11-12
IdM-login
01:22:28
5
Normalformen und Resolution (Aussagenlogik)
Prof. Dr. Lutz Schröder
2021-11-19
IdM-login
01:25:50
6
Resolution - Recall (Aussagenlogik)
Prof. Dr. Lutz Schröder
2021-11-26
IdM-login
01:06:00
7
Korrektheit und Vollständigkeit
Prof. Dr. Lutz Schröder
2021-12-03
IdM-login
01:32:13
8
Prädikatenlogik erster Stufe
Prof. Dr. Lutz Schröder
2021-12-10
IdM-login
01:29:30
9
Natürliches Schließen (Prädikatenlogik)
Prof. Dr. Lutz Schröder
2021-12-17
IdM-login
01:12:28
10
Unifikation (Prädikatenlogik)
Prof. Dr. Lutz Schröder
2022-01-07
IdM-login
01:31:44
11
Resolution (Prädikatenlogik)
Prof. Dr. Lutz Schröder
2022-01-14
IdM-login
01:25:14
12
Semantik (Prädikatenlogik)
Prof. Dr. Lutz Schröder
2022-01-21
IdM-login
01:29:00

More courses from Prof. Dr. Lutz Schröder

Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2015-01-29
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2017-07-21
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2016-02-01
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2014-07-10
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2017-02-06
Free