Detalles MARC
| 000 -CABECERA |
|---|
| Campo de control de longitud fija |
02978nam a22004334a 4500 |
| 001 - NÚMERO DE CONTROL |
|---|
| Número de control |
CUUTN000001 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
|---|
| Identificador del número de control |
AR-CuUTN |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| Fecha y hora de la última transacción |
20240701222432.0 |
| 007 - PHYSICAL CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL FIXED FIELD--GENERAL INFORMATION |
|---|
| Campo fijo de descripción física |
ta |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| Códigos de información de longitud fija |
191210s1996 sp ddddf 001 0 spa d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| ISBN |
8479782404 |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro catalogador de origen |
AR-CuUTN |
| Lengua de catalogación |
spa |
| Centro transcriptor |
AR-CuUTN |
| Normas de descripción |
aacr2 |
| -- |
isbd |
| 080 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL UNIVERSAL |
|---|
| Clasificación Decimal Universal |
510.64/.66 |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre personal |
Arenas Alegria, Lourdes |
| Término indicativo de función |
autor |
| 9 (RLIN) |
779 |
| 245 10 - MENCIÓN DE TÍTULO |
|---|
| Título |
Lógica formal para informáticos / |
| Mención de responsabilidad |
Lourdes Arenas Alegría. |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Lugar de publicación, distribución, etc. |
Madrid : |
| Nombre del editor, distribuidor, etc. |
Díaz de Santos, |
| Fecha de publicación, distribución, etc. |
c1996. |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
xii, 331 p. : |
| Otras características físicas |
gráf., tab. ; |
| Dimensiones |
24 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 |
| Nombre del tipo de medio |
sin mediación |
| Código del tipo de medio |
n |
| 338 ## - TIPO DE SOPORTE |
|---|
| Fuente |
rdacarrier |
| Nombre del tipo de soporte |
volumen |
| Código del tipo de soporte |
nc |
| 500 ## - NOTA GENERAL |
|---|
| Nota general |
Diseño de cubierta: Estuart, S.A. |
|
|---|
| Nota general |
Fotocomposición: MonoComp, S.A. |
|
|---|
| Nota general |
Contenido: p. xi a xii. |
|
|---|
| Nota general |
Apéndice soluciones a los ejercicios: p. 239 a 329. |
| 504 ## - NOTA DE BIBLIOGRAFÍA, ETC. |
|---|
| Nota de bibliografía, etc. |
Bibliografía: p. 331. |
| 505 0# - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
Primera parte: cálculo de proposiciones<br/>1. Introducción 2. Método semántico. Teoría interpretativa 3. Teoría de la demostración 4. Coherencia entre la teoría interpretativa y la teoría de la demostración. |
|
|---|
| Nota de contenido con formato |
Parte segunda : cálculo de predicados de primer orden<br/>5. Introducción 6. Método semántico. Teoría interpretativa 7. Teoría de la demostración 8. Coherencia entre la teoría semántica y la teoría de demostración. |
|
|---|
| Nota de contenido con formato |
Parte tercera : demostración automática de teoremas<br/>9. Introducción a la demostración automática de teoremas 10. Principio de resolución. |
| 520 3# - SUMARIO, ETC. |
|---|
| Sumario, etc. |
La presente obra trata en profundidad el estudio de la lógica formal en dos niveles, según sea el grado de complejidad en la simbolización del lenguaje. En la primera parte se estudia el nivel básico o lógica proposicional, desde la simplicidad en la formalización del lenguaje y en los métodos de demostración, hasta la teoría de los sistemas formales axiomáticos y las propiedades de los mismos. En la segunda parte se desarrolla el nivel de la lógica de predicados de primer orden, con el consiguientes aumento de complejidad tanto en la construcción dellenguaje, como en los mmétodos de demostración, Tambièn se rpesenta un sistema formal predicativo y se analizan sus propiedades. Para finalizar, la obra dispone de una tercera parte introductoria a la demostración automática, cuyo objetivo es preparar al alumno para abordar el estudio posterior de otros temas del área de inteligencia artificial. |
| 521 ## - NOTA DE PÚBLICO DESTINATARIO |
|---|
| Nota de público destinatario |
Para estudiantes del primer curso de ingeniería en informática, además puede ser utilizado por personas no universitarias debido a la cantidad de ejemplos y detalles explicativos. |
| 653 1# - TÉRMINO DE INDIZACIÓN--NO CONTROLADO |
|---|
| Término no controlado |
Lógica matemática |
|
|---|
| Término no controlado |
Cálculo proposicional |
|
|---|
| Término no controlado |
Cálculo de predicados |
|
|---|
| Término no controlado |
Teoremas, demostración |
|
|---|
| Término no controlado |
Método semántico |
|
|---|
| Término no controlado |
Demostración, teoría de la |
|
|---|
| Término no controlado |
Teoría interpretativa |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
|---|
| Tipo de ítem Koha |
Libros |
| Esquema de clasificación |
Clasificación Decimal Universal |
