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 |
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.