Pedro Sánchez Terraf

Profesor Adjunto en FaMAF - UNC - Argentina

Introducción a los Algoritmos 2017 — Comisión 2

Docentes de Práctico:

Walter Alini y Santiago Avalos.

Material en PDF y algunos Prácticos

[Aula Virtual]
[Introducción a la materia]
[Introducción a Linux]

[Definiciones de los Operadores de Listas]
[Fragmento del Libro “Cálculo de Programas”]
[Lista de Axiomas y Teoremas del Cálculo Proposicional]
[Traducción de Formalismo Básico a Haskell]

[Fotos de algunas pizarras]

Algunas Clases

Clase 22/03 (frustrada por falta de alumnos): [Tipos, Funciones y Patrones]

Clase 27/03: [Definiciones de funciones y Patrones]

Clase 29/03: [Tipos, Funciones y Patrones (reloaded!)]
[Ejemplo de archivo .hs]

Clases 03/04 y 05/04: [Material teórico sobre Recursión e Inducción en listas]

Clase 26/04: [Archivo Haskell con Conectivos Lógicos]
[Nueva versión del apunte]
[Presentación del Cálculo Proposicional]

Clase 22/05: [Archivo Haskell con el tipo “Figura”]
[Apunte con primera parte de Predicados]

Clase 07/06: “No presencial” por falta de colectivos. [Apunte actualizado con Cálculo de Predicados]

Clase 12/06: [Apunte actualizado con material de Inducción y Predicados (últimos ejercicios del Práctico 4)]

Clase 21/06: [Solución del Parcial 2 turno mañana]

Enlaces Relacionados

Ediciones anteriores: [2014] [2015]

Mumuki

[Página de Facebook] [Sitio web interactivo (registrarse antes)]

Haskell

[Preludio Estándar de Haskell] [Documentación del Preludio Estándar]
[Página de Haskell con versiones para Linux, Windows y Mac, para instalar]

Linux y Software Libre

[Festival de Instalación de Software Libre (Linux, etc.)]

Valid HTML 4.01 Transitional ¡CSS Válido!