Encabezado Facultad de Ciencias
Presentación

Ciencias de la Computación (plan 2013) 2022-2

Optativas, Programación Declarativa

Grupo 7106, 11 lugares. 9 alumnos.
Profesor Javier Enríquez Mendoza ma ju 16 a 17:30 P107
Ayudante Juan Alfonso Garduño Solís lu mi 17:30 a 18:30 P107
Ayud. Lab. lu 14 a 16

 

🎱 Modalidad

La modalidad del curso será híbrida, con una combinación entre sesiones presenciales (opcionales) y sesiones virtuales. El curso podrá llevarse 100% de forma virtual.

🤖 Descripción del curso

El objetivo del curso es la familiarización con los estilos de programación funcional y lógico mediante el estudio de los fundamentos teóricos de cada uno así como casos particulares en los que se usan estos no sólo dentro de la academia sino también en la industria.

🧮 Temario

  1. Introducción
  2. Programación lógica
  3. Elementos básicos de la programación funcional
  4. Tipos de datos
  5. Conceptos avanzados de funciones
  6. Programación Origami
  7. Deforestación
  8. Esquemas recursivos
  9. I/O
  10. Mónadas y Funtores
  11. Lenguajes de programación con sistemas de tipos más expresivos
  12. Verificación de programas

🎯 Evaluación

El curso se evaluará con los siguiente criterios:

  • Tareas ............... 70%
  • Proyecto final .... 30%

🔗 Enlaces

☎️ Contacto

Cualquier duda sobre la inscripción o contenido del curso se puede aclarar en el correo javiem@ciencias.unam.mx

 


Hecho en México, todos los derechos reservados 2011-2016. Esta página puede ser reproducida con fines no lucrativos, siempre y cuando no se mutile, se cite la fuente completa y su dirección electrónica. De otra forma requiere permiso previo por escrito de la Institución.
Sitio web administrado por la Coordinación de los Servicios de Cómputo de la Facultad de Ciencias. ¿Dudas?, ¿comentarios?. Escribenos. Aviso de privacidad.