¡Bienvenido a la página de Algoritmos I!

• 04/08/2015: Relanzamiento de la página!
• 13/08/2015: Publicado el práctico 1.
• 25/08/2015: Se publicó el práctico 1 corregido. Se subió el borrador del libro de la materia.
• 01/09/2015: Se publicó el práctico 2 completo. Se publicaron las fechas de los parciales.

Teórico/Práctico: Javier Blanco, Franco Luque, Mauricio Telechea, Demetrio Martín Vilela, Beta Ziliani, Renato Cherini.

*Laboratorio*:

Comisión Mañana: Emanuel Gunther, Juan Cruz Rodríguez, Marco Rochietti.

Ayudantes: Franco Margaría, Iliak Zapata.

Comisión Tarde: Martín Domínguez, Leonardo Rodríguez, Demetrio Vilela.

Ayudantes: Bonader, Piloni, Schmidt.

Teórico/Practico: martes y jueves de 9 a 13 hs, aula D4 (Baterías D).

Laboratorio comisión mañana: miércoles de 9 a 13 hs, Lab. 30.

Laboratorio comisión tarde: miércoles 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 primer cuatrimestre de 2015.

• Primer parcial: 15/09/2015
• Segundo parcial: 10/11/2015
• Recuperatorios: 17/11/2015

“Borrador” del libro de la materia:

Programación funcional:

• Digesto de axiomas y teoremas para cálculo proposicional y cuantificadores.
• Digesto de funciones de listas y propiedades.

Programación imperativa:

• Digesto para la programación imperativa.

• Práctico 1 - Cálculo proposicional y expresiones cuantificadas.
• Práctico 2 - Especificación, derivación y verificación de programas funcionales.
• Introducción a la programación imperativa.
• Introducción al cálculo de programas imperativos.} ===== Laboratorio ===== | ^ Enunciado ^ Teóricos ^ Fecha corrección ^ ^ Presentación | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/presentacion_2015.html|Presentación]] ||| ^ Proyecto 1 | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/proy1.pdf|Proyecto 1]] |[[http://www.cs.famaf.unc.edu.ar/~hoffmann/algo1/2013-2/teoricos/html/clase2_linux.html|Linux y consola]] | 2/9| ^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/Ejercicio_extra_clase_1.hs|Ejercicios de Haskell.]] | ::: | ^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/CLASE_1_proy_1.html|Haskell, GHCI, secciones, map, filter]] | ::: | ^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/CLASE_2_proy_1.html|Tipos, polimorfismo, clases de tipos y más]] | ::: | ^ Proyecto 2 | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/proy2.pdf|Proyecto 2]] | [[http://www.cs.famaf.unc.edu.ar/~hoffmann/algo1/proy2_tiposdedatos.hs|Ejemplos tipos de datos (archivo .hs)]] | 23/9| ^ ::: | ::: |[[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/Tipos_en_Haskell.pdf|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|[[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/proy3.pdf|Proyecto 3]]([[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/hal-gui.zip|Archivos HAL]])|[[https://docs.google.com/presentation/d/104uhjnehOSZ5tu11AQRB2D-Mt71cuEa8zZE7Zi4Xex8/edit?usp=sharing|Presentación de HAL]]| 28/10| ^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/presentacio_modelo_comp.pdf|Modelo Computacional]] | ::: | ^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/Examples-HAL.zip|Ejemplos de programas en HAL]] | ::: | ^ ::: | ::: | [[algo1:instalarhal|Instalar HAL]]| ::: | ^ Proyecto 4 | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/proy4.pdf|Proyecto 4]] | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/clase_1_de_c.html|Programación C, GDB]]| 4/11| ^ Proyecto 5 | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/proy5.pdf|Proyecto 5]] |[[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/clase_arreglo.html|Teórico de Arreglos]], [[http://www.cs.famaf.unc.edu.ar/~hoffmann/algo1/2013-1/arreglo.c|Código Arreglo]], [[http://www.cs.famaf.unc.edu.ar/~hoffmann/algo1/2013-1/inicializar.c|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/~hoffmann/algo1/2013-1/struct.c|Struct]], [[http://www.cs.famaf.unc.edu.ar/~hoffmann/algo1/2013-1/struct2.c|Struct 2]]| 25/11| Ejemplos de programas en C: * Proyecto 4 / Proyecto 5: * Código C: [[http://www.cs.famaf.unc.edu.ar/~hoffmann/algo1/2013-1/helloworld.c|Hello, World!]] * Código C: [[http://www.cs.famaf.unc.edu.ar/~hoffmann/algo1/2013-1/assignacion.c|Assignación múltiple]] * Código C: [[http://www.cs.famaf.unc.edu.ar/~hoffmann/algo1/2013-1/while.c|While]] * Código C: [[http://www.cs.famaf.unc.edu.ar/~hoffmann/algo1/2013-1/mcd.c|Mcd]] * Código C: [[http://www.cs.famaf.unc.edu.ar/~hoffmann/algo1/2013-1/mcdFuncion.c|Mcd con función]] Enunciados y teóricos del año pasado: * Código C: [[http://www.cs.famaf.unc.edu.ar/~hoffmann/algo1/2013-1/collatz.c|Collatz]] * Introduccion a GDB. Por Marco Brunello y Leandro Ramos. {{:algo1:2011-2:gdb.pdf|Presentación, ejemplos.

Resumen de comandos de consola Linux y un libro sobre el tema.

• 12/8: Presentación Proyecto 1 y auto-repaso linux
• 19/8: Teórico de Taller: Haskell, GHCI, secciones, map, filter.
• 26/8: Teórico de Taller: Tipos, clases de tipos y más.
• 2/9: Corrección Proyecto 1. Presentación Proyecto 2.
• 9/9: Teórico de Taller: Tipos de datos, deriving, case, Maybe.
• 23/9: Corrección proyecto 2. Presentación Proyecto 3.
• 30/9: FERIADO
• 7/10: Presentación de proyecto 3. Teórico primera parte. Uso de Hal
• 14/10: Teórico semántica.
• 28/10: Corrección proyecto 3. Presentación proyecto 4
• 4/11: Teórico de Taller: Programación C, GDB.
• 11/11: Teórico de Taller: Arreglos y Estructuras en C.
• 25/11: Corrección proyecto 4.