Grupo 7060

Clase: Lu, mi, vi 11-12, Salón O 125

Ayudante: Ma, ju 11-12, Salón O125

Laboratorio: Mi 14-16, Laboratorio CC2

Prof. Dr. Favio Ezequiel Miranda Perea (Cubículo 020, Departamento de Matemáticas)

Ayud. Javier Enríquez Mendoza

Lab. Pablo Gerardo González López

Sinopsis:

El objetivo del 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:

1. Introducción: ¿para qué estudiar lenguajes de programación?, sintaxis, semántica, pragmática.
2. Fundamentos: definiciones inductivas, inducción estructural, sustitución, estilos de sintaxis y de semántica.
3. Paradigma Funcional: cálculo lambda, lenguaje PCF, tipos registro y variantes.
4. Paradigma Imperativo: referencias, excepciones, continuaciones
5. Paradigma Orientado a Objetos: subtipado, características fundamentales, Java Peso Pluma.