Paniagua Arís, Enrique./ Juan Luis Sanchez Gonzales/ Fernando Martin Rubio
Lógica computacional /
Enrique Paniagua Arís; Juan Luis Sánchez González; Fernando Martín Rubio.
- Madrid : Thomson, 2003.
- 205 p 24 cm.
- lógica computacional .
Incluye bibliografía, glosario e índice analítico.
La sintaxis de la lógica.-- La semántica de la lógica.-- Método axiomático.-- Método interpretativo.-- La demostración automática de teoremas.-- Los agentes
El primer paso hacia la inteligencia artificial,desde el desarrollo de la lógica fue dado por aristoteles(384-322a.C) cuando comenzó a explicar y a codificar ciertos estilos de razonamiento deductivo que él llamo silogismos.
8497321820
C++ (Lenguaje de programación para computadores) Programación orientada a objetos (Computación)