Matématica discreta / J.C. Ferrando, V. Gregori.

Format:

Book

Author/Creator:

Ferrando, J.C.

Contributor:

Gregori Gregori, Valentín.

Ingebook (Servicio en línea)

Language:

Spanish

Subjects (All):

Matemáticas.

Mathematics.

Local Subjects:

Matemáticas.

Physical Description:

1 online resource (329 p.)

Edition:

2ª ed.

Place of Publication:

Barcelona : Editorial Reverté, 2012.

Summary:

La obra presenta novedades importantes respecto al tratamiento clásico del tema. Así, en el capítulo cinco, además de los métodos combinatorios clásicos, los Grafos eulerianos y los Grafos coloreados, se presenta una introducción a la teoría de las funciones recursivas, funciones que tienen gran importancia en Computación. En el capítulo seis hay una introducción rigurosa al estudio de las máquinas y autómatas finitos, de importancia hoy en Informática Teórica y Computación. En el capítulo siete se desarrolla con cierta extensión la teoría de Ramsey, que puede considerarse una de las partes más interesantes del análisis combinatorio no elemental y que tiene aplicaciones en la teoría de grafos coloreados.

Contents:

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

Notes:

Contiene índice.

Contiene bibliografía.

Description based on publisher supplied metadata and other sources.

ISBN:

9781283860093

1283860090

9788429191417

8429191410

OCLC:

924624435