Este curso se desarrolla también para la
Licenciatura
en Ciencias de la Computación de la FCEIA, UNR (Argentina)
Construcción
Formal de Programas en Teoría de Tipos
2do semestre de 2013
Material
de Práctico
Material
Preliminar(.pdf) : Indicaciones para acceder a Coq y algunos
comandos
útiles
Práctico
1(.pdf) - plantilla_p1.v:
Asistentes de Prueba para Lógicos y
Matemáticos
- Cálculo Proposicional
Práctico
2(.pdf) - plantilla_p2.v:
Asistentes de Prueba para Lógicos y
Matemáticos
- Cálculo de Predicados
Práctico
3(.pdf) - plantilla_p3.v:
Asistentes de Prueba para Programadores - Cálculo de
Construcciones - Isomorfismo de Curry-Howard
Práctico
4(.pdf) Asistentes de Prueba para Programadores - Inducción
y Recursión
Práctico 5(.pdf) Asistentes de Prueba para Programadores - Inducción
y Recursión - Inversión
Práctico
6(.pdf) Verificación y Derivación de Programas Funcionales
Práctico
7(.pdf): Caso de Estudio
Principal Info-Gral
Teóricos Entregas Bibliografía Pág. Coq Links Software
Cualquier sugerencia
puede ser remitida por Email a los docentes
del curso