Lógica para informática - Pons, Claudia Fabiana; Rosenfeld, Ricardo Fabián; Smith, Clara Patricia (La Plata : Edulp, 2017)
Prólogo / Gabriel Baum -- Introducción / Claudia Pons, Ricardo Rosenfeld y Clara Smith -- Capítulo 1. Lógica proposicional / Claudia Pons -- Introducción -- Sintaxis: el lenguaje simbólico de la lógica -- Semántica: interpretación y satisfacción -- Implicación lógica y equivalencia lógica -- Formas normales -- Conjuntos adecuados de conectivas -- Argumentaciones -- Mecanismos formales de razonamiento -- Sistema axiomático L -- Deducción natural -- Demostración -- Sensatez y completitud de un sistema deductivo -- Decidibilidad -- Limitaciones de la lógica proposicional -- Ejercicios -- Bibliografía -- Capítulo 2. Lógica de predicados / Claudia Pons -- Introducción -- Dominios -- Sintaxis: el lenguaje simbólico de la lógica -- Semántica: interpretación y satisfacción -- Mecanismos formales de razonamiento -- Sistema axiomático K -- Demostración -- Sensatez, completitud y decidibilidad de un sistema deductivo -- Sistemas de primer orden -- Ejercicios -- Bibliografía -- Capítulo 3. Lógica modal / Clara Smith -- Conceptos básicos -- Lógica deóntica -- Sistemas multiagente -- Ejercicios -- Bibliografía -- Capítulo 4. Lógica de programas / Ricardo Rosenfeld -- Introducción -- Lógica de programas de entrada/salida -- Programas secuenciales determinísticos -- Programas secuenciales no determinísticos -- Programas concurrentes -- Lógica de programas reactivos -- Lenguaje de programación -- Lenguaje de especificación -- Método de verificación -- Ejercicios -- Referencias y notas -- Incompletitud -- Incompletitud e indecibilidad -- Incompletitud y aleatoriedad -- Sensatez, completitud e interpretaciones -- Composicionalidad -- Composicionalidad con lógica temporal -- Lógicas temporales -- Lógicas LTL, CTL y CTL -- Model checking -- Bibliografía -- Los Autores
Copia impresa de libro digital
Keywords: LÓGICA; INFORMÁTICA; INTELIGENCIA ARTIFICIAL