000			03523nam a2200361 i 4500
001			1117
003			AR-RqUTN
008			240820s2004 ad|||r|||| 001 0 spa d
020			_a8448140737
040			_aAR-RqUTN _bspa _cAR-RqUTN
041		7	_aes _2ISO 639-1
080	0		_a519.1 _22000
100	1		_aRosen, Kenneth H.
245	1	0	_aMatemática discreta y sus aplicaciones / _cKenneth H. Rosen
250			_a5a ed.
260			_aMadrid : _bMcGraw-Hill, _c2004
300			_axxii, 860 p. : _bil., fig. tablas ; _c27 cm
336			_2rdacontent _atexto _btxt
337			_2rdamedia _asin mediación _bn
338			_2rdacarrier _avolumen _bnc
500			_aIncluye índice alfabético
505	0	0	_a1. LOS FUNDAMENTOS: LOGICA Y DEMOSTRACION, CONJUNTOS Y FUNCIONES 1.1 Lógica 1.2 Equivalencias proporcionales 1.3 Predicados y cuantificadores 1.4 Cuantificadores anidados 1.5 Métodos de demostración 1.6 Conjuntos 1.7 Operaciones con conjuntos 1.8 Funciones 2. LOS FUNDAMENTOS: ALGORITMOS, NUMEROS ENTEROS Y MATRICES 2.1 Algoritmos 2.2 Crecimiento de funciones 2.3 Complejidad de algoritmos 2.4 Enteros y división 2.5 Enteros y algoritmos 2.6 Aplicaciones de la teoría de números 2.7 Matrices 3. RAZONAMIENTO MATEMATICO, INDUCCION Y RECURSIVIDAD 3.1 Estrategias de demostración 3.2 Sucesiones y sumatorios 3.3 Inducción matemática 3.4 Definiciones recursivas e inducción estructural 3.5 Algoritmos recursivos 3.6 Verificación de programas 4. RECUENTO 4.1 Fundamentos de combinatoria 4.2 Principios de palomar 4.3 Permutaciones y combinaciones 4.4Coeficientes binomiales 4.5 Permutaciones y combinaciones generalizadas 4.6 Generación de permutaciones y combinaciones 5. PROBABILIDAD DISCRETA 5.1 Una introducción a la probabilidad discreta 5.2 Teoría de la probabilidad 5.3 Valor esperado y varianza 6. TECNICAS AVANZADAS DE RECUERDO 6.1 Relaciones de recurrencia 6.2 Resolución de relaciones de recurrencia 6.3 Algoritmos de divide y vencerás y relaciones de recurrencia 6.4 Funciones generatrices 6.5 Principio de inclusión-exclusión 6.6 Aplicaciones del principio de inclusión-exclusión 7. RELACIONES 7.1 Relaciones y sus propiedades 7.2 Relaciones n-arias y sus aplicaciones 7.3 Representación de relaciones 7.4 Cierre de relaciones 7.5 Relaciones de equivalencia 7.6 Ordenes parciales 8. GRAFOS 8.1 Introducción a los grafos 8.2 Terminología en teoría de grafos 8.3 Representación de grafos e isomorfismo de grafos 8.4 Conexión 8.5 Caminos eurelianos y hamiltonianos 8.6 Caminos de longitud mínima 8.7 Grafos planos 8.8 Coloreado de grafos 9. ÁRBOLES 9.1 Introducción a los árboles 9.2 Aplicaciones de los árboles 9.3 Recorridos en árboles 9.4 Arboles generadores 9.5 Árbol generador mínimo 10. ALGEBRA DE BOOLE 10.1 Funciones booleanas 10.2 Representación de funciones booleanas 10.3 Puertas lógicas 10.4 Minimización de circuitos 11. MODELOS DE COMPUTACION 11.1 Lenguajes y gramáticas 11.2 Máquinas de estado finito con salida 11.3 Máquinas de estado finito sin salida 11.4 Reconocimiento de lenguajes 11.5 Máquinas de Turing APÉNDICES A-1. Funciones exponencial y logarítmica A-2. Pseudocódigo
650		7	_aLOGICA MATEMATICA _2Spines
650		7	_aALGORITMOS _2Spines
650		7	_aTEORIA LOGICA _2Spines
650		7	_aTEORIA DE LAS PROBABILIDADES _2Spines
650		7	_aTEORIA DE GRAFOS _2Spines
650		7	_aARBOLES (MATEMATICAS) _2
650		7	_aALGEBRA DE BOOLE _2
942			_cBK _2udc
999			_c1117 _d1117