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

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

Podcast af Prof. Dr. Lutz Schröder

Prøv gratis

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

Prøv gratis i 60 dage

99,00 kr. / måned efter prøveperiode.Ingen binding.

Prøv gratis

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

Prøv gratis i 60 dage

99,00 kr. / måned efter prøveperiode.Ingen binding.

Eksklusive podcasts

Uden reklamer

Gratis podcasts

Lydbøger

20 timer / måned

Prøv gratis

Kun på Podimo

Det, Vi Taler OmNarkobetjentenLivet ifølge Emil og ThomasCasper ringer til FrankHva så?! med Christian FuhlendorffMads og A-holdet112 For Knuste HjerterHer Går Det GodtSkyggekvinderPanser

Populære lydbøger

Kriminelle kvinderEr jeg (også) psykopat?KronvidnetTælle til en, tælle til toI en dråbeJoof DoktrinenKorsørmandenGuldfuglenDe fortabte sønnerKorsør 04:07