Grundlagen der Logik in der Informatik 2015/2016 /CoursesID:397
- 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:50
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
2023-02-09
IdM-login
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2018-02-07
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2024-04-22
IdM-login
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

More courses in this category "Technische Fakultät"

Schulze, Jörg
Prof. Dr.-Ing. Jörg Schulze
lecture
2022-02-11
Passwort / Studon
Teich, Jürgen
Prof. Dr. Jürgen Teich
lecture
2020-05-19
Studon
Schloss1
Dr.-Ing. Dieter Braisch
lecture
2022-02-09
IdM-login / Studon
Schloss1
Dr. Georg Hager
2024-04-09
Free / IdM-login
Schloss1
Dipl.-Ing. Jürgen Frickel
lecture
2021-07-13
Studon