Instituto de Computación - Grupo de Metodos Formales - Facultad de Ingeniería

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 2012

Material de Teórico

Teórico 1: Introducción y Lógica Proposicional

Principal   Info-Gral   Prácticos   Entregas   Bibliografía   Pág. Coq   Links   Software

Cualquier sugerencia puede ser remitida por Email a los docentes del curso