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.)]