Grundlagen der Logik in der Informatik 2015/2016 /CoursesID:397

Detailed information

Most recent entry on 2016-02-01 

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
2015-10-12
Free
01:06:40
2
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-10-19
Free
01:32:08
3
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-10-26
Free
01:31:15
4
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-11-02
Free
01:31:15
5
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-11-09
Free
01:30:09
6
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-11-17
Free
01:31:06
7
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-11-30
Free
01:22:00
8
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-12-07
Free
01:28:42
9
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-12-14
Free
01:27:58
10
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-12-21
Free
01:24:51
11
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-01-11
Free
01:29:05
12
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-01-18
Free
01:30:11
13
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-01-25
Free
01:04:29
14
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-02-01
Free
01:29:18

More courses from Prof. Dr. Lutz Schröder

Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2017-07-27
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2014-07-10
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2015-07-17
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2018-07-12
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2018-07-12
Free

More courses in this category "Technische Fakultät"

Wierschem, Andreas
Prof. Dr. Andreas Wierschem
lecture
2020-06-29
Studon
Kleinöder
Dr. Jürgen Kleinöder
lecture
2013-01-31
Free
Schloss1
Dr. Volkmar Sieh
Tutorial
2021-04-12
Free
Kleinöder
Dr. Jürgen Kleinöder
lecture
2018-01-30
Free