Lógica matemática para informáticos : (Record no. 2945)

MARC details
000 -CABECERA
campo de control de longitud fija 01563nam a22003737a 4500
001 - NÚMERO DE CONTROL
campo de control BGEN1977
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20230524090320.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 9788483224540
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 004.015 1
Número de documento/Ítem T687l
245 10 - MENCIÓN DE TÍTULO
Título Lógica matemática para informáticos :
Resto del título ejercicios resueltos /
Mención de responsabilidad, etc. Teresa Hortalá González ...[et al.]
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Lugar de publicación, distribución, etc. Madrid, España :
Nombre del editor, distribuidor, etc. Pearson Educación,
Fecha de publicación, distribución, etc. 2008
300 ## - DESCRIPCIÓN FÍSICA
Extensión x, 390 páginas ;
Otras características físicas ilustraciones ;
Dimensiones 27 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
490 ## - MENCIÓN DE SERIE
Mención de serie ( Prentice práctica )
500 ## - NOTA GENERAL
Nota general Contiene índice.
504 ## - NOTA DE BIBLIOGRAFÍA, ETC.
Nota de bibliografía, etc. Incluye bibliografía.
505 0# - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato Lógica proposicional - Sintaxis y semántica - Formalización - Técnicas de razonamiento - Equivalencia lógica - Leyes Booleanas - Cálculo lógico con tableaux - Lógica de primer orden - Sintaxis y semántica - Formalización. Técnicas de razonamiento - Equivalencia lógica. Leyes de los cuantificadores - Cálculo lógico con tableaux - Cálculo lógico con resolución - Ejercicios propuestos.
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 - Problemas.
9 (RLIN) 44931
Término de materia o nombre geográfico como elemento de entrada Informática.
9 (RLIN) 335
Término de materia o nombre geográfico como elemento de entrada Sintáxis y semántica.
9 (RLIN) 44932
Término de materia o nombre geográfico como elemento de entrada Leyes Booleanas.
9 (RLIN) 44933
Término de materia o nombre geográfico como elemento de entrada Cálculo lógico.
9 (RLIN) 44934
700 ## - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Hortalá González, Teresa.
9 (RLIN) 44930
Nombre de persona Martí Oliet, Narciso.
9 (RLIN) 44936
Nombre de persona Palomino Tarjuelo, Miguel.
9 (RLIN) 44937
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 Número de copia Precio válido a partir de Tipo de ítem Koha Nota pública
    Clasificación Decimal Dewey     MATRIZ MATRIZ 13/04/2011 6213 18763   004.015 1 L687l 18763 04/12/2016 Ej.1 04/12/2016 Libros NO DISPONIBLE