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: ![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
Tipo de ítem | Ubicación actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ejemplares |
---|---|---|---|---|---|---|---|
![]() |
Biblioteca Central SM Colección General | 511.3 (Ver Items Similares) | Ej.1 | Disponible | 27296 | ||
![]() |
Biblioteca Central SM Colección General | 511.3 (Ver Items Similares) | Ej.2 | Disponible | 27297 | ||
![]() |
Biblioteca Central SM Colección General | 511.3 (Ver Items Similares) | Ej.3 | Disponible | 27298 | ||
![]() |
Biblioteca USU Colección General | 511.3 (Ver Items Similares) | Ej.4 | Disponible | 27299 | ||
![]() |
Biblioteca USU Colección General | 511.3 (Ver Items Similares) | Ej.5 | Disponible | 27300 | ||
![]() |
Biblioteca USU Colección General | 511.3 (Ver Items Similares) | Ej.6 | Disponible | 27301 |
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
No hay comentarios para este ejemplar.