Lógica para informática

Detalles Bibliográficos
Autor Principal: Pons, Claudia Fabiana
Otros autores o Colaboradores: Rosenfeld, Ricardo Fabián, Smith, Clara Patricia
Formato: Libro
Lengua:español
Datos de publicación: La Plata : Edulp, 2017
Series:Libros de Cátedra
Temas:
LÓGICA
INFORMÁTICA
INTELIGENCIA ARTIFICIAL
Acceso en línea:http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1414
Consultar en el Cátalogo
Notas:Copia impresa de libro digital
Descripción Física:164 p.
ISBN:9789503415108
Tabla de Contenidos:
  • 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

Ejemplares similares