- Editorial:
- EDICIONES PARANINFO S.A.
- Año de edición:
- 2003
- Materia
- Aplicaciones informaticas
- ISBN:
- 978-84-9732-182-2
- Páginas:
- 205
- Encuadernación:
- Rústica
- Colección:
- LOGICA Y TEORIA DE LA CIENCIA
- LIBRERÍAS PICASSO - ALMERÍADisponible en 1 semana
- LIBRERÍAS PICASSO - GRANADADisponible en 1 semana
LOGICA COMPUTACIONAL
PANIAGUA Y OTROS
Disponibilidad:
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.
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.