TY - BOOK AU - Alberto,Malva AU - Schwer,Ingrid AU - Fumero,Yanina AU - Llop,Pamela AU - Chara,María TI - Matemática discreta SN - 9789872666514 PY - 2011/// CY - Buenos Aires PB - EdUTecNe KW - LOGICA MATEMATICA KW - Spines KW - TEORIA LOGICA KW - TEORIA DE GRAFOS N1 - Bibliografía: p. 601-603; CAPÍ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 ER -