Métodos computacionales en álgebra para informáticos : matemáticas discreta y lógica

El entorno del trabajo: mathematica.-- Aritmética básica. variables y funciones.-- Listas: tablas, matrices y vectores.-- Programación en mathematicas.-- Lógica proposicional I conectivas y tablas de verdad.-- Lógica proposicional II. Tautologías, contradicciones, formas normales, conjuntos adecuados de conectivas, equivalencias e implicaciones lógicas y argumentaciones.-- Conjuntos y aplicaciones.-- Relaciones binarias y conjuntos ordenados.-- Retículos y álgebras de Boole finitas.-- Funciones booleanas.-- Números enteros I Divisibilidad.-- Números enteros II congruencias y sistemas de numeración.-- El anillo de polinomios divisibilidad

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. EDITORIAL UJA. Disponible en: https://editorial.ujaen.es/libro/metodos-computacionales-en-algebra-para-informaticos_115691/