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

MARC details
000 -CABECERA
campo de control de longitud fija 02032cam a2200337 i 4500
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20230413120415.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 140214s2012 mx a g||||| 000 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
Agencia de catalogación original Co-BrCUA
Idioma de catalogación spa
Normas de descripción rda
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 edición 21
Número de clasificación 004.0151
Clave de autor L687 2012
245 00 - MENCIÓN DE TÍTULO
Título Lógica para informáticos /
Mención de responsabilidad, etc. Rafel Farré [y otros cinco]
250 ## - MENCIÓN DE EDICIÓN
Mención de edición Primera edición
264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT
Lugar de producción, publicación, distribución, fabricación México :
Nombre del de productor, editor, distribuidor, fabricante Alfaomega,
Fecha de producción, publicación, distribución, fabricación o copyright 2012.
300 ## - DESCRIPCIÓN FÍSICA
Extensión xii, 206 páginas :
Otras características físicas ilustraciones ;
Dimensiones 23 cm.
336 ## - TIPO DE CONTENIDO
Fuente rdacontent
Término de tipo de contenido texto
337 ## - TIPO DE MEDIO
Fuente rdamedia
Nombre/término del tipo de medio sin medio
338 ## - TIPO DE SOPORTE
Fuente rdacarrier
Nombre/término del tipo de soporte volumen
505 0# - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato 1. Preliminares -- 2. Definición de la lógica proposicional -- 3. Deducción de la lógica proposicional -- 4. Definición de la lógica de primer orden -- 5. Deducción en la lógica de primer orden -- 6. Fundamentos de la programación lógica -- 7. Ejercicios resueltos.
520 ## - NOTA DE RESUMEN
Sumario, etc. La finalidad de este libro es proporcionar al lector fundamentos de lógica en el ámbito de las ciencias de la computación. La audiencia principal son pues los estudiantes de titulaciones en informática, aunque el libro también es útil como complemento en la formación básica de otras ciencias e ingenierías. En esta obra sólo se asumen conocimientos previos muy básicos de matemáticas, conocimientos que además se revisan brevemente en un capítulo de preliminares. El libro está escrito de forma amena y cercana, simplificando al máximo la carga notacional y con numerosos ejemplos que ilustran los conceptos explicados.
650 17 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Fuente del encabezamiento o término LEMB
9 (RLIN) 1366
Término de materia o nombre geográfico como elemento de entrada Programación lógica
650 17 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Fuente del encabezamiento o término LEMB
9 (RLIN) 1367
Término de materia o nombre geográfico como elemento de entrada Estructura de datos informáticos
650 17 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
9 (RLIN) 960
Término de materia o nombre geográfico como elemento de entrada Lógica
Fuente del encabezamiento o término LEMB
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
9 (RLIN) 1368
Nombre de persona Farré Cirera, Rafel
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
9 (RLIN) 1369
Nombre de persona Nieuwenhuis, Robert
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
9 (RLIN) 1404
Nombre de persona Nivela Alós, Pilar
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
9 (RLIN) 1405
Nombre de persona Oliveras Llunell, Albert
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
9 (RLIN) 1406
Nombre de persona Rodríguez Carbonell, Enric
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
9 (RLIN) 1407
Nombre de persona Sierra Santibáñez, Josefina
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Fuente del sistema de clasificación o colocación Dewey Decimal Classification
Tipo de ítem Koha Libros
Parte de la signatura que corresponde a la clasificación (Parte de la clasificación) 004.0151
Parte de la signatura que identifica el ejemplar (Parte del ítem) L687 2012
Préstamos Koha (prestado), todas las copias 3
Holdings
Disponibilidad Mostrar en OPAC Fuente de clasificación o esquema Tipo de Descarte Restricción de Préstamo Colección Asociada Localización permanente Localización actual Fecha adquisición Préstamos totales Signatura topográfica completa Código de barras Fecha última consulta Fecha del último préstamo Ejemplar Propiedades de Préstamo KOHA Nota pública Renovaciones totales Ubicación en estantería
Disponible Presente - Mostrar en el OPAC Dewey Decimal Classification Disponible - NO DESCARTADO SI Permitido el Préstamo General Biblioteca Alba Lucia Corredor Gómez (Medellín) Biblioteca Alba Lucia Corredor Gómez (Medellín) 03/09/2015 1 004.0151 L687 2012 503750986 28/08/2018 06/03/2017 Ej.1 Libros   1 General Stacks
Disponible Presente - Mostrar en el OPAC Dewey Decimal Classification Disponible - NO DESCARTADO SI Permitido el Préstamo General Biblioteca Alba Lucia Corredor Gómez (Medellín) Biblioteca Alba Lucia Corredor Gómez (Medellín) 03/09/2015 1 004.0151 L687 2012 503750987 05/04/2024 15/03/2024 Ej.2 Libros     General Stacks
Disponible Presente - Mostrar en el OPAC Dewey Decimal Classification Disponible - NO DESCARTADO SI Permitido el Préstamo Reserva Biblioteca William Corredor Gómez. Sede Cosmos (Barranquilla) Biblioteca William Corredor Gómez. Sede Cosmos (Barranquilla) 14/02/2014 1 004.0151 L687 2012 100000152 06/02/2024 31/10/2015 Ej. 1 Libro de Reserva Colección 1, Isla 1, Lado A, Módulo 2    
Disponible Presente - Mostrar en el OPAC Dewey Decimal Classification Disponible - NO DESCARTADO SI Permitido el Préstamo General Biblioteca William Corredor Gómez. Sede Cosmos (Barranquilla) Biblioteca William Corredor Gómez. Sede Cosmos (Barranquilla) 18/02/2014 1 004.0151 L687 2012 100000153 06/02/2024 24/05/2017 Ej. 2 Libros Colección 1, Isla 1, Lado A, Módulo 2 1