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

Quinto Semestre, Lenguajes de Programación

El objetivo de este curso es estudiar diversos conceptos subyacentes al diseño, definición, implementación y características de los lenguajes de programación modernos así como técnicas formales para el estudio de algunos de los principales paradigmas de programación: funcional, imperativo y orientado a objetos.

Al finalizar el curso el alumno comprenderá los principios y componentes en el diseño de los lenguajes de programación y contará con las herramientas básicas para analizar formalmente diversas de sus características.

Temario sucinto.

1. Introducción: sintaxis y semántica, reglas e inducción estructural, expresiones let, ligado y alcance.

2. Paradigma funcional: cálculo lambda sin tipos, cálculo lambda tipado, inferencia de tipos, tipos estructurados.

3. Paradigma imperativo: memoria y asignación, el lenguaje IMP, excepciones, continuaciones.

4. Paradigma orientado a objetos: registros, subtipos, clases, Java Peso Pluma.



El curso se evaluará mediante exámenes parciales y prácticas de laboratorio. Los detalles de la evaluación se discutirán en la primera sesión el lunes 30 de enero de 2023.

Enlace de invitación al grupo Telegram: https://t.me/lengProg7095