Ubicación Física: 005.131 / I65
Lógica simbólica para informáticos / | |
Autor: | Iranzo, Pascual Julián. |
Pié de imprenta: | México : Alfaomega, 2005. |
Descripción: | 299 p. |
ISBN: | 9701510720. |
Tema(s): | |
Resumen: | Este libro se centra, principalmente, en el estudio de las características y propiedades fundamentales de los sistemas lógicos tradicionales: la lógica de proposiciones y la de predicados. Sin desdeñar el rigor matemático se ha dado gran importancia a las técnicas de formalización, y más generalmente a las técnicas de representación del conocimiento mediante la lógica, así como a los procesos deductivos. Conscientemente se ha buscado un equilibrio entre ambos extremos, lo que distingue a este libro de otras propuestas existentes en la literatura, en las que o bien se hace hincapié en los contenidos matemáticos y la metateoría, o bien se aborda el estudio de la lógica de forma meramente descriptiva y centrándose en los problemas de deducción formal (en la propia lógica).La lógica es particularmente importante para la informática porque constituye la base matemática del software. Así pues, este libro aspira a desarrollar sólidas bases formales que permitan al alumno entender las relaciones existentes entre la lógica y la informática, y cómo los cálculos deductivos pueden constituir un soporte para la computación. |
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|---|
Libro - General | BIBLIOTECA SEDE LA CARO Depósito | Colección General | 005.131 / I65 (Navegar estantería(Abre debajo)) | Ej. 1 | Disponible | 44751 | ||
Libro - General | BIBLIOTECA SEDE LA CARO Depósito | Colección General | 005.131 / I65 (Navegar estantería(Abre debajo)) | Ej. 2 | Disponible | 44752 | ||
Libro - General | BIBLIOTECA SEDE LA CARO Depósito | Colección General | 005.131 / I65 (Navegar estantería(Abre debajo)) | Ej. 3 | Disponible | 44753 |
Navegando BIBLIOTECA SEDE LA CARO estanterías, Ubicación en estantería: Depósito, Colección: Colección General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
005.12 / M537 Diseño de algoritmos y su programación en C / | 005.12 / M537 Diseño de algoritmos y su programación en C / | 005.13 / F787 Domain-specific languages / | 005.131 / I65 Lógica simbólica para informáticos / | 005.131 / I65 Lógica simbólica para informáticos / | 005.131 / I65 Lógica simbólica para informáticos / | 005.131 / L473 Lógica para la computación : teoría de primer orden, resolución y elementos de programación lógica y Prolog / |
Sistemas
Este libro se centra, principalmente, en el estudio de las características y propiedades fundamentales de los sistemas lógicos tradicionales: la lógica de proposiciones y la de predicados. Sin desdeñar el rigor matemático se ha dado gran importancia a las técnicas de formalización, y más generalmente a las técnicas de representación del conocimiento mediante la lógica, así como a los procesos deductivos. Conscientemente se ha buscado un equilibrio entre ambos extremos, lo que distingue a este libro de otras propuestas existentes en la literatura, en las que o bien se hace hincapié en los contenidos matemáticos y la metateoría, o bien se aborda el estudio de la lógica de forma meramente descriptiva y centrándose en los problemas de deducción formal (en la propia lógica).
La lógica es particularmente importante para la informática porque constituye la base matemática del software. Así pues, este libro aspira a desarrollar sólidas bases formales que permitan al alumno entender las relaciones existentes entre la lógica y la informática, y cómo los cálculos deductivos pueden constituir un soporte para la computación.
No hay comentarios en este titulo.