Encabezado Facultad de Ciencias
Presentación

Ciencias de la Computación (plan 2013) 2024-2

Quinto Semestre, Lenguajes de Programación

Grupo 7094, 40 lugares. 28 alumnos.
Profesor Enrique Francisco Soto Astorga ma ju 18:30 a 20 O124
Ayudante José Manuel Madrigal Ramírez lu mi 17:30 a 18:30 O124
Ayud. Lab. Miguel Andrés Guevara Castro ma 10 a 12 Laboratorio de Ciencias de la Computación 3

 

IMPORTANTE: Favor de unirse a Classroom y a Telegram para recibir actualizaciones sobre horarios, formas de trabajo y ayudantías. Haremos algunas alteraciones para mejorar el contenido.

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:

  • 35% prácticas de laboratorio (individuales)
  • 35% exámenes en el aula (individuales; uno o dos por bloque)
  • 30% tareas (en equipo)

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.

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.