| 000 -CABECERA |
|---|
| Campo de control interno |
01581cam a22003617i 4500 |
| 005 - FECHA Y HORA DE LA CATALOGACION |
|---|
| Campo de control |
20240112102527.0 |
| 008 - ELEMENTOS DE LONGITUD FIJA - INFORMACION |
|---|
| Elementos de Longitud Fija - Informaci |
151230b2008 sp||||| |||| 00| 0 sspad |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| ISBN |
9788483224540 |
| 040 ## - ORIGEN DE LA CATALOGACION |
|---|
| Origen de la Catalogación |
Unae |
| Language of cataloging |
spa |
| Description conventions |
rda |
| 041 0# - CODIGO DE LENGUAJE |
|---|
| Código de lenguaje del texto |
<a href="spa">spa</a> |
| 044 ## - CODIGO ISO DE PAIS |
|---|
| Código ISO de País |
sp |
| 082 0# - NUMERO DE CLASIFICACION DECIMAL DEWEY |
|---|
| Clasificacion |
511.3 |
| Cutter |
H788 |
| 100 1# - AUTOR PERSONAL |
|---|
| Autor Personal |
Hortalá González, Teresa |
| 9 (RLIN) |
3227 |
| Rol del Autor |
Autor(a) |
| 245 ## - TÍTULO GENERAL |
|---|
| Título |
Lógica matemática para informáticos: |
| Subtítulo |
ejercicios resueltos |
| Mención del autor |
Por Teresa Hortalá González [y otros dos] |
| 250 ## - EDICION |
|---|
| Edición |
1a edición |
| 264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN, COPYRIGHT |
|---|
| Lugar de producción, publicación, distribución, fabricación, copyright |
Madrid: |
| Nombre del productor, editor, distribuidor, fabricante, copyright |
Pearson, |
| Fecha de producción, publicación, distribución, fabricación, copyright |
2008. |
| 300 ## - DESCRIPCION |
|---|
| Número de páginas |
400 páginas: |
| Información descriptiva |
Gráficos |
| Dimensiones |
27 cm. |
| 336 ## - TIPO DE CONTENIDO |
|---|
| Fuente |
rdacontent |
| Término de tipo de contenido |
texto |
| Código de tipo de contenido |
txt |
| 337 ## - TIPO DE MEDIO |
|---|
| Fuente |
rdamedia |
| Término de tipo de medio |
no mediado |
| Código de tipo de medio |
n |
| 338 ## - TIPO DE PORTADOR |
|---|
| Fuente |
rdacarrier |
| Término de tipo de operador |
volumen |
| Código de tipo de operador |
nc |
| 504 ## - BIBLIOGRAFIA |
|---|
| Bibliografía |
Incluye Bibliografía |
| 505 1# - NOTA DE CONTENIDO |
|---|
| Nota de contenido formateada |
Lógica proposicional. — Formalización, técnicas de razonamiento. — Leyes booleanas. — Cálculo lógico con tableux. — Sintaxis y semántica. — Leyes de cuantificadores. — Cálculo lógico con resolución. — Ejercicios propuestos |
| 520 3# - RESUMEN |
|---|
| Resumen |
El objetivo de este libro es dar apoyo a la docencia de elementos básicos de la lógica matemática que normalmente se incluyen en los planes de estudio típicos de titulaciones en informática. |
| 650 ## - DESCRIPTORES - TEMAS |
|---|
| Temas - Descriptores |
Lógica matemática |
| 9 (RLIN) |
3228 |
| 650 ## - DESCRIPTORES - TEMAS |
|---|
| Temas - Descriptores |
Matemático |
| 9 (RLIN) |
22882 |
| 650 ## - DESCRIPTORES - TEMAS |
|---|
| 9 (RLIN) |
3229 |
| Temas - Descriptores |
Lógica |
| 653 ## - CATEGORIAS |
|---|
| Categorías Secundarias |
Cálculo lógico |
| 653 ## - CATEGORIAS |
|---|
| Categorías Secundarias |
Técnicas de razonamiento |
| 700 1# - COAUTOR PERSONAL |
|---|
| Coautor Personal |
Martí Oliet, Narciso |
| 9 (RLIN) |
3232 |
| Rol del autor |
Autor(a) |
| 700 1# - COAUTOR PERSONAL |
|---|
| Coautor Personal |
Palomino Tarjuelo Miguel |
| 9 (RLIN) |
3233 |
| Rol del autor |
Autor(a) |
| 856 ## - URL - Ubicacion |
|---|
| URI/URL |
<a href="http://sgi-ab.unae.edu.ec/libros/01-001898.html">http://sgi-ab.unae.edu.ec/libros/01-001898.html</a> |
| 942 ## - ELEMENTOS DE KOHA |
|---|
| Esquema de Clasificacion |
|
| Tipo de Documento |
Libros |
| Catalogador |
Digna Maxi |
