Aborda la teoría de conjuntos y la lógica matemática, proporcionando una base rigurosa clave para la comprensión de conceptos informáticos.
Sets, Logic and Maths for Computing
por David Makinson · 2008
Ver sugerenciasSinopsis
Un texto de introducción a los fundamentos matemáticos de la informática, cubriendo la teoría de conjuntos, la lógica proposicional y de predicados, y conceptos clave para la comprensión de algoritmos y teorías computacionales.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Cubre fundamentos de matemática discreta y lógica, enfatizando relaciones que son esenciales para el pensamiento algorítmico en ciencias de la computación.
Introduce conceptos de matemática discreta y lógica, con énfasis en aplicaciones prácticas relevantes en el contexto de la computación.
Explora la teoría de conjuntos y lógica, añadiendo un enfoque avanzado con la teoría de categorías, expandiendo la conexión a conceptos matemáticos más complejos.
Analiza principios de matemática discreta, específicamente lógica y conjuntos, fundamentales para el diseño de algoritmos y la operativa de máquinas computacionales.
Presenta lógica matemática en un contexto de informática, cubriendo temas esenciales como lógica proposicional, aplicables directamente en programación y algoritmos.