Matemáticas concretas: una base para la ciencia de la computación , de Ronald Graham , Donald Knuth y Oren Patashnik , publicado por primera vez en 1989, es un libro de texto que se utiliza ampliamente en los departamentos de informática como un tratamiento sustancial pero desenfadado del análisis de algoritmos .
El libro proporciona conocimientos y habilidades matemáticas para la informática, especialmente para el análisis de algoritmos . Según el prólogo, los temas de Matemáticas concretas son "una mezcla de matemáticas CONTINUAS y DISCRETAS". El cálculo se utiliza con frecuencia en las explicaciones y ejercicios. El término "matemáticas concretas" también denota un complemento de " matemáticas abstractas ".
El libro se basa en un curso iniciado en 1970 por Knuth en la Universidad de Stanford . El libro amplía el material (aproximadamente 100 páginas) [1] de la sección "Mathematical Preliminaries" [2] de The Art of Computer Programming de Knuth . En consecuencia, algunos lectores lo utilizan como introducción a esa serie de libros.
Matemáticas concretas tiene un estilo informal y a menudo humorístico. Los autores rechazan lo que consideran el estilo seco de la mayoría de los libros de texto de matemáticas. Los márgenes contienen " grafitis matemáticos ", comentarios enviados por los primeros editores del texto: los estudiantes de Knuth y Patashnik en Stanford.
Como ocurre con muchos de los libros de Knuth, los lectores están invitados a reclamar una recompensa por cualquier error encontrado en el libro, en este caso, ya sea un error "técnicamente, históricamente, tipográficamente o políticamente incorrecto ". [3]
El libro popularizó algunas notaciones matemáticas: el corchete de Iverson , las funciones de suelo y techo , y la notación para factoriales ascendentes y descendentes .
Donald Knuth utilizó la primera edición de Concrete Mathematics como caso de prueba para la tipografía AMS Euler y la fuente Concrete Roman . [4]