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

• Foro Novedades
• Foro Consultas de Teórico
• Foro Consultas de Práctico

Módulo 1: Asistentes de pruebas para Lógicos y Matemáticos

• Tarea Entrega Práctico 1

Cálculo de predicados de alto orden

• Tarea Entrega Práctico 2

Cálculo Lambda y Cálculo de Construcciones

• Tarea Entrega Práctico 3

Inducción y Recursión

• Tarea Entrega Práctico 4

Inversión

• Tarea Entrega Práctico 5 (Ejercicios a entregar: 5.4, 5.5, 5.6 y 5.7)

Verificación de programas funcionales

• Tarea Entrega Práctico 6 (Ejercicios a entregar: 6.3, 6.5, 6.6, 6.7 y 6.8)