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

MARC details
000 -LEADER
campo de control de longitud fija 02077cam a2200241 4500
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20250301214218.0
082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY
Número de clasificación 005.131
Número de ítem L424l
090 ## - LOCALMENTE ASIGNADO TIPO-LC NÚMERO DE CLASIFICACIÓN (OCLC); NÚMERO DE CLASIFICACIÓN LOCAL (RLIN)
Número de clasificación (OCLC) (R) ; Numero de clasificación, CALL (RLIN) (NR) COLECCION GENERAL
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 9786077854333
041 0# - CÓDIGO DE IDIOMA
Código de lengua del texto/banda sonora o título independiente esp
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Ledesma, Luis de
245 1# - MENCIÓN DEL TÍTULO
Título Lógica para la computación :
Resto del título teorías de primer orden, resolución y elementos de programación lógica y Prolog. /
Mención de responsabilidad, etc. Luis de Ledesma
250 ## - MENCION DE EDICION
Mención de edición 1°
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Nombre del editor, distribuidor, etc. Alfaomega
Fecha de publicación, distribución, etc. 2010
Lugar de publicación, distribución, etc. México, mx
300 ## - DESCRIPCIÓN FÍSICA
Extensión 177 P.
Otras características físicas , tablas
520 ## - RESUMEN, ETC.
Sumario, etc. 177TEORÍAS DE PRIMER ORDEN. LENGUAJES DE PRIMER ORDEN. EL SISTEMA FORMAL TEORÍAS DE PRIMER ORDEN. META TEOREMAS. REGLAS Y TEOREMAS DERIVADOS. EL CÁLCULO DE TABLAS ANALÍTICAS. DEFINICIONES Y UTILIZACIÓN. APLICACIÓN. SEMÁNTICA. ESTRUCTURAS. SIGNIFICADO DE EXPRESIONES. VALIDEZ. COMPLETUD, CONSISTENCIA Y DECIDIBILIDAD. LA LÓGICA DE PROPOSICIONES. SINTAXIS. SEMÁNTICA. CLÁUSULAS DE HORN. RESOLUCIÓN. REDUCCIÓN A UN CONJUNTO DE CLÁUSULAS. FORMAS PRENEX. FORMAS DE SKOLEM. SUPRESIÓN DE CUANTIFICADORES UNIVERSALES. REDUCCIÓN A UN CONJUNTO DE CLÁUSULAS. UNIFICACIÓN. RESOLUCIÓN Y TEORÍA DE HERBRAND. PRINCIPIO DE RESOLUCIÓN. CORRECCIÓN. TEORÍA DE HERBRAND. COMPLETUD. ALGUNOS PROCEDIMIENTOS BASADOS EN EL TEOREMA DE HERBRAND. ELEMENTOS DE PROGRAMACIÓN LÓGICA Y PROLOG. REFINAMIENTO Y ESTRATEGIAS DE LA RESOLUCIÓN. LA RESOLUCIÓN SLD. UTILIZACIÓN DE LA RESOLUCIÓN SLD Y OTROS REFINAMIENTOS. PROLOG. LA RESOLUCIÓN PROLOG. BÚSQUEDA EN PROFUNDIDAD. BÚSQUEDA EN ANCHURA. LAS RAMAS INFINITAS. LA VUELTA ATRÁS. PREDICADOS Y FUNCIONES DE LA IMPLEMENTACIÓN. 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. 
650 07 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada COMPUTACION
650 07 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada PROGRAMACION
650 07 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada COMPUTACION GENERAL
650 07 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada ELEMENTOS DE PROGRAMACION.
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado COMPUTACION; PROGRAMACION; COMPUTACION GENERAL; ELEMENTOS DE PROGRAMACION.
942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA)
Fuente del sistema de clasificación o colocación Clasificación Decimal Dewey
Tipo de ítem Koha Libros
Holdings
Estatus retirado Estado de pérdida Fuente del sistema de clasificación o colocación Estado de daño No para préstamo Colección Biblioteca de origen Biblioteca actual Fecha de adquisición Fuente de adquisición Coste, precio normal de compra Número de inventario Total de préstamos Signatura topográfica completa Código de barras Visto por última vez Precio de reemplazo Tipo de ítem Koha
    Clasificación Decimal Dewey     Colección General Recursos Impresos Recursos Impresos 13/04/2015 1 0.00 10011294   005.131 L424l 1° 10011294 01/03/2025 01/03/2025 Libros
    Clasificación Decimal Dewey     Colección General Recursos Impresos Recursos Impresos 13/04/2015 1 0.00 10011295   005.131 L424l 1° 10011295 01/03/2025 01/03/2025 Libros
    Clasificación Decimal Dewey     Colección General Recursos Impresos Recursos Impresos 13/04/2015 1 0.00 10011296   005.131 L424l 1° 10011296 01/03/2025 01/03/2025 Libros