Principal


Grupo 7061 (7060, plan nuevo), Clave 0607 (??, plan nuevo)
Horario: Lu-Vi 11-12, Salón: O127
Lab:  viernes 14-16, taller de lenguajes de programación
Prof. Dr. Favio Ezequiel Miranda Perea.
Ayud. Roberto Monroy Argumedo 
Lab. Roberto Horacio Pérez López


Avisos recientes

  • Calificaciones definitivas Ya están disponibles las calificaciones que se asentarán en actas en un archivo pdf debajo de la lista de calificaciones. Cualquier aclaración mañana por correo. El acta se cerrará mañana ...
    Posted Jun 13, 2013, 2:02 PM by Favio Miranda
  • Calificaciones finales Ya están disponibles los promedios finales en la página de calificaciones. Para aclaraciones y recoger ejercicios, tareas o exámenes atrasados será únicamente el día de mañana jueves 13 de junio ...
    Posted Jun 12, 2013, 4:16 PM by Roberto Monroy Argumedo
Showing posts 1 - 2 of 22. View more »




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 y características fundamentales, java peso pluma.