000			02425 a2200589 4500
001			89194
005			20230630142740.0
007			ta
008			230614e2020 sp a|||gr|||| 001 0 spa d
020			_a9788491593522
035			_a89194
040			_aCL-TeUF _bspa _cCL-TeU _erda
041			_aEspañol
082	0	4	_a512 _bO656m 2020
100	1		_aOrdóñez Cañada, Carmen
245	1	0	_aMétodos computacionales en álgebra para informáticos : _bmatemática discreta y lógica / _cCarmen Ordóñez Cañada, Juan F. Ruiz Ruiz, Miguel A. García Muñoz.
250			_a2a edición.
264			_aJaén : _bEditorial Universidad de Jaén , _c2020.
300			_a360 páginas.
336			_2rdaconctent _atext _btxt
337			_2rdamedia _aunmediated _bn
338			_ardacarrier _bvolume _cnc
349			_aLibro
490			_aIngeniería y Tecnología. Techné ; _vno. 48
500			_aIncluye índice.
504			_aBibliografía : páginas 351-353
505			_aCAPÍTULO 1. _tEL ENTORNO DE TRABAJO: MATHEMATICA.
505			_aCAPÍTULO 2. _tARITMÉTICA BÁSICA. VARIABLES Y FUNCIONES.
505			_aCAPÍTULO 3. _tLISTAS: TABLAS, MATRICES Y VECTORES.
505			_aCAPÍTULO 4. _tPROGRAMACIÓN EN MATHEMATICA.
505			_aCAPÍTULO 5. _tLÓGICA PROPOSICIONAL I CONECTIVAS Y TABLAS DE VERDAD.
505			_aCAPÍTULO 6. _tLÓGICA PROPOSICIONAL II TAUTOLOGÍAS, CONTRADICCIONES, FORMAS NORMALES, CONJUNTOS ADECUADOS DE CONECTIVAS, EQUIVALENCIAS E IMPLICACIONES LÓGICAS Y ARGUMENTACIONES.
505			_aCAPÍTULO 7. _tCONJUNTOS Y APLICACIONES.
505			_aCAPÍTULO 8. _tRELACIONES BINARIAS Y CONJUNTOS ORDENADOS.
505			_aCAPÍTULO 9. _tRETÍCULOS Y ÁLGEBRAS DE BOOLE FINITAS.
505			_aCAPÍTULO 10. _tFUNCIONES BOOLEANAS.
505			_aCAPÍTULO 11. _tNÚMEROS ENTEROS I DIVISIBILIDAD.
505			_aCAPÍTULO 12. _tNÚMEROS ENTEROS II CONGRUENCIAS Y SISTEMAS DE NUMERACIÓN.
505			_aCAPÍTULO 13. _tEL ANILLO DE POLINOMIOS.
650	0	4	_aÁlgebra _xProblemas, ejercicios, etc
650	0	4	_aLógica algebraica
650	0	4	_aCiencia de la computación _xMatemáticas
650	0	4	_aAritmética
650	0	4	_aConjuntos ordenados
650	0	4	_aNúmeros naturales
650	0	4	_aAnillos (Álgebra)
650	0	4	_aMatemáticas
650	0	4	_aIngeniería civil
700	1		_aRuiz Ruiz, Juan F.
700	1		_aGarcía Muñoz, Miguel A.
942			_cLIB _2ddc
999			_c89194 _d89194