Introducción a los Algoritmos 2015 (Aula Virtual -- Moodle)
Ediciones anteriores: [2014]Material en PDF y algunos Prácticos
[Introducción a Linux][Ejercicios seleccionados]
[Definiciones de los Operadores de Listas]
[Fragmento del Libro “Cálculo de Programas”]
[Lista de Axiomas y Teoremas completa]
[Estrategias de demostración para Cálculo Proposicional]
[Traducción de Formalismo Básico a Haskell]
[Práctico 1] [Práctico 2] [Práctico 3] [Práctico 4] [Practico 5 (provisorio)]
[Práctico extra de especificación] [Práctico extra de cálculo de predicados]
[Presentación 20/04/2016]
Notas preliminares Recuperatorio.
Algunas Clases
Clase 09/03: [Resumen (incompleto) y extras]Clase 11/03: [Satisfactibilidad, Tipos y Funciones] [Ejemplo de archivo .hs]
Clase 18/03: [Definir funciones: Casos, recursión. Inducción en Enteros y Listas]
[Examen de Diagnóstico para trabajar individualmente]
[Archivo Haskell con Conectivos Lógicos]
Clase 15/04: [Razonamientos en Lógica Proposicional] [Presentación del Cálculo Proposicional]
Clase 20/04: [Reglas del Cálculo Proposicional]
Clase 11/05: Lectura de fórmulas con cuantificadores. Variables libres y ligadas.
Clase 13/05: [Introducción al Cálculo de Predicados y Cronograma de Ejercicios]
[Partición de Rango y aplicación a un ejercicio del Cálculo de Predicados]
Clase 18/05: Conectivos “compatibles” con el ∀. Teorema de Instanciación.
Clase 20/05: [Teorema de Reenumeración]
[Teorema P∧ Q ⇒ R para silogismos]
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.)]
[Manual de uso de SAT] [¿Cómo instalarlo?]