Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y prolog / Luis De Ledesma - Universidad de San Buenaventura

Título

Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y prolog / Luis De LedesmaLibro / Impreso - Libros

Autor(es)

Ledesma, Luis de (Autor)

Publicación

México D.F. : Alfaomega / Ra-Ma, c2010

Descripción Física

177 p. ; rústica

Español;

Series

Computación (Programación)

ISBN

9786077854333

Clasificación(es)

005.1
INGENIERIA DE SISTEMAS

Materia(s)

Logica de computadores; Computación; Programación (computadores electrónicos); Prolog; Programación lógica;

Nota(s)

CONTENIDO: TEORÍAS DE PRIMER ORDEN
Lenguajes de primer orden
El sistema formal teorías de primer orden
Meta teoremas. Reglas y teoremas derivados
EL CÁLCULO DE TABLAS ANALÍTICAS
Definiciones y utilización
Aplicación
SEMÁNTICA
Estructuras
Significado de expresiones
Validez
COMPLETUD, CONSISTENCIA Y DECIDIBILIDAD
LA LÓGICA DE PROPOSICIONES
Sintaxis
Semántica
Cláusulas de Horn
RESOLUCIÓN
REDUCCIÓN A UN CONJUNTO DE CLÁUSULAS
Formas Prenex
Formas de Skolem
Supresión de cuantificadores universales
LÓGICA PARA LA COMPUTACIÓN © RA-MA
Reducción a un conjunto de cláusulas
UNIFICACIÓN
RESOLUCIÓN Y TEORÍA DE HERBRAND
Principio de resolución
Corrección
Teoría de Herbrand
Completud
ALGUNOS PROCEDIMIENTOS BASADOS EN EL TEOREMA DE HERBRAND
ELEMENTOS DE PROGRAMACIÓN LÓGICA Y PROLOG
REFINAMIENTO Y ESTRATEGIAS DE LA RESOLUCIÓN
La resolución SLD
Utilización de la resolución SLD y otros refinamientos
PROLOG
La resolución PROLOG
Búsqueda en profundidad
Búsqueda en anchura
Las ramas infinitas
La vuelta atrás
Predicados y funciones de la implementación
APÉNDICE A. DEFINICIONES Y DEMOSTRACIONES INDUCTIVAS
DEFINICIONES INDUCTIVAS
DEMOSTRACIONES INDUCTIVAS
APÉNDICE B. ADECUACIÓN DE LAS TABLAS ANALÍTICAS
APÉNDICE C. CONSIDERACIONES ELEMENTALES SOBRE LA REPRESENTACIÓN DEL CONOCIMIENTO CON LENGUAJES DE PRIMER ORDEN
Preparación
Representación
Indice alfabético
REFERENCIAS

Ver en WorldCat

Catálogo Mundial - WorldCat

Ver en Google Books

Google Books

Disponibilidad

CodBarras	Localización	Estante	Signatura	Estado	Categoría

010088430	Biblioteca Fray Juan de Jesús Anaya Prada, O.F.M.	Primer piso	005.1 L473	Disponible	7 días