Este libro se dise?o para un curso de introducci?n a las matem?ticas discretas. La exposici?n es clara y adecuada, adem?s de que contiene abundantes ejercicios. Esta edici?n, igual que las anteriores, incluye temas como algoritmos, combinatoria, conjuntos, funciones e inducci?n matem?tica. Tambi?n toma en cuenta la comprensi?n y cosntrucci?n de pruebas y, en general, el reforzamiento matem?tico. Cambios de la sexta edici?n: * El primer cap?tulo de l?gica y demostraciones se ampli? en forma considerable. Se agregaron ejemplos de l?gica en lenguajes de programaci?n. * Ahora se presentan varios ejemplos de algoritmos antes de llegar a la notaci?n de O may?scula. * Un nuevo cap?tulo de introducci?n a la teor?a de n?meros. Este cap?tulo incluye resultados cl?sicos (como la divisibilidad, la infinitud de los primos, el teorema fundamental de la aritm?tica), as? como los algoritmos de teor?a de n?meros. * Nueva secci?n de sugerencias para resolver problemas. * Nuevas secciones de soluci?n de problemas para funciones y teor?a de n?meros. * El estilo del seudoc?digo se ha actualizado del tipo Pascal al tipo Java. * El n?mero de ejemplos resueltos aument? a cerca de 600 y el n?mero de ejercicios aument? a 4000.
Cap?tulo 1. L?gica y demostraciones Cap?tulo 2. El lenguaje de las matem?ticas Cap?tulo 3. Relaciones Cap?tulo 4. Algoritmos Cap?tulo 5. Introducci?n a la teor?a de n?meros Cap?tulo 6. M?todos de conteo y el principio del palomar Cap?tulo 7. Relaciones de recurrencia Cap?tulo 8. Teor?a de gr?ficas Cap?tulo 9. Arboles Cap?tulo 10. Modelos de redes Cap?tulo 11. Algebras booleanas y circuitos combinatorios Cap?tulo 12. Aut?matas, gram?ticas y lenguajes Cap?tulo 13. Geometr?a para c?lculo
Ap?ndice A. Matrices Ap?ndice B. Repaso de ?lgebra Ap?ndice C. Seudoc?digo Sugerencias y soluciones para ejercicios seleccionados