LÓGICA COMPUTACIONAL

LÓGICA COMPUTACIONAL

Editorial:
PARANINFO
Año de edición:
Materia
INFORMATICA
ISBN:
978-84-9732-182-2
Páginas:
224
Encuadernación:
Rústica
Disponibilidad:
Disponible en 5 días

19,00 €

El presente texto pretende servir de elemento base para la adquisición de los fundamentos, conceptos, componentes y enfoques del componente lógico de dichos sistemas.

Índice

Prólogo. 1. La sintaxis de la Lógica. 2. La semántica de la Lógica. 3. El método axiomático. 4. El método interpretativo. 5. La demostración automática de teoremas. 6. Los Agentes Inteligentes y la Lógica. Bibliografía. Índice analítico.