¡Esta es una revisión vieja del documento!
Tabla de Contenidos
Introducción a los Algoritmos: 1er cuatrimestre del 2015
Docentes
- Comisión 1: Araceli Acosta (encargada) y Renato Cherini.
- Comisión 2: Pedro Sanchez Terraf (encargado) y Walter Alini.
- Comisión 3: Paula Estrella (encargada) y Mauricio Tellechea.
- Comisión 4: Carlos Areces (encargado) y Raul Fervari.
Los ayudantes alumno se reparten entre las diferentes comisiones.
Horario de clases
- Comisión 1: lunes de 9 a 13 hs. en aula 28, miércoles de 9 a 13 hs. en aula 20.
- Comisión 2: lunes de 9 a 13 hs. en aula 20, miércoles de 9 a 13 hs. en aula 28.
- Comisión 3: lunes de 14 a 16 hs. en aula 28, lunes de 16 a 18 hs. en aula 20, miércoles de 14 a 16 hs. en aula 28, miércoles de 16 a 18 hs. en aula 20.
- Comisión 4: lunes de 14 a 16 hs. en aula 20, lunes de 16 a 18 hs. en aula 28, miércoles de 14 a 16 hs. en aula 20, miércoles de 16 a 18 hs. en aula 28.
Contacto
En la Comisión 1 usamos un grupo de e-mail para poder comunicarnos entre los estudiantes y los docentes. Cualquier pregunta o información que sea importante para la materia puede ser enviada a este grupo.
Para suscribirte, envía un e-mail a introalg2015+subscribe@googlegroups.com y respondé el e-mail de confirmación que te llegará a tu casilla de correo. La página del grupo es http://groups.google.com/group/introalg2015
Condiciones de aprobación y promoción
La evaluación de la materia durante el año se hará en dos parciales, y una instancia de recuperatorio al finalizar el cuatrimestre, oportunidad en la cual se podrán recuperar ambos parciales.
- Regularidad: dos parciales (o recuperatorios) aprobados con nota mayor a 5.
- Promoción: dos parciales(o recuperatorios) aprobados con nota mayor a 7 y 80% de asistencia.
Fechas tentativas de parciales
- 1er Parcial: 20 de abril.
- 2do Parcial: 8 de junio.
- Recuperatorio: 15 de junio.
Calendario tentativo de la materia
| Día | Temas | Práctico | Bibliografía |
|---|---|---|---|
| 09/03 | Introducción a expresiones. Variables, constantes, operadores. Precedencia y tipado. | 1 | Cap 1 [1] |
| 11/03 | Funciones simples y tipado | 1 | Cap 1 [1] |
| 16/03 | Validez y satisfactibilidad. Funciones por casos. | 1 | Cap 1 [1] |
| 18/03 | Listas, tipado de listas, introducción a recursión | 2 | Cap 3 [1] |
| 23/03 | FERIADO | ||
| 25/03 | Funciones recursivas sobre listas | 2 | Cap 3 [1] |
Inducción P2 Cap 4 [1] M01-04 Inducción P2 Cap 4 [1] L06-04 Inducción P2 Cap 4 [1] M08-04 Semántica de lógica proposicional P3 Cap 3 [2] L13-04 Semántica de lógica proposicional P3 Cap 3 [2] M15-04 Consultas para el parcial P1, P2 y P3
L20-04 Primer Parcial P1, P2 y P3
M22-04 Cálculo proposicional P4 Cap 3 [2] L27-04 Cálculo proposicional P4 Cap 3 [2] M29-04 Cálculo proposicional P4 Cap 3 [2] L04-05 Semántica de lógica de predicados P4 y P5 Cap 6 [2] M06-05 Semántica de lógica de predicados P5 Cap 6 [2] L11-05 Formalización de especificaciones P5 Cap 6 [2] M13-05 Formalización de especificaciones P5 Cap 6 [2] L18-05 Formalización de especificaciones P5 Cap 6 [2] M20-05 Cálculo de predicados P5 Cap 7 [2] L25-05 FERIADO REVOLUCIÓN DE MAYO
M27-05 SEMANA DE MAYO
L01-06 Cálculo de predicados P5 Cap 7 [2] M03-06 Cierre de la materia y consultas P4 y P5
L08-06 Segundo Parcial
M10-06 Consultas todos
L15-06 Recuperatorios todos
M17-06 Muestra de Recuperatorios y Consultas para Final
Prácticos
Listado de axiomas y teoremas
Guías para utilización de herramientas Ghc e Ithaca; y mundos para Ithaca
Haskell
Ithaca
Bibliografía
- [1] Discrete Mathematics Using a Computer, by John O'Donnell, Cordelia Hall and Rex Page, Springer, 2006. Capítulo 3 Capítulo 4
- [2] Javier Blanco, Damián Barsotti, Silvina Smith, Cálculo de Programas, Fa.M.A.F., Universidad Nacional de Córdoba, 2008. Acá hay disponible una versión digital del libro. Aviso importante: La fórmula enunciada como Teorema 5.22 no es válida y por lo tanto, no puede ser usada en demostraciones.