Lógica para la computación : (Record no. 1745)

000 -CABECERA
Longitud fija campo de control 01539nam 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 20180308171526.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
Nombre de persona <a href="Ledesma, Luis de">Ledesma, Luis de</a>
9 (RLIN) 2601
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) 2602
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
Holdings
Disponibilidad Mostrar en OPAC Fuente de clasificación o esquema Programa Académico Tipo de Descarte Restricciones de uso Estado Colección Asociada Localización permanente Localización actual Localización en estanterías Fecha adquisición Proveedor Forma de Adq Precio normal de compra Centro de Costo Préstamos totales Signatura completa Código de barras Fecha última consulta Fecha último préstamo Ejemplar Fecha de Descarte Propiedades de Préstamo KOHA
Disponible Presente (Mostrar)   Sistemas No descartado Acceso Libre Préstamo Normal Colección General Biblioteca UCATOLICA Biblioteca UCATOLICA Carrera 13 2014-11-05 Alfaomega Compra 45000.00 0675-Sist.Sist.informát. 2 005.131 / L473 51514 2018-08-30 2018-08-23 Ej. 1 2017-12-04 Libro - General
Universidad Católica de Colombia
La Universidad Católica de Colombia es una Institución de Educación Superior sujeta a inspección y vigilancia por el Ministerio de Educación, reconocida mediante Resolución Número 2271 de julio 7 de 1970 del Ministerio de Justicia.
Universidad Católica de Colombia © Copyright 2017
Universidad Católica de Colombia • PBX: (57 1) 3 27 73 00 - (57 1) 3 27 73 33
Bogotá, Avenida Caracas # 46 -72, sede Las Torres • Bogotá, Carrera 13 # 47 – 30, Sede 4​ • Bogotá, Diagonal 46 A # 15 B – 10, sede El Claustro
Bogotá, Carrera 13 # 47 – 49, sede Carrera 13