Lógica simbólica para informáticos (Record no. 780)
[ view plain ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 02620nam a22002297a 4500 |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| campo de control | 20201030100420.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | 201030b ||||| |||| 00| 0 eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
| Número Internacional Estándar del Libro | 958-682-600-7 |
| 040 ## - FUENTE DE LA CATALOGACIÓN | |
| Centro catalogador/agencia de origen | EcISTX |
| Lengua de catalogación | spa |
| Centro/agencia transcriptor | ISTX |
| Normas de descripción | rda |
| 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 |
| Número de documento/Ítem | I652l |
| 100 ## - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
| Nombre de persona | Pascual, Julián Iranzo |
| 245 ## - MENCIÓN DE TÍTULO | |
| Título | Lógica simbólica para informáticos |
| Mención de responsabilidad, etc. | Julián Iranzo, Pascual |
| 264 ## - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT | |
| Producción, publicación, distribución, fabricación y copyright | México, DF : |
| Nombre del de productor, editor, distribuidor, fabricante | Alfaomega , |
| Fecha de producción, publicación, distribución, fabricación o copyright | 2006 . |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | 299 páginas ; |
| Otras características físicas | Tablas ; gráficos ; ilustraciones ; |
| 336 ## - TIPO DE CONTENIDO | |
| Término de tipo de contenido | text |
| Código de tipo de contenido | txt |
| 337 ## - TIPO DE MEDIO | |
| Fuente | rdamedia |
| Nombre/término del tipo de medio | no mediado |
| Código del tipo de medio | n |
| 338 ## - TIPO DE SOPORTE | |
| Fuente | rdacarrier |
| Nombre/término del tipo de soporte | volumen |
| Código del tipo de soporte | nc |
| 505 ## - NOTA DE CONTENIDO CON FORMATO | |
| Nota de contenido con formato | INTRODUCCION A LA LOGICA. Qué es la lógica. De qué trata la lógica. Corrección, verdad y analiticidad. Presentación de los sistemas lógicos. LOGICA DE PROPOSICIONES. SEMANTICA. El lenguaje formal de la lógica de enunciados. Conectivas, tablas de verdad y funciones de verdad. Valoración y equivalencia lógica. Conjuntos adecuados de conectivas. Argumentación, validez y consecuencia lógica. CALCULO AXIOMATICO Y PROPIEDADES FORMALES. Sistema formal. Lenguaje objeto y metalenguaje. El sistema formal axiomático L. El concepto de deducción formal. Teorema de la deducción. Propiedades formales de la lógica de enunciados. Ley de intercambio. CALCULO DE DEDUCCION NATURAL. Métodos de prueba y deducción natural. El sistema de deducción natural. Consejos para la resolución de argumentos. Equivalencia entre el sistema L y el de deducción natural. LOGICA DE PREDICADOS. SEMANTICA. Nombres, factores y relatores. Cuantificadores. Lenguaje formal de primer orden. Teoría de modelos. CALCULO AXIOMATICO Y PROPIEDADES FORMALES. El sistema formal axiomático. Teorema de la deducción. Propiedades formales de la lógica de predicados. CALCULO DE DEDUCCION NATURAL. Métodos de prueba y deducción natural. Reglas de inferencia. Consejos para la resolución de argumentos. Equivalencia entre el sistema K y el de deducción natural. EXTENSIONES Y OTRAS LOGICAS. EXTENSIONES DE LA LOGICA DE PREDICADOS. Lógica de predicados de identidad. Tipos. Orden superior. OTRAS LOGICAS. Lógica clásica y otras lógicas. Problemas expresivos y la necesidad de otras lógicas. Lógicas multivalentes. Lógica modal. Lógica temporal. Lógica intuicionista. Lógica no monótona. FUNDAMENTOS MATEMATICOS. Conjuntos. Relaciones y funciones. Números naturales y principio de inducción matemática. REGLAS DE INFERENCIA. Reglas de inferencia básicas. Reglas de Inferencia derivadas. Fórmulas lógicamente equivalentes. |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | Lógica simbólica aplicada (informática) |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) | |
| Fuente del sistema de clasificación o colocación | |
| Tipo de ítem Koha | Libros |
| Estado de retiro | Estado de pérdida | Fuente del sistema de clasificación o colocación | Estado dañado | No para préstamo | Localización permanente | Ubicación/localización actual | Fecha de adquisición | Fuente de adquisición | Coste, precio normal de compra | Número de inventario | Total de préstamos | Signatura topográfica completa | Código de barras | Fecha visto por última vez | Número de copia | Precio válido a partir de | Tipo de ítem Koha |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Biblioteca ISTX | Biblioteca ISTX | 26/09/2020 | Donación, Docentes | 1.00 | 0976 | 511.3 I652l | 000976 | 07/11/2020 | Ej, 1 | 30/10/2020 | Libros |
