Concrete Mathematics: A Foundation for Computer Science

Kevin P. Murphy·2012·no ficcion

Aunque Concrete Mathematics se centra en combinatoria y summations para CS, el libro de Murphy se inclina hacia el aprendizaje automático. Sin embargo, ambos comparten una rigurosidad matemática extrema y buscan construir una 'fundación' formal y sistemática en sus respectivos campos, a menudo ignorando las nociones más intuitivas para lo puramente demostrable.

Douglas R. Hofstadter·1979·no ficcion

A diferencia de la rigurosa instrucción de Concrete Mathematics, Hofstadter adopta un enfoque más literario y filosófico para explorar los fundamentos. Sin embargo, ambos se sumergen en la lógica subyacente y los sistemas formales, aunque Gödel, Escher, Bach lo hace de una manera que es a la vez profunda y sorprendentemente entretenida, abordando la paradoja, la recursividad y la incompletitud, conceptos que resuenan en la matemática discreta.

Walter Rudin·1953·no ficcion

Concrete Mathematics busca establecer una base rigurosa para las matemáticas discretas relevantes para la informática. 'Baby Rudin' hace lo mismo para el análisis. La similitud filosófica reside en la insistencia de ambos libros en la construcción de un edificio conceptual desde los cimientos, la demostración formal de cada afirmación y el desarrollo de un pensamiento matemático preciso y sin ambigüedades.

Leslie Lamport·2017·no ficcion

Ambos libros, aunque diferentes en formato, comparten la filosofía fundamental de que la ingeniería de software y la informática en general son disciplinas que requieren el mismo rigor intelectual y la misma base lógica que las matemáticas puras. Lamport aboga por un pensamiento claro y deductivo en la construcción de software, lo que resuena con la precisión que Concrete Mathematics inculca en el razonamiento combinatorio.

Susanna S. Epp·1990·no ficcion

Aunque Concrete Mathematics es un referente, 'Matemática Discreta con Aplicaciones' de Epp ofrece una perspectiva algo más accesible sin sacrificar la profundidad para estudiantes de informática. Es menos conocido en el ámbito anglosajón para el público general, pero es una excelente alternativa en cuanto a la cobertura de los mismos temas de fundamento matemáticos discretos.

Walter Schmeidler·1950·no ficcion

Este libro representa un enfoque similar 'fundacional' y riguroso a las matemáticas avanzadas, pero desde una tradición académica alemana que a menudo es menos visible en las listas de recomendaciones anglosajonas. Al igual que Concrete Mathematics, busca edificar un conocimiento completo y profundo de una rama de las matemáticas, aunque en un campo diferente.

Donald E. Knuth·1968·no ficcion

La estructura de 'Concrete Mathematics' se caracteriza por su rigor, exhaustividad, y la inclusión de ejercicios desafiantes con soluciones detalladas. 'El Arte de Programar Computadoras' comparte esta misma arquitectura: es una obra monumental, densa, que no deja nada sin examinar y que utiliza un estilo didáctico que guía al lector a través de la complejidad con un detalle sin igual, haciendo uso intensivo de problemas y sus resoluciones.

Michael Sipser·1997·no ficcion

Sipser, al igual que Concrete Mathematics, construye el conocimiento de la teoría de la computación desde principios fundamentales, con una estructura que enfatiza la definición formal, los teoremas y sus demostraciones rigurosas. La presentación es modular y progresiva, lo que permite al lector asimilar conceptos complejos paso a paso, de manera similar a cómo Concrete Mathematics aborda la combinatoria y los sumatorios.