Encabezado Facultad de Ciencias
Presentación

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

Optativas, Programación Declarativa

Grupo 7073, 30 lugares. 9 alumnos.
Profesor Miguel Angel Piña Avelino lu mi vi 10 a 11 Laboratorio de Ciencias de la Computación 3
Ayudante Alejandro Hernández Mora ma ju 10 a 11 Laboratorio de Ciencias de la Computación 3
Ayud. Lab. Pablo Gerardo González López mi 12 a 14 Taller de Lenguajes de Programación

 

Programación declarativa

Profesor:

Miguel Angel Piña Avelino

Ayudante:

Alejandro Hernández Mora

Laboratorista:

Pablo Gerardo González López

Temario

  1. Introducción

  2. Prolog

    1. Conceptos básicos

    2. Backtracking

    3. Operaciones en estructuras de datos

    4. Entrada y salida

    5. Técnicas y estilos de programación

  3. Haskell

    1. Conceptos fundamentales

    2. Tipos de datos

    3. Listas

    4. Árboles

    5. Modos de evaluación

    6. Tipos de datos abstractos

    7. Mónadas

    8. Bibliotecas adicionales en Haskell

  4. Clojure

    1. REPL

    2. Estructuras de datos

    3. Estructura y flujo de los programas

    4. Programación funcional con Clojure

    5. Macros, DSL

    6. TDD

Modo de evaluación

Exámenes: 25%

Prácticas: 30%

Exposición: 15%

Proyecto: 30%

_______________

Total: 100%

Notas:

  • Habrá dos exámenes.

  • Habrá entre 8 y 9 prácticas.

  • Al final del semestre, en parejas o por tercias tendrán que exponer un tema relacionado con la programación declarativa.

  • Tendrán que implementar un proyecto final.

Bibliografía

  1. Bird R., Introduction to functional programming with Haskell 2nd ed., Prentice Hall, 2000.

  2. Bratko I., Prolog, Programming for artificial intelligence 3rd ed., Addison-Wesley, 2000.

  3. Rathore, A., Clojure in action. Manning Publications Co., 2015.

 


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.