Grundlagen der Logik und Logikprogrammierung 2012 /CoursesID:156
- Most recent entry on 2012-07-11
Keywords: Wahrheit Quantoren Relationen Prolog Logikkalküle Formalwissenschaften

Organisational Unit

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Recording type

Vorlesungsreihe

Via

Free

Language

German

1. Logisches Argumentieren
2. Quantoren
3. Relationen
4. Anfangsgründe von Prolog
5. Wahrheit
6. Klassische Logik
7. Logikkalküle
7. Prolog: Theoretische Grundlagen und Programmierpraxis
8. Fortgeschrittene Logikprogrammierung
9. Modellierung mit logischen Mitteln
10. Anwendungen der Logik in den Formalwissenschaften

Associated Clips

Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-04-18
Free
01:26:15
2
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-04-28
Free
01:27:17
3
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-05-02
Free
01:28:35
4
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-05-09
Free
01:25:33
5
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-05-16
Free
01:28:14
6
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-05-23
Free
01:03:34
7
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-05-30
Free
01:12:51
8
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-06-06
Free
01:26:36
9
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-06-13
Free
01:27:19
10
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-06-20
Free
00:59:54
11
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-06-27
Free
01:26:19
12
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-07-04
Free
01:22:52
13
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-07-11
Free
01:04:29

More courses from Prof. Dr. Lutz Schröder

Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2018-07-12
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2019-07-25
IdM-login
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2022-07-28
IdM-login
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2013-07-19
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2014-07-10
Free

More courses in this category "Technische Fakultät"

Schloss1
Prof. Dr. Stefan Becker
2022-02-24
Passwort / Studon
Maier, Andreas
Prof. Dr. Andreas Maier
lecture
2020-07-12
Free / IdM-login
Maier, Andreas
Prof. Dr. Andreas Maier
lecture
2019-01-29
Free
Maier, Andreas
Prof. Dr. Andreas Maier
lecture
2021-08-31
Studon
Lenz, Richard
Prof. Dr. Richard Lenz
lecture
2018-07-10
Studon