Algoritmos y Estructuras de Datos I - 2017 1er cuatrimestre

Aula Virtual (recuerde inscribirse).

Docentes

Teórico/Práctico: Damián Barsotti, Demetrio Martín Vilela, Gonzalo Peralta.

Laboratorio: Martín Domínguez, Paula Estrella, Juan Cruz Rodríguez.

Ayudantes: Diego Piloni, Matias Gastón Silva, Meriles Emanuel Juan René.

Teórico/Practico: martes y jueves de 14 a 18 hs, aula 25.

Laboratorio: lunes de 14 a 18 hs, Lab. 30.

Para regularizar la materia: 2 parciales aprobados con nota >= 4 o un recuperatorio equivalente y el taller aprobado.
Para promocionar la materia: 2 parciales aprobados con nota >= 6, promedio >= 7.5 y el taller aprobado.
Para rendir libre la materia, hay condiciones particulares respecto al taller. Ver Modalidad del taller para los detalles.

Nota: El taller también se considerará aprobado si lo fue en el segundo cuatrimestre de 2015.

“Borrador” del libro de la materia:

Programación funcional:

Digesto de axiomas y teoremas para cálculo proposicional y expresiones cuantificadas.
- Anexo (axiomas y teoremas cuantificador de conteo).
Digesto de funciones de listas y propiedades.
Ejemplo de 1er parcial.

Programación imperativa:

Más bibliografía y material acá.

Acá pondremos los prácticos.

	Enunciado	Teóricos	Fecha corrección
Presentación	Presentación
Proyecto 1	Proyecto 1	Linux y consola	29/3
		Ejercicios de Haskell.
		Haskell, GHCI, secciones, map, filter
		Tipos, polimorfismo, clases de tipos y más
Proyecto 2	Proyecto 2	Ejemplos tipos de datos (archivo .hs)	19/4
		Tipos de datos en Haskell
		Tipos de datos, deriving, case, Maybe
Proyecto 3	Proyecto 3(Archivos HAL)	Presentación de HAL	17/5
		Modelo Computacional
		Ejemplos de programas en HAL
		Instalar HAL
Proyecto 4	Proyecto 4	Programación C, GDB; Ejemplo de funciones en C
	Archivos complementarios Proy. 4	Teórico de Arreglos, Código Arreglo, Ejemplo de inicialización de arreglos; Teórico de Estructuras, Struct,	14/6

Enunciados y teóricos de años previos:

Acá pondremos el calendario completo de la materia como esperamos darlo.

7/3 Presentación de la materia. Derivación y verificación de programas. Practico 1. Expresiones Cuantificadas.
10/3 Reglas para la cuantificación general.
14/3 Cuantificador N. Análisis por casos y pruebas de implicación descargando antecedentes.
17/3 Consulta.
21/3 Practico 2. Inducción. Demostración por inducción de propiedades. Inducción sobre listas. Recursión lineal ej. 3.
24/3 Feriado.
28/3 Recursión lineal. Modularización.
31/3 Esquemas inductivos. Generalización por abstracción.
4/4 Consulta. Segmentos.
7/4 Consulta.
11/4 1er Parcial.
14/4 Practico 3 (Modelo computacional imperativo). Estados y transiciones. Anotaciones con predicados.
18/4 Terna de Hoare. Weakest Precondition (asignación, composición secuencial).
21/4 Weakest Precondition (if).
25/4 Teorema de la invariancia.
28/4 Derivación de asignación e if.
2/5 Derivación con invariantes.
5/5 Arreglos
9/5 Practico 4. Tecnicas para encontrar invariantes: termino de la conjunción.
12/5 Técnica de reemplazo cte. por variable.
16/5 Consulta.
19/5 Técnica de fortalecimiento de invariantes.
23/5 Semana de Mayo
26/5 Semana de Mayo
30/5 Problemas de Borde.
2/6 Consulta.
6/6 2do Parcial .
9/6 Problemas de Borde. Consulta.
13/6 Técnica de predicados intermedios.
16/6 Recuperatorio .

Acá pondremos lo que efectivamente fuimos dando en cada clase.

7/3 Presentación de la materia. Derivación y verificación de programas. Practico 1. Expresiones Cuantificadas. Reglas para la cuantificación general (sin anidado). Dado ejercicio de escribir reglas de C. General (ej.7).
31/3: Segmentos
4/4: Especificación con 2 variables bound. Consulta.
7/4: Consulta.
11/4: Parcial.
5/5 Arreglos
9/5 Practico 4. Tecnicas para encontrar invariantes: termino de la conjunción.
12/5 Paro
16/5 Técnica de reemplazo cte. por variable.
19/5 Técnica de fortalecimiento de invariantes.
23/5 Semana de Mayo
26/5 Semana de Mayo
30/5 Problemas de Borde.
2/6 Consulta.
6/6 2do Parcial .
9/6 Problemas de Borde. Consulta.
13/6 Técnica de predicados intermedios.
16/6 Recuperatorio .