INFORMATICA | Encuadernación: Libro en otro formato | Páginas: 328 | Dimensiones: 170 x 240 | Sinopsis: 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 tradicionale... - INFORMATICA
