Ingeniería en Sistemas Computacionales
Unidad | Temas | Subtemas |
---|---|---|
1 | Conceptos Fundamentales. | 1.1. Estilos de programación. |
2 | Programación Funcional. |
2.1. El tipo de datos. 2.2. Funciones. 2.3. Intervalos. 2.4. Operadores. 2.5. Aplicaciones de las listas. 2.6. Árboles. |
3 | Evaluación perezosa. |
3.1. La estrategia de evaluación perezosa. |
4 | Fundamentos de la programación lógica. |
4.1. Repaso de la lógica de primer orden. 4.2. Unificación y resolución. 4.3. Cláusulas de Horn. Resolución SLD. 4.4. Programación lógica con cláusulas de Horn. 4.5. Semántica de los programas lógicos. 4.6. Representación clausada del conocimiento. 4.7. Consulta de una base de cláusulas 4.8. Espacios de búsqueda. 4.9. Programación lógica con números, listas y árboles. 4.10. Control de búsqueda en programas lógicos 4.11. Manipulación de términos. Predicados metalógicos. |