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

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

Podcast de Prof. Dr. Lutz Schröder

Prueba 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

Empieza 30 días de prueba

4,99 € / mes después de la prueba.Cancela cuando quieras.

Prueba gratis

Todos los episodios

14 episodios
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 ene 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 ene 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 ene 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 ene 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 dic 2015 - 1 h 24 min
Soy muy de podcasts. Mientras hago la cama, mientras recojo la casa, mientras trabajo… Y en Podimo encuentro podcast que me encantan. De emprendimiento, de salid, de humor… De lo que quiera! Estoy encantada 👍
Sara Martín
App Store
MI TOC es feliz, que maravilla. Ordenador, limpio, sugerencias de categorías nuevas a explorar!!!
Lorettalectora
App Store
Me suscribi con los 14 días de prueba para escuchar el Podcast de Misterios Cotidianos, pero al final me quedo mas tiempo porque hacia tiempo que no me reía tanto. Tiene Podcast muy buenos y la aplicación funciona bien.
Cristina Rodriguez
App Store
App ligera, eficiente, encuentras rápido tus podcast favoritos. Diseño sencillo y bonito. me gustó.
Leonor Cortes
App Store
contenidos frescos e inteligentes
OLG
App Store
La App va francamente bien y el precio me parece muy justo para pagar a gente que nos da horas y horas de contenido. Espero poder seguir usándola asiduamente.
Marquinator
App Store

Empieza 30 días de prueba

4,99 € / mes después de la prueba.Cancela cuando quieras.

Podcasts exclusivos

Sin anuncios

Podcast gratuitos

Audiolibros

20 horas / mes

Prueba gratis

Sólo en Podimo

Special People ClubNadie Sabe NadaGente MuertaEl Olimpo de las DiosasMimicidiosTenía la dudaMalas personasLa RuinaThe Wild ProjectLa Vida y Tal

Audiolibros populares

Una corte de llamas plateadasPor si un día volvemosFuego en la gargantaEl descontentoUna corte de alas y ruinaUna corte de rosas y espinasLas que no duermen NASHDentro de casaUna corte de niebla y furiaPecados 1. Rey de la ira