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

Introducción al curso y al cálculo proposicional en Coq

Cálculo proposicional

Cálculo de Predicados

Cálculo de Construcciones, parte 1

Cálculo de Construcciones, parte 2

Cálculo de Construcciones Inductivas

Inversión e inducción

Verificación y derivación formal de programas funcionales

Caso de estudio para el Práctico 7

Inversión e inducción

Compartir

×

Iniciar en:

Terminar en:

12/10/2022

Todo el contenido de OpenFing es Creative Commons.