Portada de Matemática Concreta: Fundamentos para la Ciencia de la Computación

Matemática Concreta: Fundamentos para la Ciencia de la Computación

por Ronald L. Graham, Donald E. Knuth, Oren Patashnik · 1989

Sinopsis

Este libro cubre temas de matemáticas que son particularmente relevantes para la ciencia de la computación, con un estilo que combina el rigor matemático con un enfoque práctico y humorístico.

Sé el primero en valorar este libro.

Más de Ronald L. Graham

Ver autor →

Otras obras del mismo autor en el catálogo

Libros similares

Libros relacionados según distintos criterios de búsqueda

Gödel, Escher, Bach: Un Eterno y Gran Bucle

Douglas R. Hofstadter·1979·no ficcion

Aunque no es un libro de matemáticas puras, "Gödel, Escher, Bach" explora los fundamentos lógicos y recursivos que subyacen a gran parte de la "Matemática Concreta". Se enfoca en las estructuras subyacentes que dan forma al pensamiento computacional y matemático, pero de una manera holística y menos formal.

La Noción de Concepto en la Lógica Matemática

Jean van Heijenoort·1967·no ficcion

Mientras "Matemática Concreta" se enfoca en técnicas, este libro aborda la epistemología subyacente de cómo se construyen las ideas matemáticas. Es una inmersión en la metamatemática que rara vez se asocia directamente con libros de texto de computación, pero que ilumina el terreno conceptual sobre el que se asientan sus reglas.

Principios de Programación Lógica y Prolog

Ivan Bratko·1986·no ficcion

Aunque superficialmente diferente (programación versus matemáticas puras), la programación lógica de Bratko comparte una raíz filosófica profunda con la claridad y precisión de "Matemática Concreta". Ambos buscan formalizar y manipular estructuras, uno a través de algoritmos y el otro a través de razonamiento deductivo, revelando la estructura matemática subyacente a los procesos computacionales.

El Problema de la Computación: La Teoría de la Calculabilidad

Martin Davis·1958·no ficcion

"Matemática Concreta" ofrece herramientas para la computación; este libro investiga la naturaleza fundamental de lo que *es* computable. Comparte la misma curiosidad intelectual por los límites y las posibilidades de los sistemas formales, y aborda las preguntas más profundas sobre las bases matemáticas de la ciencia de la computación, justo donde se inserta el 'concreto' en la obra de Graham, Knuth y Patashnik.

Introducción a la Lógica y la Metamatemática

Alonzo Church·1956·no ficcion

Aunque Church es un gigante en su campo (cálculo lambda), su libro de texto de lógica es menos conocido fuera de los círculos académicos especializados, especialmente en listas generales de "matemáticas para computación". Refleja la formalidad y el rigor subyacente que "Matemática Concreta" aplica a sus técnicas, ofreciendo una base teórica más densa que rara vez se estudia en cursos introductorios.

Fundamentos de la Teoría de la Computación

Grigori S. Tseitin·1970·no ficcion

Este libro ofrece una perspectiva profunda y altamente técnica sobre los fundamentos de la computación, proveniente de un autor de lengua rusa menos prominente en el canon anglosajón. Su rigor y la profundidad teórica en el análisis de algoritmos y estructuras computacionales resuenan con la forma en que "Matemática Concreta" aborda problemas a menudo vistos como "simples", pero con gran sofisticación.

El arte de programar computadoras, Vol. 1: Algoritmos Fundamentales

Donald E. Knuth·1968·no ficcion

Si bien Knuth es coautor de "Matemática Concreta", su obra magna "El Arte de Programar Computadoras" comparte el mismo rigor y estilo analítico para desglosar problemas en sus componentes esenciales. Ambos libros utilizan una combinación de notación rigurosa, ejemplos detallados y ejercicios desafiantes para guiar al lector, fomentando una comprensión profunda de las estructuras subyacentes.

Introducción a los Algoritmos

Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein·1990·no ficcion

Este libro emplea una estructura similar a "Matemática Concreta" en su acercamiento riguroso y sistemático a la resolución de problemas. Ambos descomponen temas complejos en módulos manejables, presentando teoremas, pruebas y ejemplos detallados, con una progresión lógica que construye el conocimiento paso a paso, usando un lenguaje formal pero accesible para estudiantes avanzados.

Ayúdame a que yoleo sea sostenible