Inicio » Todas las materias » Informática » LÓGICA COMPUTACIONAL

Portada del libro LÓGICA COMPUTACIONAL
  • LÓGICA COMPUTACIONAL

  • 9788497321822
  • FERNANDO MARTÍN RUBIO, ENRIQUE PANIAGUA ARIS, JUAN LUIS SÁNCHEZ GONZÁLEZ
  • 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.
  • Características
  • 224 páginas
  • Formato 17 x 24 cms
  • Edición 2003
  • 17,50 € IVA incl.
  • Costes de entrega no incluidos

  • En stock
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.