Buscar
Título y Autor
Palabra Clave
Autor
Palabra Clave por Autor
Tema o Materia
ISBN/ISSN
Series
Revistas
Avanzada
Enlaces
Bases de Datos
Metabuscador RUAV
Tutorial Reserva
Mi Cuenta
Detalles de Usuario
Bibliografías
Cerrar Sesión
Detalles del Título
Búsqueda Rápida Palabra Clave
Ayuda
Detalles del Título
< Ant.
Sig. >
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 Ledesma
Libro / 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
© OCLC (UK) Ltd- © Nova Informática Ltda