Lógica para informáticos / (Record no. 7771)

MARC details
000 -CABECERA
campo de control de longitud fija 02459nam a22003617a 4500
001 - NÚMERO DE CONTROL
campo de control BGEN6506
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20260710082925.0
006 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA--CARACTERÍSTICAS DEL MATERIAL ADICIONAL
campo de control de longitud fija a||||gr|||| 00| 0
007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL
campo de control de longitud fija ta
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 161204t ec ||||gr|||| 00| 0 spa d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 9786077071655
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador/agencia de origen UEB
Lengua de catalogación spa
Centro/agencia transcriptor UEB
041 0# - CÓDIGO DE LENGUA
Código de lengua del texto/banda sonora o título independiente spa
082 04 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY
Número de clasificación 005.74015113
Número de documento/Ítem F2451l
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Farrâe Cirera, Rafel
9 (RLIN) 44522
245 10 - MENCIÓN DE TÍTULO
Título Lógica para informáticos /
Mención de responsabilidad, etc. Rafel Farré Cirera y [cinco mas]
250 ## - MENCIÓN DE EDICIÓN
Mención de edición Primera edición
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Lugar de publicación, distribución, etc. México, D. F., México :
Nombre del editor, distribuidor, etc. Alfaomega,
Fecha de publicación, distribución, etc. 2012
300 ## - DESCRIPCIÓN FÍSICA
Extensión 206 páginas ;
Otras características físicas ilustraciones ;
Dimensiones 23 cm.
336 ## - TIPO DE CONTENIDO
Término de tipo de contenido texto
337 ## - TIPO DE MEDIO
Nombre/término del tipo de medio sin mediación
338 ## - TIPO DE SOPORTE
Nombre/término del tipo de soporte volumen
500 ## - NOTA GENERAL
Nota general Incluye índice.
505 0# - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato Preliminares -- Definición de la lógica proposicional -- Deducción en la lógica proposicional -- Definición de la lógica de primer orden -- Deducción en la lógica de primer orden -- Fundamentos de la programación lógica -- Ejercicios resueltos -- Conjuntos -- Inclusiòn e igualdad de conjuntos -- Operaciones sobre conjuntos -- Propiedades de las operaciones sobre conjuntos -- Partes de un conjunto -- Cadenas sobre un conjunto -- Relaciones y funciones -- Relaciòn de equivalencia y conjunto cociente -- Relaciones de orden -- Combinatoria -- Demostraciòn de propiedades -- Inducciòn -- Contrarecìproco -- Reducciòn al absurdo -- ¿Què es una lògica? -- Lògica proposicional -- Explicaciones sobre la definiciòn de la lògica proposicional -- Satisfactibilidad, tautologìa, consecuencia y equivalencia -- Formas normales y clàusulas -- Nociones informales de decidibilidad y complejidad -- Lo importante es el coste como funciòn del tamaño de la entrada -- Lògica de primer orden con igualdad -- Formas normales y clàusulas -- Transformaciòn a forma clausal -- Unificaciòn -- Càlculo de respuestas mediante resoluciòn -- La resoluciòn SLD -- Ejemplos de Prolog. Unificaciòn, listas -- Los aspectos extra-lògicos de Prolog -- Lògica de primer orden con igualdad -- Formalizaciòn del lenguaje natural...
650 14 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Lógica matemática.
9 (RLIN) 5583
Término de materia o nombre geográfico como elemento de entrada Informática - Computadores.
9 (RLIN) 44523
700 ## - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Nieuwenhuis, Robert, Autor.
9 (RLIN) 44524
Nombre de persona Nivela Alós, Pilar, Autor.
9 (RLIN) 44525
Nombre de persona Oliveras Llunell, Albert, Autor.
9 (RLIN) 44526
Nombre de persona Rodríguez Carbonell, Enric, Autor.
9 (RLIN) 44527
Nombre de persona Sierra Santibáñez, Josefina, Autor.
9 (RLIN) 44528
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha Libros
Fuente del sistema de clasificación o colocación Clasificación Decimal Dewey
Holdings
Estado de retiro Estado de pérdida Fuente del sistema de clasificación o colocación Estado dañado No para préstamo Localización permanente Ubicación/localización actual Fecha de adquisición Número de inventario Código de bodega Total de préstamos Signatura topográfica completa Código de barras Fecha visto por última vez Fecha del último préstamo Número de copia Precio válido a partir de Tipo de ítem Koha Nota pública
    Clasificación Decimal Dewey     MATRIZ MATRIZ 10/03/2015 8626 4755157 4 005.74015113 F2451l 4755157 27/05/2019 27/05/2019 Ej.1 04/12/2016 Libros ESTANTERIA 3.B
    Clasificación Decimal Dewey     MATRIZ MATRIZ 19/03/2021 2576 15399922   005.74015113 F2451l 15399922 19/03/2021   Ej.2 19/03/2021 Libros ESTANTERIA 2.A