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.

Tremblay, Jean-Paul 1996 1996