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 |