Página Principal

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.


Facultad de Ciencias UNAM, Grupo 7157 (Grupo 7158, plan 1995)

Profr. Dr. Favio E. Miranda Perea
Cub. 020, Departamento de Matemáticas

Ayudante de teoría: Moises Vázquez Reyes

Ayudante de laboratorio: Javier Enríquez Lavida


Horario:
Clase:  lunes, miércoles y viernes 11-12, salón P211
Ayudantía;  martes y jueves 11-12, salón P211

Laboratorio: miércoles 14-16, LCC 2.


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.





Avisos recientes

  • ¡Promedios finales! Cualquier aclaración, a más tardar el martes 6 de enero del 2015.¡Felices fiestas a todos!
    Posted Dec 11, 2014, 11:58 AM by Moises Vazquez Reyes
  • Tarea-examen y reposición 3 calificados Recuerden que el lunes es el final.
    Posted Dec 5, 2014, 7:53 PM by Moises Vazquez Reyes
  • Examen Final Todos los compañeros que deseen presentar examen final deben mandar un correo al Profesor y a mí avisando que desean presentarlo.¡Mucha suerte!
    Posted Dec 1, 2014, 2:55 PM by Moises Vazquez Reyes
Showing posts 1 - 3 of 58. View more »

Notas recientes

  • lp151n16.pdf   252k - Nov 18, 2014, 6:24 PM by Favio Miranda (v1)
    ‎Java Peso Pluma‎
Showing 1 files from page Notas de clase.

Archivos recientes

  • lp151te4.pdf   142k - Nov 21, 2014, 12:42 PM by Favio Miranda (v2)
    ‎Tarea examen correspondiente al parcial 4‎
Showing 1 files from page Archivero.