Lógica para informática

Título:

Lógica para informática

Autor:

Pons, Claudia Fabiana

Colaboradores:

Rosenfeld, Ricardo FabiánSmith, Clara Patricia

Temas:

LÓGICA ; INFORMÁTICA ; 

Medio:

Impreso en papel

URL/DOI:

http://sedici.unlp.edu.ar/handle/10915/61426

Serie:

Libros de Cátedra

Extensión:

164 p.

ISBN:

9789503415108

Idioma:

Español

Publicación:

La Plata : Edulp, 2017

Puede solicitar más fácilmente el ejemplar con: F.4.1 PON

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