INDICE. XVII Prólogo a la edición en español. XXI 1. Calculo proporcional 1.1. Argumentos y proporciones lógicas

Transcripción

1 INDICE Prologo XVII Prólogo a la edición en español XXI 1. Calculo proporcional 1.1. Argumentos y proporciones lógicas Introducción Algunos argumentos lógicos importantes Proposiciones Conexiones lógicas Introducción Negación Conjunción Disyunción Condicional Bicondicional Comentarios adicionales Proporciones compuestas Introducción Expresiones lógicas Analisis de proporciones compuestas Reglas de prioridad Evaluación de expresiones Ejemplos de proporciones compuestas Tautología y contradicciones Introducción Tautologías Tautología y razonamiento valido Contradicciones Tipos importantes de tautologías Equivalencias lógicas y su utilización Introducción Demostración de equivalencias lógicas mediantes tablas de verdad Algebra declarativa Eliminación de condicionales y biocondicionales Leyes para el álgebra declarativa Métodos abreviados para manipular expresiones Formas normales Tablas de verdad y formas normales disyuntivas Formas normales conjuntivas y complementación Implicaciones y derivaciones lógicas Introducción Implicaciones lógicas

2 Demostraciones de validez mediante tablas de verdad Demostraciones Sistemas para derivaciones El teorema de la deducción Calculo de predicados Componentes sintácticos del cálculo de predicados Introducción El universo de discurso Predicados Variables y particularizaciones (casos o ejemplares) Cuantificaciones Restricciones de los cuantificadores a ciertos grupos Interpretaciones y validez Introducción Interpretaciones Validez Expresiones no validas Demostración de la validez Derivaciones Introducción Particularización universal Generalización universal El teorema de la deducción y la generalización universal Eliminación de los cuantificadores universales Generalización existencial Particularización existencial Equivalencias lógicas Introducción Equivalencias lógicas básicas Otras equivalencias importantes Lógica de las ecuaciones Introducción Igualdad Igualdad y unicidad Funciones y lógica de ecuaciones Composición de funciones Propiedades de los operadores Elementos nulo e identidad Las derivaciones en la lógica de ecuaciones La lógica de ecuaciones en la práctica Algebra de Boole Inducción y recursividad La inducción en números naturales Introducción Los números naturales

3 Inducción matemática La inducción para demostrar propiedades de la suma Modificación de la base inductiva Inducción fuerte Sumas y construcciones relacionadas Introducción Definiciones recursivas de sumas y productos Identidades que implican sumas Sumas dobles y matrices Demostración por recursividad Introducción Definiciones recursivas Sucesiones descendentes El principio de demostraciones por recursividad Inducción estructural Aplicaciones de la recursividad a la programación Introducción La Programacion como composición de funciones La recursividad en los programas Programas que implican arboles Funciones recursivas Introducción Funciones recursivas primitivas Programacion y recursividad primitiva Minimalización Prolog Prolog basic Introducción Hechos, reglas y consultas Derivaciones que implican hechos Derivaciones que implican reglas Particularizaciones y unificación Retroceso (backtracking) Resolución Ejecución y depuración de programas Introducción Compiladores e intérpretes de Prolog Consulta de una base de datos Depuración y seguimiento Características adicionales de Prolog Introducción Entrada y salida Estructuras Notación infija Aritmética

4 Predicados de igualdad Recursividad Introducción Predicados recursivos Terminación Bucles y Prolog Listas Predicados recursivos que contienen listas Refinamiento sucesivo Negación en Prolog Introducción Prolog como lenguaje lógico La negación como fracaso Utilización del orden de clausulas Cortes Aplicación de Prolog a la lógica Introducción Las listas como expresiones lógicas Representación de expresiones lógicas como estructuras Conjuntos y relaciones 5.1. Conjuntos y operaciones de conjuntos Introducción Los conjuntos y sus miembros Subconjuntos Intersecciones Uniones Diferencias y complementos Expresiones que involucran conjuntos Tuplas, sucesiones y conjuntos potencia Introducción Tuplas y productos cartesianos Sucesiones y cadenas Conjuntos potencia Tipos y signaturas Relaciones Introducción Relaciones y su representación Dominios y rangos Algunas operaciones de relaciones Composición de relaciones Ejemplos Propiedades de las relaciones Introducción Relaciones sobre un conjunto Relaciones reflexivas

