000 02432nam a22005414a 4500
001 CUUTN000001
003 AR-CuUTN
005 20240701210047.0
007 ta
008 191210s1986 sp ddddf 001 0 spa d
020 _a8486251435
040 _aAR-CuUTN
_bspa
_cAR-CuUTN
_eaacr2
_eisbd
041 1 _heng
_aspa
080 0 _a510.5/.6
_22000
100 1 _aKowalski, Robert A.
_d1941-
_eautor
_94679
245 1 0 _aLógica, programación e inteligencia artificial /
_cRobert Kowalski.
250 _a1a ed.
260 _aMadrid :
_bDíaz de Santos,
_c1986.
300 _a[418] p. :
_bgráf. ;
_c22 cm
336 _2rdacontet
_atexto
_btxt
337 _2rdamedia
_asin mediación
_bn
338 _2rdacarrier
_asin volumen
_bnc
500 _aTítulo original: Logic for problem solving.
500 _aÍndice de contenidos: en primeras pág.
500 _aGlosario (español-inglés): p. 373 a 392.
500 _aGlosario (inglés-español): p. 393 a 412.
504 _aReferencias: p. 347 a 371.
505 0 _a1. Introducción.
505 0 _a2. Representación en forma clausal.
505 0 _a3. Procedimientos de prueba analíticos y sintéticos para cláusulas Horn.
505 0 _a5. La interpretación procesal de cláusulas Horn.
505 0 _a6. Formación de planes y el problema de la armadura.
505 0 _a7. Resolución.
505 0 _a8. El procedimiento de prueba del grafo de conexión.
505 0 _a9. Estrategias globales para la resolución de problemas.
505 0 _a10. Comparación de la forma clausal con la forma estándar.
505 0 _a11. Si-y-solamente-si.
505 0 _a12. Formalización de la demostrabilidad.
505 0 _a13. Lógica, cambio y contradicción.
520 3 _aEl objeto de este libro es investigar la aplicación de la lógica a la resolución de problemas y a la programación de ordenadores. Para su estudio no se requiere un conocimiento previo de estos campo y, por consiguiente, representa una introducción muy adecuada a los temas de lógica, teoría de resolución de problemas y programación de ordenadores.
521 _aPara profesional, investigador o estudiante de inteligencia artificial. También de utilidad para lógicos y matemáticos.
653 1 _aLógica matemática
653 2 _aInteligencia artificial
653 2 _aHorn, cláusulas de
653 2 _aProgramación
653 2 _aDemostrabilidad
942 _cBK
_2udc
999 _c3625
_d3625