TY  - BOOK
AU  - Paniagua Arís, Enrique
AU  - Juan Luis Sánchez González Y otros
TI  - Lógico Computacional 
SN  - 8497321620
U1  - QA9.3  
PY  - 2003///
CY  - Madrid - España
PB  - Paraninfo S.A.
KW  - LA SINTAXIS DE LA LÓGICA
KW  - LA SEMÁNTICA DE LA LÓGICA
KW  - LA DEMOSTRACIÓN AUTOMÁTICA DE TEOREMAS
KW  - INGENIERÍA DE SISTEMAS E INFORMÁTICA
KW  - LÓGICA
KW  - COMPUTACIONAL
N1  - La sintaxis de la lógica. -- La lógica de los conceptos. -- La lógica formal. -- El lenguaje de las proposiciones. -- Los objetivos, atributos y relaciones. -- El lenguaje de los predicados. -- Objetivos y conjuntos. -- La semántica de la lógica. -- Los niveles de representación de un sistema lógico. -- Los compromisos epistemológicos de la lógica clásica. -- El método axiomático. -- Introducción. -- Demostración axiomática. -- El método interpretativo. -- Introducción. -- Estrategia de reducción al absurdo. -- La demostración automática de teoremas. -- Los agentes inteligentes y la lógica. -- Bibliografía
N2  - Este libro trata de lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación. Su uso es fundamental en varios niveles: en los circuitos computacionales, en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) de algoritmos
ER  -