Lógica para la computación teorías de primer orden, resolución y elementos de programación lógica y prolog
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | español |
| Publicado: |
México, D.F. :
Alfaomega : Ra-Ma,
2010.
|
| Edición: | Primera edición. |
| Colección: | Computación. Programación
|
| Materias: | |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- Teorías de primer orden
- Resolución
- Elementos de programación lógica y prolog
- Apéndice A: Definiciones y demostraciones inductivas
- Apéndice B: Adecuación de las tablas analíticas
- Apéndice C: Consideraciones elementales sobre la representación el conocimiento con lenguajes de primer orden.