Fundamentos de Lógica Computacional
por Ricardo Peña · 2002
Sinopsis
Este libro proporciona una base sólida en lógica matemática aplicada a la computación, cubriendo lógica proposicional, lógica de predicados de primer orden y sus aplicaciones en la verificación de programas y la lógica como paradigma de programación.
Sé el primero en valorar este libro.
Más de Ricardo Peña
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda