Kostenlos hören
Coverbild der Sendung Grundlagen der Logik in der Informatik Series ID:397

Grundlagen der Logik in der Informatik Series ID:397

Podcast von Prof. Dr. Lutz Schröder

Deutsch

Gratis en 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 Series ID:397

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

14 Folgen
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

Doppelgängerinnen-MordEntlarvende Spuren – Wahre Fälle mit Marcus Schwarz und Nina HimmerIm VerhörKlangwelten zum EinschlafenMain Character Mode – Realtalk mit SamiraPolluxMenschen und MonsterHOT STUFF – Alles rund um SexMax & Anna Zimt - Geschichten einer offenen BeziehungPhänomenal ParanormalKaltblütig - Die Spur der KillerMord unter FreundenIm Bann der SektenDunkelkammer – Ein True Crime PodcastDer Letzte BeweisSchwarze Akte Mystery15% - Wenn Frauen tötenFühl Vergnügen - mit Tahnee & JulietteSteig nicht ein!Verzweifelte Suche – Wenn Menschen verschwindenPsychologie des Verbrechens3Uhr29 – Fitzeks TodesstundeLiebes Leben - mit Amira & HimaReise in den Tod

Beliebte Hörbücher

Der Kuss des SandmannsDas Paar in Hütte 14BlutzeichenDie Tränen des MördersDer perfekte FremdeDie Blumen des TodesDie Schuld des BlutesDie GästeDie kleine Pension in Lobster BayGroße Pläne in Lobster BayJasmin, Rosenblüten & MordTödliche TeenagerDas Erbe von StonehengeEin Sommer im Primrose TowerDie Geliebte des MördersDie Familie von nebenanDie perfekte NachbarinDer beste FreundDas Blut der OpferIn der Stunde des TodesDas perfekte LebenDer perfekte ZeugeThere With You (ungekürzt)Schöne falsche Welt [ungekürzt]