A Course on Formal Arguments and Proofs
por Michael R. A. Huth · 2004
Sinopsis
Un libro de texto que introduce a los estudiantes en las técnicas de la lógica formal y la construcción de pruebas matemáticas rigurosas, cubriendo lógica proposicional, lógica de predicados y la verificación de sistemas.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda