000 -CABECERA |
Longitud fija campo de control |
01541nam a2200301 a 4500 |
001 - NÚMERO DE CONTROL |
Número de control |
011568 |
003 - IDENTIFICADOR DELl NÚMERO DE CONTROL |
Identificador del número de control |
1237 |
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
Fecha y hora de la última transacción |
20230801162210.0 |
008 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA |
Códigos de información de longitud fija |
141211s2010 mx a fr 000 0 spa d |
020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS |
Número Internacional Normalizado para Libros (ISBN) |
9786076077854333 |
040 ## - FUENTE DE LA CATALOGACIÓN |
CO-UCAC |
CO-UCAC |
-- |
CO-UCAC |
041 ## - CÓDIGO DE LENGUA |
Código de lengua del texto-banda sonora o título independiente |
spa |
043 ## - CÓDIGO DE ÁREA GEOGRÁFICA |
Código de área geográfica |
mx |
082 04 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
Número de clasificación Decimal |
005.131 |
Cutter |
L473 |
100 1# - PUNTO DE ACCESO PRINCIPAL-NOMBRE DE PERSONA |
9 (RLIN) |
2601 |
Nombre de persona |
<a href="Ledesma, Luis de">Ledesma, Luis de</a> |
245 10 - TÍTULO PROPIAMENTE DICHO |
Título |
Lógica para la computación : |
Resto del título |
teoría de primer orden, resolución y elementos de programación lógica y Prolog / |
Mención de responsabilidad, etc. |
Luis de Ledesma |
264 ## - PRODUCCIÓN, PUBLICACIÓN , DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT |
Lugar de producción, publicación, distribución, fabricación |
México : |
Nombre del productor, editor, distribuidor, fabricante |
Alfaomega, |
Fecha de de producción, publicación, distribución, fabricación o copyright |
2010. |
300 ## - DESCRIPCIÓN FÍSICA |
Extensión |
177 p. |
Tipo de unidad |
1 |
505 ## - NOTA DE CONTENIDO CON FORMATO |
Nota de contenido con formato |
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. |
506 ## - NOTA DE RESTRICCIONES AL ACCESO |
Programa Académico |
Sistemas |
650 07 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento inicial |
LENGUAJES DE PROGRAMACION [COMPUTADORES ELECTRONICOS] |
9 (RLIN) |
191465 |
650 07 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento inicial |
LOGICA MATEMATICA |
9 (RLIN) |
2603 |
650 07 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento inicial |
PROGRAMACION [MATEMATICAS] |
9 (RLIN) |
2604 |
650 07 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento inicial |
PROLOG [LENGUAJE DE PROGRAMACION DE COMPUTADORES] |
9 (RLIN) |
2605 |
942 ## - ENTRADA DE ELEMENTOS AGREGADOS (KOHA) |
Fuente de clasificaión o esquema |
|
Koha [por defecto] tipo de item |
Libro - General |