Principal





Grupo 7060,
Clase: Lu, mi, ju 11-12,   Salón  P 211
Ayudante: Ma, vi 11-12, Salón P 211
Laboratorio:  Mi 14-16,  Laboratorio CC3

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

Ayud. Diego Carrillo Verduzco


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.

Avisos recientes

  • Notas de clase 8,9 y 10 Las notas de clase del paradigma imperativo ya están disponibles, así como la nota 8 acerca de tipos estructurados.
    Posted Oct 12, 2018, 7:21 PM by Favio Miranda
  • Actualización del boletin 2 Hola, acabo de actualizar el boletin para el segundo parcial, en particular agregué algunos ejercicios de exámenes anteriores.Recuerden que el examen es hasta la nota 6 y que en ...
    Posted Oct 4, 2018, 12:54 PM by Favio Miranda
  • Práctica 2 (evals) Hola,Para evitar que la función evals se cicle, en lugar de devolver la misma expresión cuando una función no recibe los argumentos esperados pueden lanzar un error de Haskell ...
    Posted Sep 16, 2018, 4:14 PM by Pablo Gerardo González López
Showing posts 1 - 3 of 7. View more »