Programacion Logica Y Funcional

Programacion Logica Y Funcional

Temario y material de la nueva reticula de Ingeniería en Sistemas Computacionales.

Carreras Tecnologicas

Unidad 1 Conceptos Fundamentales Programacion Logica y Funcional.

1.1. Estilos de programación.

1.2. Evaluación de expresiones.

1.3. Definición de funciones.

1.4. Disciplina de tipos.

1.5. Tipos de datos.

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

Unidad 3 Evaluación perezosa.

3.1. La estrategia de evaluación perezosa.

3.2.Técnicas de programación funcional perezosa.

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


Mis sitios nuevos:
Emprendedores
Politica de Privacidad