Práctico de inducción y recursión - Construcción Formal de Programas en Teoría de Tipos - OpenFing

Cursos Actualizaciones FAQs Sobre el proyecto

Construcción Formal de Programas en Teoría de Tipos

Teórico 2023
Teórico 2022
Teórico 2021

1
Introducción al Curso y Cálculo Proposicional en Coq
2
Cálculo de Predicados
3
Cálculo de Construcciones
4
Cálculo de Construcciones: segunda parte
5
Cálculo de Construcciones Inductivas
6
Práctico de inducción y recursión
7
Inversión
8
Verificación y síntesis de programas funcionales

Práctico de inducción y recursión

Compartir

×

Iniciar en:

Terminar en:

04/10/2023 Ver más

Docentes

Carlos Luna, Gustavo Betarte

Instituto

Computación

Transcripción

Buscar en la transcripción

Cargando transcripción...

Todo el contenido de OpenFing es Creative Commons.