Lógica computacional /
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)
005.131 P19l
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)
005.131 P19l