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 el cómputo.
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).
También se dedica atención.
Descargar Lógica Simbólica para Informáticos. (pdf, epub, mobi kindle)
descargar libro Lógica Simbólica para Informáticos.
[Descargar] Lógica Simbólica para Informáticos. PDF Pascual Julián Iranzo
[PDF y ePub] Lógica Simbólica para Informáticos. Descargar (libros) en pdf
No comments:
Post a Comment
Note: Only a member of this blog may post a comment.