Construcción Formal de Programas en Teoría de Tipos
Diagrama de temas
-
-
La información del curso se irá actualizando aquí para la edición 2022 (segundo semestre).
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.
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 clase será el martes 2/8/22. -
Foro
-
En esta sección se encuentran los datos de la sala Zoom para asistir al dictado de los teóricos del curso
-
Módulo de encuesta
-
Módulo de encuesta
-
-
Presentación del curso: 2/8/22.
-
Introducción al curso y cáculo proposicional constructivo y de alto orden
-
Recurso
-
Recurso
-
Tarea
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
-
Recurso
-
Tarea
Entrega práctico 3
-
-
Inducción y Recursión, Invesrión, Verificaión de programas funcionales
-
-
-
Recurso
-
Entrega de práctico 5
-
-
-
VirtualCert
-
Recurso
-
Recurso
-
Entrega práctico 7 - Caso de Estudio
-
-
Segundo parcial de la edición 2018 del curso CFPTT
-
Letra del segundo parcial
-
Plantilla del segundo parcial
-
Tarea
Upload del Parcial 2
-