Billede af showet Grundlagen der Logik in der Informatik Series ID:397

Grundlagen der Logik in der Informatik Series ID:397

Podcast af Prof. Dr. Lutz Schröder

tysk

Uddannelse

Kom i gang

Begrænset tilbud

1 måned kun 9 kr.

Derefter 99 kr. / månedOpsig når som helst.

  • 20 lydbogstimer pr. måned
  • Podcasts kun på Podimo
  • Gratis podcasts
Kom i gang

Læs mere 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 episoder

14 episoder
episode 14 - Grundlagen der Logik in der Informatik 2015/2016 artwork

14 - Grundlagen der Logik in der Informatik 2015/2016

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

31. jan. 2016 - 1 h 29 min
episode 13 - Grundlagen der Logik in der Informatik 2015/2016 artwork

13 - Grundlagen der Logik in der Informatik 2015/2016

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

24. jan. 2016 - 1 h 4 min
episode 12 - Grundlagen der Logik in der Informatik 2015/2016 artwork

12 - Grundlagen der Logik in der Informatik 2015/2016

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. jan. 2016 - 1 h 30 min
episode 11 - Grundlagen der Logik in der Informatik 2015/2016 artwork

11 - Grundlagen der Logik in der Informatik 2015/2016

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

10. jan. 2016 - 1 h 29 min
episode 10 - Grundlagen der Logik in der Informatik 2015/2016 artwork

10 - Grundlagen der Logik in der Informatik 2015/2016

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

20. dec. 2015 - 1 h 24 min
En fantastisk app med et enormt stort udvalg af spændende podcasts. Podimo formår virkelig at lave godt indhold, der takler de lidt mere svære emner. At der så også er lydbøger oveni til en billig pris, gør at det er blevet min favorit app.
Jack
App Store
En fantastisk app med et enormt stort udvalg af spændende podcasts. Podimo formår virkelig at lave godt indhold, der takler de lidt mere svære emner. At der så også er lydbøger oveni til en billig pris, gør at det er blevet min favorit app.
Jack
App Store
Rigtig god tjeneste med gode eksklusive podcasts og derudover et kæmpe udvalg af podcasts og lydbøger. Kan varmt anbefales, om ikke andet så udelukkende pga Dårligdommerne, Klovn podcast, Hakkedrengene og Han duo 😁 👍
Søren Jensen
App Store
Podimo er blevet uundværlig! Til lange bilture, hverdagen, rengøringen og i det hele taget, når man trænger til lidt adspredelse.
ACKH
App Store

Vælg dit abonnement

Begrænset tilbud

Premium

20 timers lydbøger

  • Podcasts kun på Podimo

  • Gratis podcasts

  • Opsig når som helst

1 måned kun 9 kr.
Derefter 99 kr. / måned

Kom i gang

Premium Plus

100 timers lydbøger

  • Podcasts kun på Podimo

  • Gratis podcasts

  • Opsig når som helst

Prøv gratis i 7 dage
Derefter 129 kr. / month

Prøv gratis

Kun på Podimo

Casper ringer til Frank112 For Knuste HjerterMads og A-holdetHer Går Det GodtNarkobetjentenLivet ifølge Emil og ThomasPanserUgens OkmanBanderelateretFries Before Guys

Populære lydbøger

Mænd der hader kvinderPolitiTørstAlle blomsterne i ParisMarekorsKakerlakkerneEn god historieDe glemte børns bogMichael JacksonMit lykkestedBrobyggerneMinnesotaKunsten at være fucking ligegladJulekalenderenRødhalsAlarm 112Dig og mig på ferieLysningenPigen der legede med ildenHuset i ChelseaPanserhjerteAldrig i målI tykt og tyndtFor evigt
Kom i gang

1 måned kun 9 kr. Derefter 99 kr. / måned. Opsig når som helst.