LÓGICA FORMAL PARA INFORMÁTICOS - Tecno-Libro

Ver Índice

Introducción.
Método semántico - teoría interpretativa.
Teoría de la demostración.
Coherencia entre la teoría interpretativa y la teoría de la demostración.
Método semántico - teoría interpretativa.
Teoría de la demostración.
Coherencia entre la teoría semántica y la teoría de la demostración.
Introducción a la demostración automática de teoremas.
Principio de resolución.

La presente obra trata en profundidad el estudio de la Lógica Formal en dos niveles, según sea el grado de complejidad en la simbolización del lenguaje:

En la primera parte, se estudia el nivel básico o lógica proposicional; desde la sim-plicidad en la formalización del lenguaje y en los métodos de demostración, hasta la teoría de los sistemas formales axiomáticos y las propiedades de los mismos.

En la segunda parte, se desarrolla el nivel de la lógica de predicados de primer orden, con el consiguiente aumento de complejidad tanto en la construcción del lenguaje, como en los métodos de demostración.
También se presenta un sistema formal predicativo y se analizan sus propiedades. Para finalizar, la obra dispone de una tercera parte introductoria a la demostración automática, cuyo objetivo es preparar al alumno para abordar el estudio posterior de otros temas del área de Inteligencia Artificial.