000			02790nam a2200253Ia 4500
001			11448
003			SV-SsUGB
008			180402s2004||||es |||||||||||||| ||spa||
020			_a8448140737
040			_aUGB
041	0		_aspa
082	4		_a511.3 _bR674
100	1		_aRosen, Kenneth H _eAutor
245	1	0	_aMatemática Discreta y sus aplicaciones / _cKenneth H Rosen
250			_a5a. ed.
260			_aMadrid _bMcGraw-Hill Interamerica de España _c2004
300			_a860 p.
520			_aLOS FUNDAMENTOS: LOGICA Y DEMOSTRACION, CONJUNTOS Y FUNCIONES. Lógica. Equivalencias proporcionales. Predicados y cuantificadores. Cuantificadores anidados. Métodos de demostración. Conjuntos. Operaciones con conjuntos. Funciones. LOS FUNDAMENTOS: ALGORITMOS, NUMEROS ENTEROS Y MATRICES. Algoritmos. Crecimiento de funciones. Complejidad de algoritmos. Enteros y división. Enteros y algoritmos, Aplicaciones de la teoría de números. Matrices. RAZONAMIENTO MATEMATICO, INDUCCION Y RECURSIVIDAD. Estrategias de demostración. Sucesiones y sumatorios. Inducción matemática. Definiciones recursivas e inducción estructural. Algoritmos recursivos. Verificación de programas. RECUENTO. Fundamentos de combinatoria. Principios de palomar. Permutaciones y combinaciones. Coeficientes binomiales. Permutaciones y combinaciones generalizadas. Generación de permutaciones y combinaciones. PROBABILIDAD DISCRETA. Una introducción a la probabilidad discreta. Teoría de la probabilidad. Valor esperado y varianza. TECNICAS AVANZADAS DE RECUERDO. Relaciones de recurrencia. Resolución de relaciones de recurrencia. Algoritmos de divide y vencerás y relaciones de recurrencia. Funciones generatrices. Principio de inclusión-exclusión. Aplicaciones del principio de inclusión-exclusión. RELACIONES. Relaciones y sus propiedades. Relaciones n-arias y sus aplicaciones. Representación de relaciones. Cierre de relaciones. Relaciones de equivalencia. Ordenes parciales. GRAFOS. Introducción a los grafos. Terminología en teoría de grafos. Representación de grafos e isomorfismo de grafos. Conexión. Caminos eurelianos y hamiltonianos. Caminos de longitud mínima. Grafos planos. Coloreado de grafos. ARBOLES. Introducción a los árboles. Aplicaciones de los árboles. Recorridos en árboles. Arboles generadores. Arbol generador mínimo. ALGEBRA DE BOOLE. Funciones booleanas. Representación de funciones booleanas. Puertas lógicas. Minimización de circuitos. MODELOS DE COMPUTACION. Lenguajes y gramáticas. Máquinas de estado finito con salida. Máquinas de estado finito sin salida. Reconocimiento de lenguajes. Máquinas de Turing
542	1		_aRosen, Kenneth H _g2004 _i2004
650	4		_aMATEMATICAS
650	4		_xLOGICA MATEMATICA
700	1		_aRosen, Kenneth H
942			_cBK
999			_c7829 _d7829