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