La Noción de Prueba en Computación
2011·ensayo
Este ensayo explora la noción de prueba matemática y su evolución, desde la lógica formal hasta las pruebas asistidas por ordenador, reflexionando sobre su significado y aplicaciones en la computación.
GD
GD
Gilles Dowek
francés
Gilles Dowek es un destacado científico y filósofo francés, conocido por su trabajo en los campos de la computación y la matemática. Su relevancia radica en su contribución al estudio de la lógica y la inteligencia artificial.
Obras en el archivo
2 títulos
Este libro presenta los fundamentos de la lógica y la computabilidad, explorando las conexiones entre la teoría de pruebas y los algoritmos. Es una introducción accesible para aquellos interesados en la informática y la matemática lógica.
Autores relacionados
Aparecen junto a Gilles Dowek en búsquedas del archivo