coverImageOf

Grundlagen der Logik in der Informatik Series ID:323

Podcast by Prof. Dr. Lutz Schröder

German

Education

Get Started

Limited Offer

3 months for 9 kr.

Then 99 kr. / monthCancel anytime.

  • 20 hours of audiobooks / month
  • Podcasts only on Podimo
  • All free podcasts
Get Started

About Grundlagen der Logik in der Informatik Series ID:323

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

All episodes

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

07 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 Dec 2014 - 1 h 26 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

Choose your subscription

Limited Offer

Premium

20 hours of audiobooks

  • Podcasts only on Podimo

  • All free podcasts

  • Cancel anytime

3 months for 9 kr.
Then 99 kr. / month

Get Started

Premium Plus

Unlimited audiobooks

  • Podcasts only on Podimo

  • All free podcasts

  • Cancel anytime

Start 7 days free trial
Then 129 kr. / month

Start for free

Only on Podimo

Relatos de la Noche | SIN CENSURA¿Como pooor?El Tao, explicadoCriaturas de la nochenoPor intelectualArchivos SecretosVale de la CuesTalkTecito de calzónCiencia siniestraConejilla de Indias

Popular audiobooks

La sociedad de la nieveMi vida y mi carcel con Pablo EscobarEl misterio de las cuatro cartasEsperando al diluvioLos crímenes del monogramaÉrase una vez México 1Los ritos del aguaEl destino de una reinaInteligencia emocionalJerusalén. Caballo de Troya 1LolitaPídeme lo que quieras y yo te lo daréLa vida secreta de la última wiccanaYo confieso
Get Started

3 months for 9 kr. Then 99 kr. / month. Cancel anytime.