Lógica, programación e inteligencia artificial / Robert Kowalski.
Tipo de material:
TextoIdioma: Español Lenguaje original: Inglés Detalles de publicación: Madrid : Díaz de Santos, 1986.Edición: 1a edDescripción: [418] p. : gráf. ; 22 cmTipo de contenido: - texto
- sin mediación
- sin volumen
- 8486251435
| Tipo de ítem | Biblioteca actual | Colección | Ubicación en estantería | Signatura | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
Libros
|
Facultad Regional Concepción del Uruguay | Materias básicas | MATERIAS BASICAS/LOGICA MATEMATICA | 510.5/.6 K 64 ; 7289 (Navegar estantería(Abre debajo)) | Disponible (Sin Restricciones) | 7289 |
Navegando Facultad Regional Concepción del Uruguay Estantes, Ubicación: MATERIAS BASICAS/LOGICA MATEMATICA, Código de colección: Materias básicas Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| 378.1'2:62 ; S 46 ; 3383 Teaching engineering, science, mathematics : guidance by distinguished teachers / | 510.5 ; L 5 ; 7126 Los límites de la razón / | 510+519.22 ; U 56 ; 8866 [Aplicaciones de metodologías borrosas a temas de gestión y economía]. Cuaderno 3 / | 510.5/.6 K 64 ; 7289 Lógica, programación e inteligencia artificial / | 510.6 ; H 3 ; 2753 Lógica para matemáticos / | 510.6 ; K 21 ; 7167 The essence of logic / | 510.6 ; L 5 ; 5887 Matemática borrosa : [técnicas de gestión para el tratamiento de la incertidumbre] / |
Título original: Logic for problem solving.
Índice de contenidos: en primeras pág.
Glosario (español-inglés): p. 373 a 392.
Glosario (inglés-español): p. 393 a 412.
Referencias: p. 347 a 371.
1. Introducción.
2. Representación en forma clausal.
3. Procedimientos de prueba analíticos y sintéticos para 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.
El 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.
Para profesional, investigador o estudiante de inteligencia artificial. También de utilidad para lógicos y matemáticos.
Haga clic en una imagen para verla en el visor de imágenes
No hay comentarios en este titulo.