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. |
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|---|
Libro - General | BIBLIOTECA SEDE LA CARO Depósito | Colección General | 005.131 / L473 (Navegar estantería(Abre debajo)) | Ej. 1 | Disponible | 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
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.