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

Podcast von Prof. Dr. Lutz Schröder

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: Korrektheit, Vollständigkeit

Kostenlos testen für 30 Tage

4,99 € / Monat nach der Testphase.Jederzeit kündbar.

Gratis testen

Alle Folgen

14 Folgen

14 - Grundlagen der Logik in der Informatik 2015/2016

31. Jan. 2016 - 1 h 29 min

13 - Grundlagen der Logik in der Informatik 2015/2016

24. Jan. 2016 - 1 h 4 min

12 - Grundlagen der Logik in der Informatik 2015/2016

17. Jan. 2016 - 1 h 30 min

11 - Grundlagen der Logik in der Informatik 2015/2016

10. Jan. 2016 - 1 h 29 min

10 - Grundlagen der Logik in der Informatik 2015/2016

20. Dez. 2015 - 1 h 24 min

Der neue Look und die “Trailer” sind euch verdammt gut gelungen! Die bisher beste Version eurer App 🎉 Und ich bin schon von Anfang an dabei 😉 Weiter so 👍

Hardy Münchow

Eine wahnsinnig große, vielfältige Auswahl toller Hörbücher, Autobiographien und lustiger Reisegeschichten. Ein absolutes Muss auf der Arbeit und in unserem Urlaub am Strand nicht wegzudenken... für uns eine feine Bereicherung

Basti Hunger

App Store

Spannende Hörspiele und gute Podcasts aus Eigenproduktion, sowie große Auswahl. Die App ist übersichtlich und gut gestaltet. Der Preis ist fair.

Kalle

App Store

Kostenlos testen für 30 Tage

4,99 € / Monat nach der Testphase.Jederzeit kündbar.

Exklusive Podcasts

Werbefrei

Alle frei verfügbaren Podcasts

Hörbücher

20 Stunden / Monat

Gratis testen

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

Alle Folgen

Nur bei Podimo

Beliebte Hörbücher