Prof. Dr. Lutz Schröder

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

Explore the fundamental principles of logic in computer science. Learn about propositional and predicate logic, automated reasoning, and formal proof methods.

Listen on Apple Podcasts

5 - Grundlagen der Logik in der Informatik 2015/2016

90 mins • Nov 8, 2015

Charts

This show is not currently ranked in any charts.

Recent Episodes

Nov 8, 2015

5 - Grundlagen der Logik in der Informatik 2015/2016

90 mins

Nov 8, 2015

5 - Grundlagen der Logik in der Informatik 2015/2016

90 mins

Nov 8, 2015

5 - Grundlagen der Logik in der Informatik 2015/2016

90 mins

Nov 8, 2015

5 - Grundlagen der Logik in der Informatik 2015/2016

90 mins

Nov 8, 2015

5 - Grundlagen der Logik in der Informatik 2015/2016

90 mins

Language
German
Country
Germany
Categories
Request an Update
Updates may take a few minutes.