AUTOR/ES: FERNANDO MARTÍN RUBIO, ENRIQUE PANIAGUA ARIS, JUAN LUIS SÁNCHEZ GONZÁLEZ
ISBN: 9788497321822
AÑO: 2003
EDICION: 1ª
IDIOMA: Castellano
ENCUADERNACIÓN: Rústica
PÁGINAS: 224
DIMENSIONES: 17 x 24 cms
añadir libro al carrito
Pedidos superiores a 48€ (sin gastos envío) - España
ver carrito
recomendar este libro
recomendar la web
DE INTERES PARA: Informática
RELACIONADOS: Matemáticas computacionales
PUNTOS CLAVE: 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.
INDICE: 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.