Grundlagen der Logik in der Informatik 2014/2015 (Audio)

Claim this podcast

Grundlagen der Logik in der Informatik 2014/2015 (Audio)

Follow Grundlagen der Logik in der Informatik 2014/2015 (Audio)

Share on

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:…

Prof. Dr. Lutz Schröder

Jan 28, 2015 LATEST EPISODE
infrequent NEW EPISODES
1h 24m AVG DURATION
15 EPISODES

Latest episodes from Grundlagen der Logik in der Informatik 2014/2015 (Audio)

15 - Grundlagen der Logik in der Informatik 2014/2015

Play Episode Listen Later Jan 28, 2015 76:40

14 - Grundlagen der Logik in der Informatik 2014/2015

Play Episode Listen Later Jan 21, 2015 72:28

13 - Grundlagen der Logik in der Informatik 2014/2015

Play Episode Listen Later Jan 14, 2015 85:53

12 - Grundlagen der Logik in der Informatik 2014/2015

Play Episode Listen Later Jan 7, 2015 86:33

11 - Grundlagen der Logik in der Informatik 2014/2015

Play Episode Listen Later Dec 17, 2014 86:51

10 - Grundlagen der Logik in der Informatik 2014/2015

Play Episode Listen Later Dec 10, 2014 74:56

9 - Grundlagen der Logik in der Informatik 2014/2015

Play Episode Listen Later Dec 3, 2014 87:29

8 - Grundlagen der Logik in der Informatik 2014/2015

Play Episode Listen Later Nov 26, 2014 88:56

7 - Grundlagen der Logik in der Informatik 2014/2015

Play Episode Listen Later Nov 19, 2014 77:27

6 - Grundlagen der Logik in der Informatik 2014/2015

Play Episode Listen Later Nov 12, 2014 94:30

5 - Grundlagen der Logik in der Informatik 2014/2015

Play Episode Listen Later Nov 5, 2014 90:40

4 - Grundlagen der Logik in der Informatik 2014/2015

Play Episode Listen Later Oct 29, 2014 87:54

3 - Grundlagen der Logik in der Informatik 2014/2015

Play Episode Listen Later Oct 22, 2014 88:05

2 - Grundlagen der Logik in der Informatik 2014/2015

Play Episode Listen Later Oct 15, 2014 90:15

1 - Grundlagen der Logik in der Informatik 2014/2015

Play Episode Listen Later Oct 8, 2014 75:30

Claim Grundlagen der Logik in der Informatik 2014/2015 (Audio)

In order to claim this podcast we'll send an email to with a verification link. Simply click the link and you will be able to edit tags, request a refresh, and other features to take control of your podcast page!