Lógica computacional
Publicado por : Thomson (Madrid) Detalles físicos: 205 p. il. 24 cm. ISBN:8497321820.
Tema(s):
Demostracion automatica de teoremas.
|
Inteligencia artificial
|
Logica matematica no clasica
Año : 2003
Lista(s) en las que aparece este ítem:
ingenieria ambiental
No hay ítems correspondientes a este registro
Navegando Bogotá Federman Estantes Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
005.113 A35e Ej.2 Estructuras de datos y algoritmos | 005.113 O747t Ej.1 Taller de programación y cómputo | 005.113 P192l Ej.1 Lógica computacional | 005.113 P192l Ej.2 Lógica computacional | 005.113 U84F Fundamentos de programación | 005.113 U84FCJ Fundamentos de programación | 005.113 V714f Fundamentos de programación |
Incluye referencias bibliográficas y índice .
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 Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título.
No hay comentarios en este titulo.