Construcción Formal de Programas en Teoría de Tipos
Diagrama de temas
-
-
Información del curso para la edición 2024
El curso tiene modalidad Taller, con entrega de ejercicios seleccionados de los prácticos, a través del EVA. En la evaluación se contemplan además dos parciales presenciales (ver abajo más detalles sobre la forma de evaluación).
El curso se desarrollará en formato virtual (remoto). Ver en "coordenadas de acceso a la sala Zoom" el link a usar para las clases de los días martes a la hora 18. La primera instancia será el martes 5/3/24 donde se explicará el funcionamiento del curso/taller.
Las clases (de teórico) están grabadas y disponibles en: https://open.fing.edu.uy/courses/cfptt-2023. Ser usarán estas grabaciones en 2024.
Durante 2024 el único docente y responsable del curso es el Dr. Carlos Luna.
============
Según los resultados obtenidos en los dos parciales y las entregas, surgen dos posibilidades (según el programa del curso):– Exoneración del curso
– Insuficiencia en el curso; el estudiante reprueba el cursoExoneración, El/La estudiante debe cumplir los siguientes requisitos:
1. llegar al nivel mínimo en los trabajos de laboratorio (que inciden un 30% en la evaluación final)
2. reunir al menos el 60 % del puntaje de parciales (que inciden 25% -primer parcial- y 45% -segundo parcial- en la evaluación final)
3. obtener al menos el 25 % en cada prueba parcialInsuficiencia. El/La estudiante no obtiene los puntajes de las franjas anteriores.
============
-
En esta sección se encuentran los datos de la sala Zoom para asistir al dictado de los teóricos del curso
-
-
Presentación del curso: 5/3/24.
-
Introducción al curso y cáculo proposicional constructivo y de alto orden
-
Entrega del práctico 1
-
-
Cálculo Lambda, Cálculo de Construcciones e Isomorfismo de Curry-Howard
-
-
Cálculo Lambda Tipado y Cálculo de Construcciones
-
Entrega práctico 3
-
-
Inducción y Recursión, Invesrión, Verificaión de programas funcionales
-
-
Letra del Parcial 1
-
-
Upload de Parcial 1
-
Disponen aquí de una encuesta para brindar su opinión sobre la UC y el equipo docente. Completarla requiere 5 minutos y es anónima. La opinión de los estudiantes sobre el desarrollo de las UC es un insumo muy importante para el equipo docente y para la Facultad en su conjunto. Permite evaluar mejoras a realizar para las próximas ediciones. Contamos con su participación.
-
Disponen de la encuesta para realizar la evaluación de cada docente del curso de manera individual.
-