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]
