Descripción del título

Monografía
monografia Rebiun21803205 https://catalogo.rebiun.org/rebiun/record/Rebiun21803205 m o d | cr#-n--------- 131106s2012 sp ob 001 e spa d 9788429191417 UPVA 998359443003706 UAM 991008002030104211 UPM 991005876533704212 CBUC 991005059076906711 MiAaPQ eng rda pn MiAaPQ MiAaPQ Ferrando, J. C. Matématica discreta J.C. Ferrando, V. Gregori 2ª ed Barcelona Editorial Reverté 2012 Barcelona Barcelona Editorial Reverté 1 online resource (329 p.) 1 online resource (329 p.) Contiene índice Contiene bibliografía MATEMÁTICA DISCRETA ; PÁGINA LEGAL; ÍNDICE ANALÍTICO; PREFACIO A LA SEGUNDA EDICIÓN; PREFACIO A LA PRIMERA EDICIÓN; SÍMBOLOS Y NOTACIÓN; 1 INTRODUCCIÓN A LA LÓGICA; 1.1 CÁLCULO PROPOSICIONAL; 1.2 INFERENCIA LÓGICA; 1.3 FUNCIONES PROPOSICIONALES Y CUANTIFICADORES; EJERCICIOS RESUELTOS; 2 TEORÍA DE CONJUNTOS; 2.1 CONJUNTOS; 2.2 CORRESPONDENCIAS Y RELACIONES; 2.4 RELACIÓN BINARIA DE ORDEN; 2.5 APLICACIONES; 2.6 CARDINALIDAD; 2.7 NOTAS Y COMENTARIOS GENERALES; EJERCICIOS RESUELTOS; 3 LEYES DE COMPOSICIÓN INTERNA : GRUPOS, ANILLOS Y CUERPOS.; 3.1 GRUPOS; 3.2 COMPATIBILIDAD CON UNA RELACIÓN 3.3 SUBGRUPOS3.4 TEOREMA DE LAGRANGE. GRUPO COCIENTE; 3.5 GRUPOS MONÓGENOS Y CÍCLICOS; 3.6 TEOREMAS DE EULER Y FERMAT; 3.7 HOMOMORFISMO DE GRUPOS; 3.8 ANILLOS; 3.9 CUERPOS; EJERCICIOS RESUELTOS; 4 ÁLGEBRAS DE BOOLE 1; 4.1 ÁLGEBRAS DE BOOLE; 4.2 RETÍCULOS DE BOOLE; 4.3 FUNCIONES BOOLEANAS; 4.4 SIMPLIFICACIÓN DE FUNCIONES BOOLEANAS; EJERCICIOS RESUELTOS; 5 MÉTODOS COMBINATORIOS, RECURSIVIDAD Y GRAFOS; 5.1 COMBINACIONES; 5.2 VARIACIONES Y PERMUTACIONES; 5.3 VARIACIONES Y PERMUTACIONES CON REPETICIÓN; 5.4 PARTICIONES DE UN CONJUNTO FINITO. PARTICIONES ORDENADAS; 5.5 FUNCIONES RECURSIVAS 5.6 GRAFOS EULERIANOS5.7 GRAFOS COLOREADOS; 5.8 NOTAS Y COMENTARIOS; EJERCICIOS RESUELTOS; 6 MÁQUINAS Y AUTÓMATAS FINITOS *; 6.1 LENGUAJES FORMALES; 6.2 MÁQUINAS SECUENCIALES FINITAS; 6.3 EXTENSIÓN A PALABRAS DE LA ENTRADA Y LA SALIDA; 6.4 ESTADOS EQUIVALENTES; 6.5 MINIMIZACIÓN DE MÁQUINAS SECUENCIALES; 6.6 AUTÓMATAS FINITOS; 6.7 ACCIÓN DE UNA MÁQUINA SECUENCIAL; 6.8 TEOREMA DE EXISTENCIA; 6.9 NOTAS Y COMENTARIOS; EJERCICIOS RESUELTOS; 7 TEORÍA DE RAMSEY; 7.1 CONJUNTOS DE CONOCIDOS Y EXTRAÑOS EN UNA REUNIÓN; 7.2 NÚMEROS DE RAMSEY; 7.3 EL TEOREMA DE RAMSEY EN EL CASO INFINITO 7.4 TEOREMAS DE RAMSEY DE TIPO EUCLÍDEO7.5 EL TEOREMA DE VAN DER WAERDEN; 7.6 NOTA FINAL; EJERCICIOS RESUELTOS; 8 CONJUNTOS BORROSOS, CÓDIGOS LINEALES Y MÁQUINAS DE TURING; 8.1 CONJUNTOS BORROSOS; 8.2 CÓDIGOS LINEALES; 8.3 MÁQUINAS DE TURING; EJERCICIOS RESUELTOS; APÉNDICE LÓGICA DE PREDICADOS Y SISTEMAS FORMALES; A.1 INTRODUCCIÓN; A.2 FUNCIONES PROPOSICIONALES Y PREDICADOS; A.3 FÓRMULAS BIEN FORMADAS; A.4 REGLAS DE INFERENCIA; A.5 SISTEMAS FORMALES; A.6. UNA NOTA SOBRE EL TEOREMA DE INCOMPLETITUD DE GÖDEL; BIBLIOGRAFÍA; ÍNDICE ALFABÉTICO Gregori Gregori, Valentín Ingebook (Servicio en línea) 84-291-5179-6