Este libro analiza la intersección entre sistemas de pruebas y computación, similar a cómo Dowek conecta lógica y algoritmos en su obra.
Proofs and Algorithms: An Introduction to Logic and Computability
por Gilles Dowek · 2011
Ver sugerenciasSinopsis
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.
Sé el primero en valorar este libro.
Más de Gilles Dowek
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Aborda la lógica de primer orden y la computabilidad, profundizando en conceptos complejos que también explora Dowek de manera didáctica.