Grundlagen der Logik in der Informatik 2016/2017 (HD 1280)

Claim this podcast

Grundlagen der Logik in der Informatik 2016/2017 (HD 1280)

Follow Grundlagen der Logik in der Informatik 2016/2017 (HD 1280)

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

Prof. Dr. Lutz Schröder

Feb 5, 2017 LATEST EPISODE
infrequent NEW EPISODES
1h 18m AVG DURATION
14 EPISODES

Latest episodes from Grundlagen der Logik in der Informatik 2016/2017 (HD 1280)

15 - Grundlagen der Logik in der Informatik 2016/2017

Play Episode Listen Later Feb 5, 2017 89:52

14 - Grundlagen der Logik in der Informatik 2016/2017

Play Episode Listen Later Jan 29, 2017 88:54

13 - Grundlagen der Logik in der Informatik 2016/2017

Play Episode Listen Later Jan 22, 2017 83:31

12 - Grundlagen der Logik in der Informatik 2016/2017

Play Episode Listen Later Jan 15, 2017 73:11

10 - Grundlagen der Logik in der Informatik 2016/2017

Play Episode Listen Later Dec 18, 2016 88:37

9 - Grundlagen der Logik in der Informatik 2016/2017

Play Episode Listen Later Dec 11, 2016 83:46

8 - Grundlagen der Logik in der Informatik 2016/2017

Play Episode Listen Later Dec 4, 2016 78:40

7 - Grundlagen der Logik in der Informatik 2016/2017

Play Episode Listen Later Nov 27, 2016 52:31

6 - Grundlagen der Logik in der Informatik 2016/2017

Play Episode Listen Later Nov 20, 2016 79:39

5 - Grundlagen der Logik in der Informatik 2016/2017

Play Episode Listen Later Nov 13, 2016 85:51

4 - Grundlagen der Logik in der Informatik 2016/2017

Play Episode Listen Later Nov 6, 2016 76:25

3 - Grundlagen der Logik in der Informatik 2016/2017

Play Episode Listen Later Oct 30, 2016 82:05

2 - Grundlagen der Logik in der Informatik 2016/2017

Play Episode Listen Later Oct 23, 2016 90:18

1 - Grundlagen der Logik in der Informatik 2016/2017

Play Episode Listen Later Oct 16, 2016 38:51

Claim Grundlagen der Logik in der Informatik 2016/2017 (HD 1280)

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!