01407nam a22003134a 4500
1175
1175
0000035898
OSt
20191031182526.0
010326s2003 sp a fr 001 0 spa d
8497321820
CO-ViCUM
spa
Unimeta
spa
sp
005.131 P19l
2003
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.
C++ (Lenguaje de programación para computadores)
Programación orientada a objetos (Computación)
Martín Rubio, Fernando,
ed.
Sánchez González, Juan Luis,
ed.
160309
ddc
BK
0
0
ddc
0
0
GEN
001
001
2007-10-31
C
50000.00
0
005.131 P19l
007333
2019-10-31
1
2019-10-31
BK
Informatica-sistemas