Lógica computacional
Paniagua Arís, Enrique
Lógica computacional Enrique Paniagua Arís , Juan Luis Sánchez González y Fernando Martín Rubio - 1 - 205 páginas ; il. ; 24 cm.
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.
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. Es a causa de esta relación entre la lógica y el desarrollo de los sistemas inteligentes por la que es necesario la utilización de mecanismos de razonamiento automático.
84-9732-182-0
COMPUTADORAS LÓGICAS
LÓGICA SIMBÓLICA Y MATEMÁTICA
511.3 P192lo
Lógica computacional Enrique Paniagua Arís , Juan Luis Sánchez González y Fernando Martín Rubio - 1 - 205 páginas ; il. ; 24 cm.
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.
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. Es a causa de esta relación entre la lógica y el desarrollo de los sistemas inteligentes por la que es necesario la utilización de mecanismos de razonamiento automático.
84-9732-182-0
COMPUTADORAS LÓGICAS
LÓGICA SIMBÓLICA Y MATEMÁTICA
511.3 P192lo