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

Claim this podcast

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

Follow Grundlagen der Logik in der Informatik 2015/2016 (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 Beweiser Formale Deduktion:…

Prof. Dr. Lutz Schröder

Jan 31, 2016 LATEST EPISODE
infrequent NEW EPISODES
1h 25m AVG DURATION
13 EPISODES

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

14 - Grundlagen der Logik in der Informatik 2015/2016

Play Episode Listen Later Jan 31, 2016 89:18

13 - Grundlagen der Logik in der Informatik 2015/2016

Play Episode Listen Later Jan 24, 2016 64:29

12 - Grundlagen der Logik in der Informatik 2015/2016

Play Episode Listen Later Jan 17, 2016 90:11

11 - Grundlagen der Logik in der Informatik 2015/2016

Play Episode Listen Later Jan 10, 2016 89:05

10 - Grundlagen der Logik in der Informatik 2015/2016

Play Episode Listen Later Dec 20, 2015 84:50

9 - Grundlagen der Logik in der Informatik 2015/2016

Play Episode Listen Later Dec 13, 2015 87:58

8 - Grundlagen der Logik in der Informatik 2015/2016

Play Episode Listen Later Dec 6, 2015 88:42

7 - Grundlagen der Logik in der Informatik 2015/2016

Play Episode Listen Later Nov 29, 2015 82:00

5 - Grundlagen der Logik in der Informatik 2015/2016

Play Episode Listen Later Nov 8, 2015 90:09

4 - Grundlagen der Logik in der Informatik 2015/2016

Play Episode Listen Later Nov 1, 2015 91:15

3 - Grundlagen der Logik in der Informatik 2015/2016

Play Episode Listen Later Oct 25, 2015 91:15

2 - Grundlagen der Logik in der Informatik 2015/2016

Play Episode Listen Later Oct 18, 2015 92:08

1 - Grundlagen der Logik in der Informatik 2015/2016

Play Episode Listen Later Oct 11, 2015 66:40

Claim Grundlagen der Logik in der Informatik 2015/2016 (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!