Grundlagen der Logik in der Informatik 2016/2017 /CourseID:502

Detailed information

Most recent entry on 2017-02-06 

Organisational Unit

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Recording type

Vorlesungsreihe

Via

Free

Language

German

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

     

 

Associated Clips

Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-10-17
Free
00:38:51
2
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-10-24
Free
01:30:18
3
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-10-31
Free
01:22:05
4
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-11-07
Free
01:16:25
5
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-11-14
Free
01:25:51
6
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-11-21
Free
01:19:39
7
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-11-28
Free
00:52:31
8
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-12-05
Free
01:18:40
9
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-12-12
Free
01:23:46
10
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-12-19
Free
01:28:37
11
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2017-01-09
Free
00:00:30
12
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2017-01-16
Free
01:13:11
13
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2017-01-23
Free
01:23:31
14
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2017-01-30
Free
01:28:54
15
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2017-02-06
Free
01:29:52

More courses from Prof. Dr. Lutz Schröder

Schröder, Lutz
Prof. Dr. Lutz Schröder
2013-07-19
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2018-02-07
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-02-06
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2015-01-29
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-02-01
Free

More courses in this category "Technische Fakultät"

Schloss1
Dr.-Ing. Stefanos Georgiadis
2020-08-03
Studon
Schröder, Lutz
Prof. Dr. Lutz Schröder
2018-02-07
Free
Maier, Andreas
Prof. Dr. Andreas Maier
2020-07-10
Free
Schloss1
Prof. Dr. Jörn Thielecke
2020-07-21
Studon
Teich, Jürgen
Prof. Dr. Jürgen Teich
2020-09-01
Studon