Matemáticas discretas : con aplicación a las ciencias de la computación /
Jean-Paul Tremblay, Ram Manohar
- 1a. ed.
- México, D.F. Compañía Editorial Contimental 1996
- 597 p.
Título original: Discrete mathematical structurees with applications to computer science. Incluye Bibliografías e Indice
LOGICA MATEMATICA. Enunciados y notación; Conectivas; Formas normales. LA TEORÍA DE LA INFERENCIA PARA EL CÁLCULO DE ENUNCIADOS. El cálculo de predicados; Teorías de la inferencia del cálculo de predicados; Teoría de conjuntos. CONCEPTOS BÁSICOS DE LA TEORÍA DE CONJUNTOS. Representación de estructuras discretas; Relaciones y orden; Funciones; Números naturales. RECURSIÓN. Recursión en la prueba mecánica de teoremas; Estructuras algebraicas; Sistemas algebraicos: ejemplos y propiedades generales. SEMIGRUPOS Y MONOIDES. Gramáticas y lenguajes; Expresiones en notación polaca y su compilación; Grupos. LA APLICACIÓN DE LA ARITMÉTICA DE RESIDUOS A LAS COMPUTADORAS. Código de grupo; Retícula y algebra booleana; Retículas como conjuntos parcialmente ordenados. ALGEBRA BOOLEANA. Funciones booleanas. Representación y minimización de funciones booleanas; Máquinas de estado finito. TEORÍA DE GRAFICAS. Conceptos básicos de la teoría de gráficas; Representación y manipulación de las gráficas en la memoria; Gramáticas de precedencia simple. DETECCIÓN DE FALLAS EN CIRCUITOS COMBÍNALES DE CONMUTACIÓN. Introducción a la teoría de computabilidad; Aceptadores de estado finito y gramática regulares; Las máquinas de Turing y las funciones parcialmente recursivas.