Cálculo λ y Tipos

Según nuestro manual de la Maestría en Ciencias de la Ingeniería, el objetivo de este curso es comprender y aplicar las herramientas matemáticas para la descripción de los lenguajes modernos de programación y conocer y entender la naturaleza lógica de la teoría de los lenguajes de programación.

El Cálculo Lambda (Cálculo λ) es una aplicación de la Lógica Matemática a la Computación Teórica que permite formalizar a los lenguajes de programación, en particular a la programación funcional.

Notas del Curso

En este espacio encontrarás archivos (al final de cada página) y vínculos de notas del curso mías o de otros autores, que te apoyará en la asignatura. Además estaremos apoyados por la plataforma moodle, donde deberás subir tus ejercicios y tareas, como se te indique.

Tutoría

Además del apoyo que tus compañeros te puedan proporcinoar sobre el curso y del que puedes obtener vía correo electrónico, la tutoría es otra manera de ayudarte, y consiste en asesorías personalizadas con tu tutor o con la persona a la que se te canalice. El horario lo establece tu tutor(a) correspondiente.

Evaluación

De acuerdo a la formación de nuestra maestría en ciencias, después del primer semestre se espera que, por la naturaleza de los cursos que ya no son del núcleo básico, haya menos interacción del profesor y más del alumno. Por lo tanto sugerimos la siguiente forma de evaluación.

Dos evaluaciones orales/escritas: 60%

Series de ejercicios, proyectos, exposiciones: 40%

FECHAS:

primera evaluación: 19–22 de marzo.

segunda evaluación: 10–18 de junio.

entrega de calificaciones: 1–8 de julio.

Asesoría Primavera 2013

Una manera más de apoyarte en tu curso es la asesoría individualizada, que a diferencia del correo electrónico y de la interacción con tus compañeros, ésta se lleva a cabo en la oficina del profesor (Edificio G) en las horas indicadas a continuación y con previa cita:

Lunes de 18:30–20:30hr

Jueves de 11:30–12:30hr

Contenido Temático

Bibliografía Sugerida

Primera Tarea

Ensayo de seis a diez páginas de lo que son los términos en el Cálculo Lambda y subirlo en PDF a moodle. Fecha de entrega: 18 de febrero 2013.