Ambos lados, revisión anteriorRevisión previaPróxima revisión | Revisión previa |
algo1:2016-1 [2017/03/06 14:14] – damian | algo1:2016-1 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1 |
---|
===== Docentes ===== | ===== Docentes ===== |
| |
**Teórico/Práctico**: Damián Barsotti, Demetrio Martín Vilela, Leandro Ramos. | **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é. |
| |
**Laboratorio**: Martín Domínguez, Juan Cruz Rodríguez. | |
| |
**Ayudantes**: Emiliano Cuenca, Ignacio Queralt, Facundo Ramallo. | |
===== Horarios ===== | ===== Horarios ===== |
| |
**Teórico/Practico**: lunes y jueves de 14 a 18 hs, aula 25. | **Teórico/Practico**: martes y jueves de 14 a 18 hs, aula 25. |
| |
**Laboratorio**: martes de 14 a 18 hs, Lab. 30. | **Laboratorio**: lunes de 14 a 18 hs, Lab. 30. |
| |
| |
===== Fechas de parciales y recuperatorio ==== | ===== Fechas de parciales y recuperatorio ==== |
| |
| /* |
* Primer parcial: 11 de Abril | * Primer parcial: 11 de Abril |
* Segundo parcial: 6 de Junio | * Segundo parcial: 6 de Junio |
* {{:algo1:2014-2:ejemplo_parcial1.pdf|Ejemplo de 1er parcial.}} | * {{:algo1:2014-2:ejemplo_parcial1.pdf|Ejemplo de 1er parcial.}} |
* {{:algo1:2016-1:ejemplo_parcial2.pdf||Ejemplo de 2do parcial.}} | * {{:algo1:2016-1:ejemplo_parcial2.pdf||Ejemplo de 2do parcial.}} |
| */ |
===== Material ===== | ===== Material ===== |
| |
| |
Acá pondremos los prácticos. | Acá pondremos los prácticos. |
| /* |
* {{:algo1:2016-1:practico1.pdf|Práctico 1}} - Cálculo proposicional y expresiones cuantificadas. | * {{:algo1:2016-1:practico1.pdf|Práctico 1}} - Cálculo proposicional y expresiones cuantificadas. |
* {{:algo1:2016-1:practico2.pdf|Práctico 2}} - Especificación derivación y verificación de programas funcionales. | * {{:algo1:2016-1:practico2.pdf|Práctico 2}} - Especificación derivación y verificación de programas funcionales. |
* {{:algo1:2016-1:practico4.pdf|Práctico 4}} - Programación imperativa. | * {{:algo1:2016-1:practico4.pdf|Práctico 4}} - Programación imperativa. |
| |
| */ |
===== Parciales, recuperatorios y finales ===== | ===== Parciales, recuperatorios y finales ===== |
| |
* {{:algo1:algoritmos_i_2016_primer_cuatrimestre_-_teorico.pdf|Notas primer parcial}}. | |
* {{:algo1:2016-1:algoritmos_i_2016_primer_cuatrimestre_-_teorico_-_prerec.pdf|Notas segundo parcial}}. | |
* {{:algo1:2016-1:algoritmos_i_2016_primer_cuatrimestre_-_teorico-recup-corregido.pdf|Notas recuperatorio y condición final}}. | |
* {{:algo1:2016-1:algoritmos_i_2016_primer_cuatrimestre_-_final_1.pdf|Final 1}}. | |
* {{:algo1:2016-1:algoritmos_i_2016_primer_cuatrimestre_-_final_2.pdf|Final 2}}. | |
* {{:algo1:2016-1:algoritmos_i_2016_primer_cuatrimestre_-_final_3.pdf|Final 3}}. | |
| |
===== Laboratorio ===== | ===== Laboratorio ===== |
| |
| ^ Enunciado ^ Teóricos ^ Fecha corrección ^ | | ^ Enunciado ^ Teóricos ^ Fecha corrección ^ |
^ Presentación | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/presentacion_2016_1.html|Presentación]] ||| | ^ Presentación | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/presentacion_2017_1.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]] | 29/3| | ^ Proyecto 1 | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/proy1.pdf|Proyecto 1]] |[[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/clase2_linux.html|Linux y consola]] | 29/3| |
^ ::: | ::: | [[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/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_1_proy_1.html|Haskell, GHCI, secciones, map, filter]] | ::: | |