Name: Cálculo de Construcciones, parte 2
Uploaded: 2022-09-06T00:00:00-03:00
Description: Video de Cálculo de Construcciones, parte 2 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

Cálculo de Construcciones, parte 2

Descargar

×

Iniciar en:

Terminar en:

06/09/2022

Transcripción

Buscar en la transcripción

Cargando transcripción...

Todo el contenido de OpenFing es Creative Commons.