Pedro Sánchez Terraf

Profesor Adjunto en FaMAF - UNC - Argentina

Introducción a los Algoritmos 2014 (Aula Virtual -- Moodle)

Material en PDF y algunos Prácticos

[Introducción a Linux]
[Ejercicios seleccionados]
[Definiciones de los Operadores de Listas]
[Lista de Axiomas y Teoremas completa]
[Estrategias de demostración para Cálculo Proposicional]
[Práctico 1] [Práctico 2] [Práctico 3 (preliminar)] [Practico 5 (provisorio)]
[Práctico extra de especificación] [Práctico extra de cálculo de predicados]
[Aplicaciones del Cálculo: Caballeros y Pícaros, Máximo, Piso, Techo]

Algunas Clases

[Clase 10/03]
[Clase 17/03] [Ejemplo de archivo .hs]
[Material relacionado con la Clase del 19/03]
[Ejecicio para 31/03]
[Autoevaluación]
[Clase 07/04]
[Conectivos Lógicos para usar 14/04]
[Clase 23/04]
[Clase 28/04]
[Clase 12/05]
[Clase 26/05]
[Clase 02/06]

Enlaces Relacionados

[Preludio Estándar de Haskell] [Documentación del Preludio Estándar]
[Página de Haskell con versiones para Linux, Windows y Mac, para instalar]
[Festival de Instalación de Software Libre (Linux, etc.)]