Algoritmos y Estructuras de Datos I - 2018 1er cuatrimestre

¡¡Bienvenidos a la página de Algoritmos I!!

Aula Virtual (recuerden inscribirse).

Docentes

Teórico/Práctico: Damián Barsotti, Walter Alini.

Laboratorio:

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 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 2016 o en el primero de 2017.

Lógica:

Digesto de axiomas y teoremas para cálculo proposicional y expresiones cuantificadas.
- Anexo (axiomas y teoremas cuantificador de conteo).

Programación funcional:

Programación imperativa:

Ejemplos de finales:

(OJO: los ejercicios varían por cambios en los contenidos de la materia y por diferencias entre cursado y recursado.)

	Enunciado	Material	Fecha corrección
Proyecto 1	Proyecto 1	Aprende Haskell por el bien de todos! (cap. 1 al 6)	9/4
Proyecto 1	ej-estrella.pdf	Tipos: polimorfismo y alto orden	9/4
Proyecto 2	Proyecto 2	Ejemplos tipos de datos (archivo .hs)	7/5
		Tipos de datos en Haskell
		Tipos de datos, deriving, case, Maybe

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

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

12/3: Formación de grupos. Presentación de proyecto 1 y auto-repaso de linux.
19/3: Teórico: map, filter, polimorfismo paramétrico, clases, aplicación parcial.
26/3: Teórico de Taller: Tipos, clases de tipos y más.
2/4:FERIADO
9/4: Corrección de proyecto 1. Presentación de proyecto 2.
16/4: Teórico de Taller: Tipos de datos, deriving, case, Maybe.
23/4: Trabajo sobre proyecto 2 - Presentación de proyecto 3.
30/4: FERIADO.
7/5: Teórico: uso de Hal - Corrección de proyecto 2.
14/5: Teórico: semántica de programas imperativos.
21/5: Corrección de proyecto 3. Presentación de proyecto 4
28/5: Teórico: programación en C, debugging con GDB.
4/6: Teórico: arreglos y estructuras en C.
11/6: Corrección de proyecto 4.

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

13/3 Presentación de la materia. Derivación y verificación de programas. Practico 1. Expresiones Cuantificadas. Pueden hacer hasta el ej 9.
15/3 Reglas para la cuantificación general. Pueden hacer hasta el ej 14.
20/3 Cuantificador N. Análisis por casos y pruebas de implicación descargando antecedentes. Pueden terminar el práctico.
22/3 Consulta. Practico 2. Inducción. Verificacion y demostracion. Inducción sobre listas. Pueden hacer hasta 4.
27/3 Recursión lineal. Modularización.
29/3 Feriado
3/4 Esquemas inductivos.
5/4 Generalización por abstracción.
10/4 Paro
12/4 Segmentos.
17/4 Consulta.
19/4 1er Parcial