Lógica y matemáticas discretas en la informática. El estilo calculatorio / Jaime Alejandro Bohórquez Villamizar

Factura Limerin

I. Fundamentos del lenguaje matematico: 1.- Introduccion 2.- Sintaxis: - Analisis sintactico - Expresiones matematicas -Sustitucion textual 3.- Sistemas formales: - Contexto - Sistemas logicos formales - Logica de igualdad 4.- Logica proposicional: - Expresiones booleanas -Sistema deductivo - Calculo de deduccion ecuacional 5.- Semantica de la logica proposicional: - Validez - Completitud 6.- Extensiones y afinamiento del calculo: - Reglas derivadas adicionales - Extension del formato de prueba - Metateorema de la deduccion - Metodos de prueba inspirados en teoremas - Operador de clausura universal II. Logica de predicados y operatorias:- 7.- Caculo de predicados: - Lenguaje de la logica de predicados - Axiomas y reglas de la logica de predicados - Propiedades de la cuantificacion universal - Propiedades de la cuantificacion existencial 8.- La logica como lenguaje para modelar: - Simbolizacion en la logica proposicional - Simbolizacion en la logica de predicados 9.- Operatorias: - Sintaxis - Sistema axiomatico 10.- Teoria de sucesiones: - Tipos como distintivos sintacticos - Teoria del tipo suc T. 11.- Una teoria de la programacion III. Conjuntos, relaciones y funciones 12.- Teoria de conjuntos 13.- Conceptos de relacion y funcion 14.- Cardinalidad e induccion sobre conjuntos IV. Aritmetica y combinatoria 15.- Aritmetica aditiva 16.- Aritmetica multiplicativa 17.- Analisis combinatorio V. Teoria de relaciones: 18.- Relaciones matematicas 19.- Induccion estructural

Sistemas de la Información

JT