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

  • Calificaciones finales Ya están las calificaciones finales en la hoja. Para aquellos que hicieron el examen final, la parte práctica se tomó como el promedio de laboratorio.Si alguien tiene alguna reclamación ...
    Posted Dec 13, 2018, 7:45 PM by Diego Carrillo Verduzco
  • Final y recuperaciones - Lunes 10/12 Buenas a todos, Habiendo terminado de calificar las tareas-examen parcial 4 y los puntos de recuperación para el parcial 3, ya todos deberían estar en posición de saber si ...
    Posted Dec 6, 2018, 10:17 AM by Diego Carrillo Verduzco
  • Prácticas Extra Hola,Ya están disponibles las dos prácticas extra en la sección de Laboratorio. Les recuerdo que la fecha límite de entrega es el Domingo 9 de diciembre de 2018 a ...
    Posted Dec 3, 2018, 1:50 PM by Pablo Gerardo González López
Showing posts 1 - 3 of 11. View more »