Encabezado Facultad de Ciencias
Presentación

Ciencias de la Computación (plan 2013) 2025-1

Quinto Semestre, Lenguajes de Programación

Grupo 7102, 44 lugares. 31 alumnos.
Profesor Enrique Francisco Soto Astorga ma ju 17 a 18:30 P212
Ayudante José Manuel Madrigal Ramírez lu mi 18:30 a 19:30 P212
Ayud. Lab. Lázaro Eduardo Rodríguez Belmonte vi 14 a 16 Taller de Lenguajes de Programación

 

IMPORTANTE: A quienes se inscriban les enviaremos, mediante el correo configurado en el XFC, el link a Classroom y Telegram. Favor de estar al pendiente de esta página. :))

LA PRIMERA SESIÓN SERÁ EL MARTES 6 DE AGOSTO A LA HORA DE CLASE


Teoría de los Lenguajes de Programación:

Este curso, parte del contenido obligatorio para personas que estudian Ciencias de la Computación, tiene como objetivo proveer los fundamentos teóricos necesarios para comprender el andamiaje de los lenguajes formales programables así como su contextualización dentro de la Ciencia de la Computación. Para esto, estudiaremos diversos paradigmas o marcos de trabajo en los cuales se clasifican los lenguajes de programación así como sus bloques constructores. Este curso servirá para dominar la lógica general de los lenguajes de programación así como para sentar las bases para el estudio de su pragmática, encarnada en el curso de Compiladores.

Contenido temático:

Siguiendo el temario oficial, el curso estudiará los siguientes ejes temáticos:

  1. Fundamentos e introducción
  2. El paradigma funcional
  3. El paradigma imperativo
  4. Semántica y Sistemas de tipos
  5. El paradigma orientado a objetos
Pero lo haremos en los siguientes grandes bloques:
  1. Fundamentos
  2. Semántica dinámica
  3. Semántica estática
  4. Pragmática

Evaluación:

El curso será evaluado de la siguiente manera:

  • 50% prácticas de laboratorio (en equipo)
  • 50% exámenes (individuales) -- se realizarán en el horario de laboratorio para tener más tiempo.

No aplicaremos examen final. Para obtener NP deben presentarse un total de cero entregas en todos los rubros y solicitarlo al profesor durante la primera semana de exámenes finales. Podrán reponer un máximo de dos exámenes a elegir durante la primera semana de exámenes.

Textos del curso:

[1] Turbak, F., Gifford, D., & Sheldon, M. A. (2008). Design concepts in programming languages. MIT Press.

[2] Abelson, H., & Gerald J. S. con Julie Sussman (1996). Structure and Interpretation of Computer Programs (2a ed). MIT Press.

[3] Las notas que iremos pasándoles en el curso, varias inspiradas por el trabajo de la Dra. Karla Ramírez Pulido.

¿Tienes dudas? Escribe un correo al profesor asignado al curso. :))

 


Hecho en México, todos los derechos reservados 2011-2016. Esta página puede ser reproducida con fines no lucrativos, siempre y cuando no se mutile, se cite la fuente completa y su dirección electrónica. De otra forma requiere permiso previo por escrito de la Institución.
Sitio web administrado por la Coordinación de los Servicios de Cómputo de la Facultad de Ciencias. ¿Dudas?, ¿comentarios?. Escribenos. Aviso de privacidad.