Prof. Dr. Lutz Schröder

Grundlagen der Logik in der Informatik 2015/2016 (HD 1280)

Explora los principios básicos de la lógica en la informática. Aprende sobre la lógica de proposiciones y la lógica de predicados, el cierre automático y los métodos de prueba formal.

Listen on Apple Podcasts

5 - Grundlagen der Logik in der Informatik 2015/2016

90 mins • Nov 8, 2015

Charts

This show is not currently ranked in any charts.

Episodios recientes

Nov 8, 2015

5 - Grundlagen der Logik in der Informatik 2015/2016

90 mins

Nov 8, 2015

5 - Grundlagen der Logik in der Informatik 2015/2016

90 mins

Nov 8, 2015

5 - Grundlagen der Logik in der Informatik 2015/2016

90 mins

Nov 8, 2015

5 - Grundlagen der Logik in der Informatik 2015/2016

90 mins

Nov 8, 2015

5 - Grundlagen der Logik in der Informatik 2015/2016

90 mins

Idioma
Alemán
País
Alemania
Categorías
Solicitar una actualización
Las actualizaciones pueden tardar unos minutos.