TY  - GEN
AU  - Ordóñez Cañada,Carmen
AU  - Ruiz Ruiz,Juan F.
AU  - García Muñoz,Miguel A.
TI  - Métodos computacionales en álgebra para informáticos : : matemática discreta y lógica 
T2  - Ingeniería y Tecnología. Techné ; 
SN  - 9788491593522
U1  - 512 
PY  - 2020///
CY  - Jaén : 
PB  - Editorial Universidad de Jaén , 
KW  - Álgebra
KW  - Problemas, ejercicios, etc
KW  - Lógica algebraica
KW  - Ciencia de la computación
KW  - Matemáticas
KW  - Aritmética
KW  - Conjuntos ordenados
KW  - Números naturales
KW  - Anillos (Álgebra)
KW  - Ingeniería civil
N1  - Incluye índice.; Bibliografía : páginas 351-353; CAPÍTULO 1; EL ENTORNO DE TRABAJO: MATHEMATICA.; CAPÍTULO 2; ARITMÉTICA BÁSICA. VARIABLES Y FUNCIONES.; CAPÍTULO 3; LISTAS: TABLAS, MATRICES Y VECTORES.; CAPÍTULO 4; PROGRAMACIÓN EN MATHEMATICA.; CAPÍTULO 5; LÓGICA PROPOSICIONAL I CONECTIVAS Y TABLAS DE VERDAD.; CAPÍTULO 6; LÓGICA PROPOSICIONAL II TAUTOLOGÍAS, CONTRADICCIONES, FORMAS NORMALES, CONJUNTOS ADECUADOS DE CONECTIVAS, EQUIVALENCIAS E IMPLICACIONES LÓGICAS Y ARGUMENTACIONES.; CAPÍTULO 7; CONJUNTOS Y APLICACIONES.; CAPÍTULO 8; RELACIONES BINARIAS Y CONJUNTOS ORDENADOS.; CAPÍTULO 9; RETÍCULOS Y ÁLGEBRAS DE BOOLE FINITAS.; CAPÍTULO 10; FUNCIONES BOOLEANAS.; CAPÍTULO 11; NÚMEROS ENTEROS I DIVISIBILIDAD.; CAPÍTULO 12; NÚMEROS ENTEROS II CONGRUENCIAS Y SISTEMAS DE NUMERACIÓN.; CAPÍTULO 13; EL ANILLO DE POLINOMIOS.
ER  -