000			04081nam a2200349 i 4500
001			1109
003			AR-RqUTN
008			240820s2011 d||||r|||| 001 0 spa d
020			_a9789872666514
040			_aAR-RqUTN _bspa _cAR-RqUTN
041		7	_aes _2ISO 639-1
080	0		_a519.1 _22000
245	1	0	_aMatemática discreta / _cMalva Alberto, Ingrid Schwer, Yanina Fumero, Pamela Llop, María Chara
260			_aBuenos Aires : _bEdUTecNe, _c2011
300			_a610 p. : _bfig. ; _c24 cm
336			_2rdacontent _atexto _btxt
337			_2rdamedia _asin mediación _bn
338			_2rdacarrier _avolumen _bnc
504			_aBibliografía: p. 601-603
505	0	0	_aCAPÍTULO 1: LÓGICA PROPOSICIONAL 1.1 Introducción 1.2 El lenguaje 1.3 Sintaxis 1.4 Semántica 1.5 Convenciones para simplificar la notación 1.6 redes de comunicación 1.7 Predicados. Relaciones y cuantificadores. Primer acercamiento d la LPO 1.8 Las expresiones relacionales en los algoritmos 1.9 Reglas de inferencia de la LPC 1.10 Lectura complementaria 1.11 Problemas complementarios 1.12 ejercicios de opción múltiple CAPÍTULO 2: TEORÍA DEL CONTEO 2.1 Introducción 2.2 Reglas de la suma y el producto 2.3 Cadenas de símbolos. Alfabetos 2.4 Permutaciones 2.5 Combinaciones 2.7 Otros problemas resueltos 2.8 Permutaciones generalizadas 2.9 Coeficientes binomiales 2.10 combinaciones con repetición 2.11 Lecturas complementarias 2.12 Problemas complementarios 2.13 Ejercicios de opción múltiple CAPÍTULO 3: TEORÍA DE NÚMEROS E INDUCCIÓN 3.1 Introducción 3.2 El anillo de los enteros 3.3 Divisibilidad y divisores 3.4 El máximo común divisor y el mínimo común múltiplo 3.5 Primos relativos. Teorema fundamental de la aritmética 3.6 Relaciones binarias en los enteros. La congruencia entera 3.7 Ecuaciones lineales en congruencias 3.8 Inducción 3.9 La inducción en los algoritmos 3.10 Lectura complementaria 3.11 Problemas complementarios 3.12 Ejercicios de opción múltiple CAPÍTULO 4: RELACIONES DE RECURRENCIA 4.1 Introducción 4.2 Sucesiones 4.3 Relaciones de recurrencia 4.4 Generación de números (pseudo) aleatorios 4.5 Lectura complementaria 4.6 Problemas complementarios 4.7 Ejercicios de opción múltiple CAPÍTULO 5: ESTRUCTURAS ALGEBRAICAS FINITAS 5.1 Introducción 5.2 Leyes de composición interna 5.3 Propiedades de una ley de composición interna 5.4 Estructuras algebraicas 5.5 Grupos 5.6 Grupos finitos 5.7 Homomorfismos de grupos 5.8 Subgrupos 5.9 Congruencias 5.10 Anillos 5.11 anillos finitos 5.12 Álgebras de Boole: definiciones y ejemplos 5.13 Propiedades y simplificaciones 5.14 Subálgebras booleanas y morfismos 5.15 Álgebras de Boole finitas 5.16 Funciones y expresiones booleanas 5.17 Lectura complementaria 5.18 Problemas complementarios 5.19 ejercicios de opción múltiple CAPÍTULO 6: DÍGRAFOS Y GRAFOS 6.1 Introducción 6.2 Primeros problemas y ejemplos 6.3 Dígrafos 6.4 Subdígrafos y dígrafos parciales 6.5 Relaciones binarias y dígrafos 6.6 Matrices y dígrafos 6.7 Grafos 6.8 Árboles 6.9 Árboles con raíz y definiciones recursivas 6.10 Árboles de refutación de una fórmula de la LPC 6.11 Lectura complementaria 6.12 Problemas complementarios 6.12 Ejercicios de opción múltiple CAPÍTULO 7: AUTÓMATAS FINITOS 7.1 Introducción 7.2 Máquinas de estados finitos 7.3 Autómatas finitos 7.4 Máquinas de estados finitos equivalentes 7.6 Ejercicios de opción múltiple CAPÍTULO 8: LÓGICA DE PRIMER ORDEN 8.1 Introducción 8.2 Sintaxis 8.3 Semántica 8.4 Problemas complementarios 8.5 Ejercicios de opción múltiple
650		7	_aLOGICA MATEMATICA _2Spines
650		7	_aTEORIA LOGICA _2Spines
650		7	_aTEORIA DE GRAFOS _2Spines
700	1		_aAlberto, Malva _q(Alberto de Toso, Malva)
700	1		_aSchwer, Ingrid _q(Schwer de Inglese, Ingrid)
700	1		_aFumero, Yanina
700	1		_aLlop, Pamela
700	1		_aChara, María
942			_cBK _2udc
999			_c1109 _d1109