Las matemáticas discretas sustentan toda la informática. Estos libros cubren los temas esenciales: lógica, técnicas de prueba, teoría de conjuntos, combinatoria, teoría de grafos y teoría de números.
Libros de Texto Fundamentales de Matemáticas Discretas
Libros de texto estándar de matemáticas discretas para pregrado.
| Libro | Autor | Año | Nivel | Descripción |
|---|---|---|---|---|
| Matemáticas Discretas y sus Aplicaciones 8ª Edición, McGraw-Hill | Kenneth H. Rosen | 2019 | Principiante-Intermedio | El libro de texto de matemáticas discretas más adoptado. Cobertura clara de lógica, pruebas, conjuntos, combinatoria, grafos y teoría de números. |
| Matemáticas Discretas con Aplicaciones 5ª Edición, Cengage | Susanna S. Epp | 2019 | Principiante-Intermedio | Excepcional en la enseñanza del razonamiento matemático y las pruebas. El mejor texto para estudiantes nuevos en matemáticas formales. |
| Matemáticas Discretas: Una Introducción Abierta 3ª Edición, Open Textbook | Oscar Levin | 2019 | Principiante | Libro de texto abierto gratuito que cubre el currículo estándar de matemáticas discretas. |
Combinatoria
Enumeración, permutaciones, combinaciones y estructuras combinatorias.
| Libro | Autor | Año | Nivel | Descripción |
|---|---|---|---|---|
| Un Paseo a Través de la Combinatoria 4ª Edición, World Scientific | Miklós Bóna | 2016 | Intermedio-Avanzado | Introducción atractiva a la combinatoria con excelente equilibrio entre profundidad y accesibilidad. |
| Combinatoria Enumerativa, Volúmenes 1 y 2 Cambridge University Press | Richard P. Stanley | 2012, 1999 | Avanzado | La referencia definitiva avanzada sobre combinatoria enumerativa. |
| Combinatoria: Temas, Técnicas, Algoritmos Cambridge University Press | Peter J. Cameron | 1994 | Avanzado | Amplia encuesta de temas combinatorios con un sabor algorítmico. |
Teoría de Grafos
Teoría y aplicaciones de grafos.
| Libro | Autor | Año | Nivel | Descripción |
|---|---|---|---|---|
| Introducción a la Teoría de Grafos 2ª Edición, Pearson | Douglas B. West | 2001 | Intermedio-Avanzado | El libro de texto estándar de teoría de grafos con pruebas rigurosas y cobertura completa. |
| Teoría de Grafos 5ª Edición, Springer | Reinhard Diestel | 2017 | Avanzado | Texto de teoría de grafos a nivel de posgrado que cubre resultados clásicos y modernos. Disponible gratuitamente en línea a través del sitio web del autor. |
| Grafos y Digrafos 6ª Edición, CRC Press | Gary Chartrand, Linda Lesniak, Ping Zhang | 2015 | Intermedio | Libro de texto accesible de teoría de grafos con extensos ejemplos y ejercicios. |
Lógica y Prueba
Lógica matemática, técnicas de prueba y demostración de teoremas.
| Libro | Autor | Año | Nivel | Descripción |
|---|---|---|---|---|
| Cómo Probarlo 3ª Edición, Cambridge University Press | Daniel J. Velleman | 2019 | Principiante-Intermedio | La mejor introducción a la redacción de pruebas matemáticas. Esencial para estudiantes de CS que transitan a cursos teóricos. |
| Lógica Matemática 2ª Edición, Springer | H.-D. Ebbinghaus, J. Flum, W. Thomas | 1994 | Avanzado | Introducción rigurosa a la lógica matemática que incluye completitud y teoremas de Gödel. |
| Una Introducción Matemática a la Lógica 2ª Edición, Academic Press | Herbert B. Enderton | 2001 | Avanzado | Libro de texto estándar de lógica utilizado en departamentos de matemáticas. |
Teoría de Números y Aplicaciones
Teoría de números clásica y moderna con aplicaciones en CS.
| Libro | Autor | Año | Nivel | Descripción |
|---|---|---|---|---|
| Matemáticas Concretas 2ª Edición, Addison-Wesley | Ronald L. Graham, Donald E. Knuth, Oren Patashnik | 1994 | Avanzado | La mezcla única de Knuth de matemáticas continuas y discretas. Esencial para el análisis de algoritmos. |
| Una Introducción a la Teoría de Números 6ª Edición, Oxford | G.H. Hardy, E.M. Wright | 2008 | Avanzado | Texto clásico de teoría de números de dos de los grandes matemáticos del siglo XX. |
| Un Curso en Teoría de Números y Criptografía 2ª Edición, Springer | Neal Koblitz | 1994 | Avanzado | Teoría de números motivada por aplicaciones criptográficas, adecuada para estudiantes de CS. |