Lógica para informática

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