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.
Tipo de material: TextoEditor: México : Alfaomega - RaMa Descripción: 177 pISBN: 9786076077854333Títulos uniformes: Lógica para la Computación : Teorías de primer orden, resolución y elementos de programación lógica y PROLOG. Clasificación CDD: 005.36 H714s Clasificación LoC:005.1 D377l
Contenidos:
Teorías de primer orden. -- 1.2. El cáculo de tablas analíticas. -- 1.3. Semántica. -- 1.4. Completud, consistencia y decibilidad. -- 1.5. La lógica de proposiciones. -- 2. Resolución. -- 2.1. Reducción a un conjunto de claúsulas. -- 2.2. Unificación. -- 2.3. Resolución y teoría de Herbrand. -- 3. Elementos de programación Lógica y Prolog. -- 3.1. Refinamiento y estrategias de la resolución. -- 3.2. Prolog.
Tipo de ítem | Ubicación actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libro - Material General | Biblioteca Central | Sistemas | 005.1 D377l (Navegar estantería) | Ej. 1 | Disponible | 209 |
Compra realizada en Octubre de 2010. Libreria El Aprendiz. 8.160. \ Incluye : Apéndices, Referencias e Índice Alfabético. \ Libro inventariado en Junio de 2014. \
Teorías de primer orden. -- 1.2. El cáculo de tablas analíticas. -- 1.3. Semántica. -- 1.4. Completud, consistencia y decibilidad. -- 1.5. La lógica de proposiciones. -- 2. Resolución. -- 2.1. Reducción a un conjunto de claúsulas. -- 2.2. Unificación. -- 2.3. Resolución y teoría de Herbrand. -- 3. Elementos de programación Lógica y Prolog. -- 3.1. Refinamiento y estrategias de la resolución. -- 3.2. Prolog.
No hay comentarios en este titulo.