Kostenlos hören
Coverbild der Sendung Grundlagen der Logik in der Informatik

Grundlagen der Logik in der Informatik

Podcast von Prof. Dr. Lutz Schröder

Deutsch

Kostenlos bei Podimo

Kostenlos hören bei Podimo

Starte jetzt und verbinde dich mit deinen Lieblingspodcaster*innen

  • Vertraut von über 1 Mio. deutschen Hörer*innen
  • Über 1.000 lokale Podcasts und Shows – nur bei Podimo
  • Keine Zahlung nötig

Mehr Grundlagen der Logik in der Informatik

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

Alle Folgen

15 Folgen

episode 15 - Grundlagen der Logik in der Informatik 2014/2015 artwork

15 - Grundlagen der Logik in der Informatik 2014/2015

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

28. Jan. 2015 - 1 h 16 min
episode 14 - Grundlagen der Logik in der Informatik 2014/2015 artwork

14 - Grundlagen der Logik in der Informatik 2014/2015

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

21. Jan. 2015 - 1 h 12 min
episode 13 - Grundlagen der Logik in der Informatik 2014/2015 artwork

13 - Grundlagen der Logik in der Informatik 2014/2015

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

14. Jan. 2015 - 1 h 25 min
episode 12 - Grundlagen der Logik in der Informatik 2014/2015 artwork

12 - Grundlagen der Logik in der Informatik 2014/2015

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

7. Jan. 2015 - 1 h 26 min
episode 11 - Grundlagen der Logik in der Informatik 2014/2015 artwork

11 - Grundlagen der Logik in der Informatik 2014/2015

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

17. Dez. 2014 - 1 h 26 min
Super gut, sehr abwechslungsreich Podimo kann man nur weiterempfehlen
XeniaSoo
App Store
Super gut, sehr abwechslungsreich Podimo kann man nur weiterempfehlen
XeniaSoo
App Store
Ich liebe Podcasts, Hörbücher u. -spiele, Dokus usw. Hier habe ich genügend Auswahl. Macht 👍 weiter so
Nic. H
App Store

Nur bei Podimo

Im Bann der Sekten3Uhr29 – Fitzeks TodesstundeMain Character Mode – Realtalk mit SamiraDie MichalskisKatze & CordalisGeschlossene Gesellschaft – Leben in der PsychiatrieAm helllichten Tag – Der Fall Peggy KnoblochSchwarze Akte MysterySpurlos Vermisst – mit Tom WlaschihaPhänomenal ParanormalGeschichten, die (k)einer braucht mit Ilka BessinIm Zweifel für den AngeklagtenTutto bene! Mit Giovanni und Stefano ZarrellaReise in den TodEiskalt – Wahre Verbrechen aus SkandinavienLose LuderunREAL mit Serkan YavuzKlangwelten zum EinschlafenMax & Anna Zimt - Geschichten einer offenen BeziehungGefährliche LügenDie Pochers! Frisch recyceltUNGELÖST - Verbrechen ohne TäterMenschen und MonsterMit aller Gewalt

Beliebte Hörbücher

Der perfekte ZeugeDie Familie von nebenanDas Paar in Hütte 14Der beste FreundDas perfekte LebenDie perfekte NachbarinGroße Pläne in Lobster BayEin Sommer im Primrose TowerDie kleine Pension in Lobster BayDas Ungeheuer in unsDie Geliebte des MördersTödliche TeenagerDrachenjahreDer perfekte Fremde