Logica Simbolica para Informaticos

El libro Logica Simbolica para Informaticos (2004) escrito por Pascual Julian Iranzo es una obra que se enfoca en la lógica simbólica y su aplicación en la informática.

El autor presenta una introducción a la lógica proposicional y de predicados, así como a la teoría de conjuntos y la teoría de funciones.

Además, el libro incluye ejercicios y problemas para que el lector pueda poner en práctica lo aprendido.

La obra es de gran utilidad para estudiantes de informática y programación, ya que la lógica simbólica es una herramienta fundamental en estas áreas.

Además, el libro es de fácil comprensión y está escrito de manera clara y concisa.

En resumen, Logica Simbolica para Informaticos (2004) es un libro altamente recomendado para aquellos que deseen aprender sobre lógica simbólica y su aplicación en la informática.

La lógica simbólica es una disciplina fascinante que tiene aplicaciones en diversas áreas, desde la informática hasta la filosofía.

Este libro es solo una introducción, pero puede ser el punto de partida para explorar más a fondo esta interesante área del conocimiento.