Lógica para la computación : teorias de primer orden, resolución y elementos de programación lógica y prolog / Luis De Ledesma
Por: Ledesma, Luis De [Autor]
.
Colaborador(es): Ledesma, Luis De.
Tipo de material: 
LibroEditor: México Alfaomega grupo editor 2009Edición: 1a. ed.Descripción: 180. p.ISBN: 9786077854333.Tema(s): LÓGICA SIMBÓLICA | -- LÓGICA MATEMÁTICASClasificación CDD: 511.3 Resumen: TEORIAS DE PRIMER ORDEN. Teorías de primer orden; El cálculo de tablas analíticas; Semántica; Completud, consistencia y decibilidad; Lógica de proposiciones. RESOLUCÍON. Reducción a un conjunto de cláusulas; Unificación; Resolución y teoría de Herbrand; Algunos procedimientos basados en el teorema de Herbrand. ELEMENTOS DE PROGRAMACIÓN LÓGICA Y PROLOG. Refinamiento y estrategias de la resolución; Prolog; DEFINICIONES Y DEMOSTRACIONES INDUCTIVAS; Definiciones inductivas; Demostraciones inductivas. ADECUACIÓN DE LAS TABLAS ANALÍTICAS; CONSIDERACIONES ELEMENTALES SOBRE LA REPRESENTACIÓN DEL CONOCIMIENTO CON LENGUAJES DE PRIMER ORDEN. Preparación; Representación.
| Tipo de ítem | Ubicación actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ejemplares |
|---|---|---|---|---|---|---|---|
Libros
|
Biblioteca Central SM Colección General | 511.3 (Ver Items Similares) | Ej.1 | Disponible | 27296 | ||
|
Libros
|
Biblioteca Central SM Colección General | 511.3 (Ver Items Similares) | Ej.2 | Disponible | 27297 | ||
|
Libros
|
Biblioteca Central SM Colección General | 511.3 (Ver Items Similares) | Ej.3 | Disponible | 27298 | ||
|
Libros
|
Biblioteca USU Colección General | 511.3 (Ver Items Similares) | Ej.4 | Disponible | 27299 | ||
|
Libros
|
Biblioteca USU Colección General | 511.3 (Ver Items Similares) | Ej.5 | Disponible | 27300 | ||
|
Libros
|
Biblioteca USU Colección General | 511.3 (Ver Items Similares) | Ej.6 | Disponible | 27301 |
Navegando Biblioteca USU Estantes , Ubicación: Colección General Cerrar el navegador de estanterías
TEORIAS DE PRIMER ORDEN. Teorías de primer orden; El cálculo de tablas analíticas; Semántica; Completud, consistencia y decibilidad; Lógica de proposiciones. RESOLUCÍON. Reducción a un conjunto de cláusulas; Unificación; Resolución y teoría de Herbrand; Algunos procedimientos basados en el teorema de Herbrand. ELEMENTOS DE PROGRAMACIÓN LÓGICA Y PROLOG. Refinamiento y estrategias de la resolución; Prolog; DEFINICIONES Y DEMOSTRACIONES INDUCTIVAS; Definiciones inductivas; Demostraciones inductivas. ADECUACIÓN DE LAS TABLAS ANALÍTICAS; CONSIDERACIONES ELEMENTALES SOBRE LA REPRESENTACIÓN DEL CONOCIMIENTO CON LENGUAJES DE PRIMER ORDEN. Preparación; Representación.
Ledesma, Luis De 2009 2009
Haga clic en una imagen para verla en el visor de imágenes
No hay comentarios para este ejemplar.