5 Relaciones simétricas Transitividad Cierres Relaciones de equivalencia Ordenes parciales Funciones 6.1. Representaciones y manipulaciones que involucran funciones Introducción Definiciones y notación Representaciones de funciones La notación lambda Restricciones y sobrecarga Composición de funciones Inyecciones, sobreinyecciones (o epiyecciones) e inversas Creación de inversas mediante creación de tipos Enumeraciones, isomorfismos y homomorfismos Introducción Enumeraciones Conjuntos contables e incontables Permutaciones y combinaciones Isomorfismos y homomorfismos Complejidad computacional Introducción Polinomios y algoritmos de tiempo polinómico Funciones y algoritmos relacionados con las exponenciales Los límites de la computabilidad Analisis asintótico Divide y vencerás Polinomios no determinantes Relaciones de recurrencia Introducción Relaciones de recurrencia homogéneas Ecuaciones de recurrencia no homogéneas Miranda Introducción El nivel de ordenes Definiciones de función Tipos, funciones y declaraciones Reconocimiento de patrones y reescritura Un problema de programación Grafos y arboles Introducción y ejemplos de modelado de gafos Definiciones básicas de la teoría de grafos Caminos, accesibilidad y conexiones Calculo de caminos a partir de un representación matricial de

6 los grafos 7.5. Recorrido de grafos representados como listas de adyacencia Introducción Representación de grafos mediante listas de adyacencia Búsqueda en amplitud Búsqueda en profundidad El algoritmo de Dijkstra para la búsqueda de caminos mínimos Árboles y árboles de expansión Introducción Arboles libres Arboles de expansión Arboles de expansión mínimos Redes de planificación Introducción un modelo de administración de proyectos Ordenación topológica Especificación formal de requisitos en Z 8.1. Introducción El ciclo vital del software La necesidad de las especificaciones formales Introducción a Z Introducción Alfabeto y elementos léxicos Tipos y declaraciones Especificaciones de un sistema mediante lógica y conjuntos Esquemas Relaciones Funciones Sucesiones Verificación de programas Conceptos preliminares Introducción Programas y códigos Aserciones (asertos) Corrección Reglas generales relativas a las precondiciones y postcondiciones Introducción Reforzamiento de precondiciones Debilitamiento de postcondiciones Reglas de conjunción y disyunción Verificacion de códigos sin bucles Introducción Sentencias de asignación

7 Concatenación de código La sentencia if Bucles y arrays Introducción Una regla while preliminar La regla while general Arrays Terminación del programa Gramáticas, lenguajes y análisis sintácticos Lenguajes y gramáticas Introducción Tratamiento de las gramáticas Definición formal de un lenguaje Nociones de análisis sintáctico Gramáticas ambiguas Gramáticas reducidas Analisis intactico descendente Introducción Estrategia general de análisis sintáctico descendente Analisis intactico descendente determinista con gramáticas LL(1) Derivaciones Derivaciones en calculo proporcional Introducción Conceptos básicos de la derivación natural Implementación del teorema de la deducción Resolución Algunos resultados del cálculo de predicados Introducción Complementos Derivaciones en el cálculo de predicados Introducción Derivaciones canónicas Cuantificadores en la deducción natural Sustitución de cuantificadores por funciones y variables libres Resolución en el cálculo de predicados Una panorámica de los sistemas de bases de datos relacionales Conceptos básicos Introducción Definiciones y conceptos Ejemplo introductorio de una base de datos relacional Panorámica de un sistema de base de datos El modelo de datos relacional Introducción Panorámica de la estructura relacional Las relaciones y sus esquemas

8 Representación de las relaciones en el modelo lineal Reglas de integridad Algebra relacional Introducción Operaciones básicas Operaciones relacionales adicionales Ejemplos Cálculo relacional Introducción Calculo de Tuplas Ejemplos El lenguaje de consulta estructurado (SQL) Introducción Definición de datos Administración de datos Consultas de datos Comentarios finales 608 Bibliografía 611 Soluciones a los problemas pares 613 Índice analítico 687