Lógica, programación e inteligencia artificial
Material type:
TextPublication details: Madrid : Díaz de Santos, 1986Edition: 1a edDescription: [8], 412 p. ; 22 cmISBN: - 8486251435
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Libros
|
Biblioteca Fac.Informática | F.4.1 KOW (Browse shelf(Opens below)) | Available | DIF-03913 | |
|
Libros
|
Biblioteca Fac.Informática | F.4.1 KOW (Browse shelf(Opens below)) | Available | DIF-00808 |
Browsing Biblioteca Fac.Informática shelves Close shelf browser (Hides shelf browser)
| F.4.1 HAM Lógica para matemáticos | F.4.1 HAM Lógica para matemáticos | F.4.1 HUT Logic in computer science : modelling and reasoning about systems | F.4.1 KOW Lógica, programación e inteligencia artificial | F.4.1 KOW Lógica, programación e inteligencia artificial | F.4.1 LOG Logic of computation | F.4.1 MAN v.1 The logical basis for computer programming |
Versión castellana de Logic for problem solving, Elsevier Science Pub., c1979.
Prólogo -- 1. Introducción -- 2. Representación en forma clausal -- 3. Procedimientos de prueba analíticos y sintéticos para cláusulas Horn -- 4. Resolución de problemas con cláusulas Horn -- 5. La interpretación procesal de cláusulas Horn -- 6. Formación de planes y el problema de la armadura -- 7. Resolución -- 8. El procedimiento de prueba del grafo de conexión -- 9. Estrategias globales para la resolución de problemas -- 10. Comparación de la forma clausal con la forma estándar -- 11. Si-y-solamente-si -- 12. Formalización de la demostrabilidad -- 13. Lógica, cambio y contradicción -- Referencias (edición original) -- Referencias (suplemento a la edición española) -- Glosario español-inglés -- Glosario inglés-español
There are no comments on this title.