Métodos computacionales en álgebra para informáticos

Métodos computacionales en álgebra para informáticos is from the author García Muñoz, Miguel Ángel / Ordóñez Cañada, Carmen / Ruiz Ruiz, Juan Francisco and try

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 álgebra teórica a los estudios técnicos, utilizando métodos prácticos, sencillos y cercanos. Los contenidos expuestos en este manual se corresponden con los desarrollados en la asignatura de Matemática Discreta del Grado en Ingeniería Informática, en la Universidad de Jaén. Aunque están implementados en Mathematica 12, pueden ser trasladados fácilmente a otros lenguajes de programación. 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 Jaén. Although they are implemented in Mathematica 12, they can be easily translated into other programming languages.