Normal view MARC view ISBD view
Tipo: materialTypeLabelLibro - General
Ubicación Física: 005.131 / L473

Lógica para la computación : teoría de primer orden, resolución y elementos de programación lógica y Prolog /

Autor: Ledesma, Luis de.
Pié de imprenta: México : Alfaomega, 2010.
Descripción: 177 p.
ISBN: 9786076077854333.
Tema(s):
Contenido: Teorías de primer orden. Cálculo de tablas analíticas. Semántica. Completud, consistencia y decidibilidad. La lógica de proposiciones. Resolución. Reducción a un conjunto de cláusulas. Unificación. Resolución y teoría de Herbrand. Elementos de programación lógica y Prolog. Refinamiento y estrategias de la resolución. Prolog. Apéndice A. Definiciones y 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.

Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Collection Call number Copy number Status Date due Barcode
Libro - General Libro - General Biblioteca UCATOLICA
Carrera 13
Colección General 005.131 / L473 (Browse shelf) Ej. 1 Available (Acceso Libre) 51514

Teorías de primer orden. Cálculo de tablas analíticas. Semántica. Completud, consistencia y decidibilidad. La lógica de proposiciones. Resolución. Reducción a un conjunto de cláusulas. Unificación. Resolución y teoría de Herbrand. Elementos de programación lógica y Prolog. Refinamiento y estrategias de la resolución. Prolog. Apéndice A. Definiciones y 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.

Sistemas

There are no comments for this item.

Log in to your account to post a comment.
Universidad Católica de Colombia
La Universidad Católica de Colombia es una Institución de Educación Superior sujeta a inspección y vigilancia por el Ministerio de Educación, reconocida mediante Resolución Número 2271 de julio 7 de 1970 del Ministerio de Justicia.
Universidad Católica de Colombia © Copyright 2017
Universidad Católica de Colombia • PBX: (57 1) 3 27 73 00 - (57 1) 3 27 73 33
Bogotá, Avenida Caracas # 46 -72, sede Las Torres • Bogotá, Carrera 13 # 47 – 30, Sede 4​ • Bogotá, Diagonal 46 A # 15 B – 10, sede El Claustro
Bogotá, Carrera 13 # 47 – 49, sede Carrera 13