Ciencias de la Computación (plan 2013) 2021-1

Optativas, Programación Declarativa

Importante

Para la comunicación con el grupo y entrega de trabajos, haremos uso de la plataforma Google Classroom. Es importante que tengan su correo actualizado en el Sistema de la Facultad de Ciencias pues ahí enviaremos los datos de acceso a la clase así como información sobre la presentación del curso. En caso de no recibir esta información o si tienen alguna duda, envíenme un correo a manu@ciencias.unam.mx.

Ya los hemos dado de alta a la plataforma y enviamos la liga de acceso a la sesión de presentación. Si alguien no recibió estos datos, envíenme un correo inmediatamente.

Página del curso

https://sites.google.com/ciencias.unam.mx/pdeclarativa/20211

Descripción

El objetivo del curso es familiarizar a los estudiantes con los paradigmas de la programación funcional y lógica. El primero de éstos está íntimamente ligado al estudio de los lenguajes de programación en cuanto a su aspecto semántico, mientras que el segundo es una herramienta poderosísima en este mismo sentido en las aplicaciones de Inteligencia Artificial. Se revisa en este curso el estilo de programación de los lenguajes funcionales y lógicos, su estructura, aplicaciones e implementación.

Evaluación

El curso se evaluará mediante Tareas (60%) y un Proyecto Final (40%).

Contenido

1. Programación Lógica
2. Programación Funcional