Pedro Sánchez Terraf

Profesor Adjunto en FaMAF - UNC - Argentina

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?]