MARC details
| 000 -CABECERA |
|---|
| Longitud fija campo de control |
01358ntdaa2200313 ab4500 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
|---|
| Identificador del número de control |
UnInEc |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| Fecha y hora de la última transacción |
20180815161258.0 |
| 006 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA - CARACTERÍSTICAS DEL MATERIAL ADICIONAL |
|---|
| Códigos de información de longitud fija - Características del material adicional |
a||||g ||i| 00| 0 |
| 008 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA |
|---|
| Códigos de información de longitud fija |
140501s9999 mx ||||f |||| 00| 0 spa d |
| 020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS |
|---|
| Número Internacional Normalizado para Libros (ISBN) |
9788483224540 |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro catalogador de origen |
CIBESPAM MFL |
| 041 ## - CÓDIGO DE LENGUA |
|---|
| Código de lengua del texto;banda sonora o título independiente |
spa. |
| 082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Número de clasificación |
511.3 |
| Cutter |
H821 |
| Dato adicional |
2008 |
| 100 ## - PUNTO DE ACCESO PRINCIPAL-NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Hortalá González, Teresa |
| 245 ## - MENCIÓN DE TÍTULO |
|---|
| Título |
Lógica matemática para informáticos. |
| Resto del título |
Ejercicios resueltos. |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. (PIE DE IMPRENTA) |
|---|
| 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 |
fig, tablas; |
| Dimensiones |
195x270 mm |
| 505 ## - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
Lógica proposicional.<br/>1. Sintaxis matemática.<br/>2. Formalización. Técnicas de razonamiento.<br/>3. Equivalencia lógica. Leyes booleanas.<br/>4. Cálculo lógico con tableaux.<br/>Lógica de Primer Orden.<br/>5. Sintaxis y semántica.<br/>6. Formalización. Técnicas de razonamiento.<br/>7. Equivalencia lógica. Leyes de los cuantificadores.<br/>8. Cálculo lógico con tableaux.<br/>9. Cálculo lógico con resolución.<br/>10. Ejercicios propuestos. |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento inicial |
Lógica Matemática |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento inicial |
Matemáticas |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento inicial |
Formalización |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento inicial |
Equivalencia Lógica |
| 700 ## - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Martí Oliet, Narciso |
| 700 ## - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Palomino Tarjuelo, Miguel |
| 700 ## - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Rodríguez Artalejo, Mario |
| 700 ## - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Del Vado Vírseda, Rafael |
| 913 ## - ÁREA Y CARRERA |
|---|
| Otras Ciencias |
Matemáticas |
| Área de Conocimiento |
Ciencias Físicas, Ciencias Naturales, Matemáticas y Estadísticas |
| Líneas de Investigación Institucionales |
Gestión ambiental y manejo de los recursos naturales y biodiversidad |
| 942 ## - ENTRADA DE ELEMENTOS AGREGADOS (KOHA) |
|---|
| Fuente de clasificaión o esquema |
Dewey Decimal Classification |
| Koha [por defecto] tipo de item |
Libros |