Lógica matemática para informáticos : (Registro nro. 3473)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 01563nam a2200325 i 4500 |
| 001 - NÚMERO DE CONTROL | |
| campo de control | 3554 |
| 005 - FECHA Y HORA DE ACTUALIZACIÓN | |
| 005 | 20220817115056.0 |
| 008 - LONGITUD FIJA | |
| campo de control de longitud fija | 190513t2008 sp a gr 001 0 SPA d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9788483224540 |
| 040 ## - FUENTE DE CATALOGACIÓN | |
| Centro catalogador/agencia de origen | UISEK-EC |
| Lengua de catalogación | Español |
| Normas de descripción | rda |
| 041 0# - IDIOMA | |
| idioma original | Español |
| 100 1# - AUTOR PERSONAL | |
| 9 (RLIN) | 13046 |
| nombre | Hortalá González, Teresa |
| relación | Autor |
| 245 10 - TÍTULO PROPIAMENTE DICHO | |
| título | Lógica matemática para informáticos : |
| subtítulo | ejercicios resueltos / |
| Mención de responsabilidad, etc. | Teresa Hortalá González, Narciso Martí Oliet, Miguel Palomino Tarjuelo [y otros dos] |
| 264 #1 - PIE DE IMPRENTA | |
| lugar (ciudad) | Madrid : |
| editorial | Pearson Educación, |
| fecha | copyright 2008 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | x, 390 páginas : |
| Ilustraciones | ilustraciones, tablas ; |
| Dimensiones | 27 cm |
| 336 ## - TIPO DE CONTENIDO | |
| contenido, término | texto |
| 337 ## - MEDIACIÓN | |
| RDA | rdamedia |
| Tipo de medio | no mediado |
| 338 ## - PORTADOR | |
| RDA | rdacarrier |
| Tipo de portador | volumen |
| 504 ## - NOTA DE BIBLIOGRAFÍA | |
| Bibliografía, etc. | Incluye bibliografía (páginas: 389-390) |
| 505 #2 - NOTA DE CONTENIDO | |
| Nota de contenido | Prólogo - 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 |
| 526 ## - Nota de Programa de Estudio | |
| Nombre del programa | Sistemas |
| 700 1# - COAUTOR PERSONAL | |
| 9 (RLIN) | 13047 |
| Nombre de persona | Martí Oliet, Narciso |
| relación | Autor |
| 700 1# - COAUTOR PERSONAL | |
| 9 (RLIN) | 13048 |
| Nombre de persona | Palomino Tarjuelo, Miguel |
| relación | Autor |
| 082 04 - CLASIFICACIÓN DECIMAL DEWEY | |
| Clasificación | 511.3 |
| Clave de autor | H821l 2008 |
| 650 17 - MATERIA GENERAL | |
| Fuente del encabezamiento o término | LEMB |
| 9 (RLIN) | 13050 |
| Término de materia o nombre geográfico como elemento inicial | Lógica simbólica y matemática |
| 650 27 - MATERIA GENERAL | |
| Fuente del encabezamiento o término | LEMB |
| 9 (RLIN) | 13049 |
| Término de materia o nombre geográfico como elemento inicial | Lógica de primer orden |
| 650 27 - MATERIA GENERAL | |
| Fuente del encabezamiento o término | LEMB |
| 9 (RLIN) | 2601 |
| Término de materia o nombre geográfico como elemento inicial | Cálculo |
| 650 27 - MATERIA GENERAL | |
| Fuente del encabezamiento o término | LEMB |
| 9 (RLIN) | 13051 |
| Término de materia o nombre geográfico como elemento inicial | Ciencia de la computación |
| 942 ## - PUNTO DE ACCESO ADICIONAL KOHA | |
| Tipo de ítem Koha | Libro |
| Ocultar en el OPAC | Perdido | Esquema de clasificación | No circula | Sede propietaria | Localización actual | Ubicación | Adquirido | Préstamos | Signatura topográfica | Código de barras | Visto por última vez | Ejemplar | Tipo de ítem |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Miguel de Cervantes | Miguel de Cervantes | Sala general | 2019-05-16 | 511.3 H821l 2008 | 00004985 | 2019-05-16 | Ej.1 | Libro |