Name: Inversión e inducción
Uploaded: 2022-10-12T00:00:00-03:00
Description: Video de Inversión e inducción de Construcción Formal de Programas en Teoría de Tipos en 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 al cálculo proposicional en Coq
2
Cálculo proposicional
3
Cálculo de Predicados
4
Cálculo de Construcciones, parte 1
5
Cálculo de Construcciones, parte 2
6
Cálculo de Construcciones Inductivas
7
Inversión e inducción
8
Verificación y derivación formal de programas funcionales
9
Caso de estudio para el Práctico 7

Inversión e inducción

Descargar

×

Iniciar en:

Terminar en:

12/10/2022

Transcripción

Buscar en la transcripción

Cargando transcripción...

Todo el contenido de OpenFing es Creative Commons.