Saltar al contenido

Ficha del libro

portada del libro
  • LOGICA PARA LA COMPUTACION
    TEORIAS DE PRIMER ORDEN RESOLUCION Y ELEMENTOS DE PROGRAMACION

  • LEDESMA, LUIS DE
  • RAMA
  • 2009
  • 01 ed.

  • ISBN: 978-84-7897-938-7
  • EAN: 9788478979387

  • 177 páginas
  • RUSTICA

  • TEMA: INFORMATICA


  • No disponible.
    Consultar disponibilidad

COMENTARIO BIBLIOGRÁFICO


La fuerza de la Lógica Formal reside en su capacidad para... deducir
precisa y, en muchos casos, mecánicamente, ciertas expresiones
simbólicas nuevas a partir de otras anteriores. Las expresiones
inferidas son los teoremas

Así se abre el texto: con los símbolos y leyes lógicas que nos
enseñarán a usar el sentido común y nuestra capacidad de razonar sobre
la realidad. Con ellos, demostraremos teoremas con rigor y, mejor
aún, aprenderemos a verificar con precisión que son realmente
válidos.

Estamos así en pleno centro de las Teorías de primer orden, la base de
toda lógica; aparecen sus raíces sanas y fuertes desde hace más de un
siglo y se muestran resultados históricos tanto por su propia
importancia como por su papel en el desarrollo de la ciencia moderna.

Con tales mimbres y a partir de su propio trabajo científico y
experiencia docente en Lógica, el autor ha hecho de estas primeras
nociones una base para el desarrollo posterior del texto.

El lector que se sitúa en este punto inicial comienza el tránsito a lo
largo de una línea de la que no se separará y que le conduce con
claridad hasta los fundamentos y las primeras nociones de la
programación lógica y PROLOG. Para el camino se le proporciona todo el
equipaje necesario, pero nada más. Tendrá que asomarse a nuevos
sistemas formales con su correspondiente teoría y nada será superfluo
porque pronto verá cómo dicha teoría tiene la potencia necesaria para
ir haciendo la Lógica cada vez más algorítmica.

Este libro no es sobre la historia. Tales libros, salvo ejercicios de
estilo, tienen la servidumbre de presentarse como un todo acabado. Sin
embargo, el autor no ha olvidado que a todos nos gusta saber cómo han
surgido las cosas y por qué alguien demostró lo que demostró.

Por eso, ha procurado que el lector nunca olvide que está en un
camino, ha añadido los comentarios que ha creído oportunos y ha
escrito con la intención de facilitar la lectura en la medida de lo
posible.

Este es un texto pensado para estudiantes y profesores inclinados a
las matemáticas, la lógica y los fundamentos de su automatización,
alumnos de primeros cursos de Lógica y aquellos programadores de
PROLOG que no han tenido la oportunidad de asomarse a la base sobre la
que descansa su trabajo.

El libro tiene un aire a la vez nuevo y tradicional que lo hace muy
recomendable para aquellos a los que está destinado Eugenio Roanes
Lozano, Reseña en el Boletín de la Sociedad "Puig Adam" de Profesores
de Matemáticas.