====== Algoritmos y Estructuras de Datos I - 2018 1er cuatrimestre ====== {{ :algo1:portada.jpg?150 }} ¡¡Bienvenidos a la página de Algoritmos I!! [[http://www.famaf.proed.unc.edu.ar/course/view.php?id=367|Aula Virtual]] (recuerden inscribirse). /* ===== Novedades ===== */ ===== Docentes ===== **Teórico/Práctico**: Damián Barsotti, Walter Alini. /* Ayudantes: Jonathan David Mutal, Illak Zapata. */ **Laboratorio**: * //Docentes//: Martín Domínguez, Marco Rocchietti y Juan Cruz Rodríguez. * //Ayudantes//: /* Ayudantes: Ignacio Tiraboschi, Matías Silva, Nicolas Hormann Manriquez, Emanuel Meriles. */ ===== Horarios ===== **Teórico/Practico**: martes y jueves de 14 a 18 hs, aula 25. **Laboratorio**: lunes de 14 a 18 hs. lab. 30. ===== Regularidad / Promoción ===== * 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 [[algo1:taller:modalidad|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. /* - las notas son números redondos */ /* ===== Preguntas Frecuentes (FAQs) ===== === ¿Se pueden recuperar los dos parciales? === Sí, pero sólo para regularizar, y contando con el mismo tiempo que si recuperara uno solo. Para promocionar sólo se puede recuperar uno de los dos parciales. === ¿Se puede recuperar para levantar nota de promoción? === Sí, pero sólo un parcial, y queda la nota del recuperatorio, a riesgo de bajar la nota de promoción o incluso de perderla. */ /* ¿Qué pasa si promociono el teórico y no apruebo el taller? */ ===== Fechas de Parciales y Recuperatorios ==== /* * Primer parcial: 26 de septiembre * Segundo parcial: 21 de noviembre * Recuperatorios: 28 de noviembre * {{:algo1:2014-2:ejemplo_parcial1.pdf|Ejemplo de 1er parcial.}} * {{:algo1:2016-1:ejemplo_parcial2.pdf|Ejemplo de 2do parcial.}} */ ===== Notas de parciales y recuperatorios ===== /* * {{:algo1:2016-2:2016c2par1.pdf|1er parcial}} * {{:algo1:2016-2:2016c2par2.pdf|2do parcial}} * {{:algo1:2016-2:2016c2recup1.pdf|Recuperatorio 1er parcial}} (con solución ej. 3) * {{:algo1:2016-2:2016c2recup2.pdf|Recuperatorio 2do parcial}} (con solución ej. 3) */ ===== Material de Teórico/Práctico ===== * [[http://www.cs.famaf.unc.edu.ar/~damian/calcprog|Libro de la materia]] /* * Notas de clase: * {{:algo1:clases_teoricas_2014-2.pdf|Programación funcional (Marianela Morales, 2014)}} * {{:algo1:clases_teoricas_2016-2.pdf|Programación imperativa (Lucía González, 2016)}} */ Lógica: * {{:algo1:2018-1:digesto.pdf|Digesto}} de axiomas y teoremas para cálculo proposicional y expresiones cuantificadas. * {{:algo1:2018-1:cuantificador_n.pdf|Anexo}} (axiomas y teoremas cuantificador de conteo). Programación funcional: * {{:algo1:2018-1:listas.pdf|Digesto}} de funciones de listas y propiedades. Programación imperativa: * {{:algo1:2018-1:imperativo.pdf|Digesto}} para la programación imperativa. /* * {{:algo1:2014-2:ejemplo_parcial1.pdf|Ejemplo de 1er parcial.}} * {{:algo1:2016-1:ejemplo_parcial2.pdf|Ejemplo de 2do parcial.}} */ Ejemplos de finales: (**OJO:** los ejercicios varían por cambios en los contenidos de la materia y por diferencias entre cursado y recursado.) * {{:algo1:2017-2:2016c2final1.pdf|5 de diciembre de 2016}} * {{:algo1:2017-2:2016c2final2.pdf|X de diciembre de 2016}} * {{:algo1:2017-2:2016c2final3.pdf|15 de febrero de 2017}} * {{:algo1:2017-2:2016c2final4.pdf|3 de marzo de 2017}} [[:algo1:bibliografia2|Más bibliografía y material acá.]] ===== Prácticos ===== * {{:algo1:2018-1:practico1.pdf|Práctico 1: Expresiones Cuantificadas y Formalismo Básico}} * {{:algo1:2018-1:practico2.pdf|Práctico 2: Especificación, Derivación y Verificación de Programas Funcionales}} /* * {{:algo1:2017-2:practico3.pdf|Práctico 3: Introducción a la Programación Imperativa}} * {{:algo1:2017-2:practico4.pdf|Práctico 4: Introducción al Cálculo de Programas Imperativos}} */ ===== Material de laboratorio ===== | ^ Enunciado ^ Material ^ Fecha corrección ^ ^ Proyecto 1 | {{:algo1:2017.c2.proy1.pdf| Proyecto 1}} | [[http://aprendehaskell.es/main.html|Aprende Haskell por el bien de todos! (cap. 1 al 6)]] | 9/4| ^ ::: | {{:algo1:proy1-estrella-2017.c2.pdf|ej-estrella.pdf}} | {{https://docs.google.com/presentation/d/1U2OyJe_rN31UA8xx6geh9wvfJeRWBzjO26IrjN8UBFQ/edit?usp=sharing|Tipos: polimorfismo y alto orden}} | ::: | ^ Proyecto 2 | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/proy2_2018_1.pdf|Proyecto 2]] | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/clase_2_ejemplo_tipos.hs|Ejemplos tipos de datos (archivo .hs)]] | 7/5| ^ ::: | ::: |[[https://docs.google.com/presentation/d/15dhZOodeKXUirtK9Lf2Nwy1AgMdovnVdm5CenyGnFiY/edit?usp=sharing|Tipos de datos en Haskell]] | ::: | ^ ::: | ::: |[[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/proyecto_2_CLASE_1.html|Tipos de datos, deriving, case, Maybe]] | ::: | /* ^ Proyecto 3| {{:algo1:2017-c2-proy3.pdf|Proyecto 3}} |[[https://docs.google.com/presentation/d/1RgMHdplxxLrt4VEHWc6n1oaHwZHAOiVBNp_hBTaBlnA/edit?usp=sharing|Presentación de HAL]]| 23/10| ^ ::: | ::: | [[https://docs.google.com/presentation/d/1bdbjz1kg5cWMONob9puz9aEKNTr_IxN0TVFqjKhn2cg/edit?usp=sharing|Modelo Computacional]] | ::: | ^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/Examples-HAL.zip|Ejemplos de programas en HAL]] | ::: | ^ ::: | ::: | {{:algo1:hal-gui.zip|Código fuente de HAL incompleto}} | ::: | ^ ::: | ::: | [[algo1:instalarhal_local|Instalar HAL incompleto en el lab]] | ::: | ^ ::: | ::: | [[algo1:instalarhal|Instalar HAL incompleto en tu maquina personal]] | ::: | ^ Proyecto 4 | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/proy4_2016_2.pdf|Proyecto 4]] |[[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/archivos_ejercicios.zip|Archivos complementarios Proy. 4]] | 22/11| ^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/Clase_1_de_C_con_hal.html|Programación C, GDB]] | ::: | ^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/funciones_en_c.c|Ejemplo de funciones en C]] | ::: | ^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/clase_arreglo.html|Teórico de Arreglos]] | ::: | ^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/arreglo.c|Código Arreglo]] | ::: | ^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/inicializar.c|Ejemplo de inicialización de arreglos]] | ::: | ^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/clase_struct.html|Teórico de Estructuras]] | ::: | ^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/struct_ejemplo.c|Struct]] | ::: | */ /* Enunciados y teóricos de años previos: * Introduccion a GDB. Por Marco Brunello y Leandro Ramos. {{:algo1:2011-2:gdb.pdf|Presentación}}, {{:algo1:2011-2:ejemplo_gdb.tar.gz|ejemplos}}. [[https://gist.github.com/zhaidongplus/5113855|Resumen de comandos de consola Linux]] y [[http://cli.learncodethehardway.org/book/| un libro sobre el tema]]. */ ===== Calendario Tentativo ===== Acá pondremos el calendario completo de la materia como esperamos darla. ==== Teórico/Práctico ==== * 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. /* Derivación con invariantes.*/ * 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 ==== Taller ==== *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. ===== Bitácora ===== 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** /* * 19/4 **Practico 3** (Modelo computacional imperativo). Estados y transiciones. Anotaciones con predicados. * 24/4 Terna de Hoare. Weakest Precondition (asignación, composición secuencial). * 26/4 Weakest Precondition (if). * 1/5 Feriado * 3/5 Teorema de la invariancia. * 8/5 Derivación de asignación e if. * 10/5 Derivación con invariantes. * 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 de Borde. Consulta. * 19/6 Consulta * 21/6 Recuperatorio */