Miguel Ángel García Muñoz

La lógica y la matemática discreta son herramientas básicas de trabajo para cualquier informático. En las Ciencias de la Computación, estos instrumentos, puramente matemáticos, son indispensables y se usan profusamente. Es indudable la necesidad de acercar el algebra teorica a los estudios tecnicos, utilizando metodos practicos, sencillos y cercanos. Los contenidos expuestos en este manual se corresponden con los desarrollados en la asignatura de Matematica Discreta del Grado en Ingenieria Informatica, en la Universidad de Jaen. Aunque estan implementados en Mathematica 12, pueden ser trasladados facilmente a otros lenguajes de programacion. Logic and discrete mathematics are basic work tools for any computer scientist. Within Computer Science, these instruments, purely mathematical, are essential and widely used. Undoubtedly, there is the need of bringing theoretical algebra closer to technical studies, using, for doing so, practical, simple and close methods. The contents presented in this manual correspond to those developed in the subject called Discrete Mathematics that belongs to the Degree in Computer Engineering, at the University of Jaen. Although they are implemented in Mathematica 12, they can be easily translated into other programming languages.

La Matemática Discreta es la parte de la matemática encargada del estudio de los conjuntos discretos: colecciones numerables de elementos finitos o infinitos. Constituye una herramienta matemática orientada a la modelizacion de fenomenos discretos y proporciona fundamentos teoricos y practicos para distintas areas de la informatica. Esta obra recopila una completa coleccion de problemas de examen resueltos, junto a ellos se desarrollan los conocimientos teoricos y los problemas tipo necesarios para su correcta comprension