Source: http://cic.puj.edu.co/wiki/doku.php?id=materias:programacionfuncional
Timestamp: 2019-07-23 03:33:15+00:00

Document:
DECC Wiki [materias:programacionfuncional]
Traza: • programacionfuncional
El curso de Programación funcional presenta los fundamentos de la lógica, conjuntos, funciones, estructuras discretas básicas, principios de conteo y relaciones de recurrencia con el fin de que el estudiante conozca los fundamentos matemáticos que sustentan la práctica de la computación. El curso trata también las nociones básicas del modelo funcional, en particular el principio de computación como evaluación, incluyendo el cálculo lambda, Para que el estudiante aprecie la programación sin efectos de borde, entienda la correspondencia entre los fundamentos de inducción matemática y la recursión, y pueda desarrollar las bases para entender la semántica de los lenguajes de programación.
Entender los principios de la programación funcional.
Programar mediante composición funcional.
Aplicar correspondencia de patrones en construcción de funciones
Entender el uso de funciones como datos.
Saber aplicar la programación funcional de alto orden.
Usar clausuras para representar la noción de estado.
Aplicar la evaluación parcial
Entender el chequeo estático para analizar programas funcionales.
Conocer el los principios del cálculo lambda y su relación con prog. funcional
Entender el cálculo lambda como modelo general de computación
1,2,3 6 4 Lógica, equivalencias proposicionales, predicados y cuantificadores. [1, cap. 1]
4,5 2 1 Métodos de demostración. [1, cap. 1]
6 1 Conjuntos. [1, cap. 1]
7 1 1 Operaciones entre conjuntos. [1, cap. 1]
8 1 1 Funciones. [1, cap. 1]
9 1 1 Crecimiento de funciones [1, cap. 2]
1-9 28 Tareas semanales, resolución de problemas en temas vistos [1, cap. 1,2]
11 1 Enteros y división, aritmética modular [1, cap. 2]
13 1 Representación de enteros, el algoritmo de Euclides. [1, cap. 2]
14 1 2 Algunas aplicaciones de la teoría de números. [1, cap. 2]
11-14 13 Tareas semanales, resolución de problemas en temas vistos [1, cap. 2]
15,16 3 2 Sucesiones y sumatorias. Inducción matemática. [1, cap. 3]
17 3 2 Definiciones recursivas e inducción estructural. [1, cap. 3]
15-17 14 Tareas semanales, resolución de problemas en temas vistos [1, cap. 3]
18,19 3 2 Fundamentos de combinatoria, Principios del palomar. [1, cap. 4]
20,21 3 2 Permutaciones y combinaciones, Coeficientes binomiales [1, cap. 4]
18-21 14 Tareas semanales, resolución de problemas en temas vistos [1, cap. 4]
23 3 2 Relaciones de recurrencia. [1, cap. 6]
24 3 2 Resolución de relaciones de recurrencia. [1, cap. 6]
23,24 14 Tareas semanales, resolución de problemas en temas vistos [1, cap. 6]
Capítulo 6: Introducción a la programación Funcional
25 1 Programar con funciones, variables inmutables
26 2 2 Despacho por patrones, composición funcional
27 3 2 Funciones de primer orden, clausuras
25-27 14 Tareas semanales: resolución de problemas y ejercicios de programación
Capítulo 7: Programación funcional de alto orden
28 1 “Currying”, aplicación parcial
29 2 2 Iteradores, “map”, filtros
30 1 Análisis estático, chequeo de errores
31,32 5 4 El Cálculo lambda
28-29 10 Tareas semanales: ejercicios de programación
30-32 17 Tareas semanales: resolución de problemas en el cálculo lambda
Relevancia 5 2 3
(I) Uso de herramientas y técnicas (I2) Utilizar herramientas de diseño, modelamiento y simulación. (Aplicación). . 1.9, 2.5, 3.3, 5.2, 6, 7 Exposiciones del profesor, tareas. Trabajos escritos y de programación.
(J) Modelamiento y diseño de sistemas computacionales (J1) Reconocer la importancia del modelamiento cuando se resuelve un problema. (Compresión).. (J2) Relacionar conceptos y principios teóricos para la resolución efectiva de un problema. (Síntesis). (J4) Evaluar decisiones de diseño basándose en principios matemáticos y de computación. (Evaluación). 1.4, 1.5, 1.7, 1.8, 2.1, 2.2, 3.2, 3.4, 4.2, 5.1, 5.3, 6, 7 Exposiciones del profesor, solución de ejercicios, talleres. Exámenes y tareas.
Objetivo 1 X X X
Objetivo 5 X X X
Parcial I 25% 15%
Parcial II 25% 15% 5%
Parcial III 25% 15% 10% 15%
Talleres y Tareas 25% 5% 5% 15%
Robert Harper. Programming in Standard ML. http://www.cs.cmu.edu/~rwh/isml/book.pdf
materias/programacionfuncional.txt · Última modificación: 2016/08/23 00:10 por anavarro

References: resolución 
 resolución 
 resolución 
 resolución 
 Resolución 
 resolución 
 resolución 
 resolución 
 resolución