Tabla de Contenidos
Introducción a los Algoritmos: 1er cuatrimestre del 2015
Docentes
- Araceli Acosta (encargada)
- Luciana Benotti (encargada)
- Walter Alini
- Alejandro Gadea
Horario de clases
- Martes y jueves de 9 a 13 hs. en aula (laboratorio) 28.
Contacto
Para la comunicación entre los estudiantes y docentes vamos a usar un grupo de e-mail. Cualquier pregunta o información que sea importante para la materia puede ser enviada a este grupo.
Un grupo o lista de e-mail permite la distribución de e-mails a múltiples usuarios (potencialmente anónimos) de forma simultánea. En una lista de correo, al enviar un mensaje a la dirección de la lista, este llegará a la dirección de todas las personas inscriptas en ella. Al responder un mensaje, también lo haremos a todos los integrantes de la lista (salvo que indiquemos lo contrario en el campo “Para:”).
Para suscribirte, envía un e-mail a introalg2015-2c+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-2c
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: aprobar 2 parciales (o recuperatorios) con nota mayor a 50 en cada uno, un 50 es el 50% del parcial.
- Promoción: aprobar 2 parciales (o recuperatorios) con nota mayor a 70 en cada uno, un 70 es el 70% del parcial.
Fechas (tentativas) de parciales
- 1er Parcial: Jueves 17 de septiembre de 2015.
- 2do Parcial: Martes 10 de noviembre de 2015.
- Recuperatorio: Martes 17 de noviembre de 2015.
Calendario (tentativo) de la materia
| Día | Temas | Práctico | Bibliografía |
|---|---|---|---|
| Martes 11/08 | Semántica de lógica proposicional. Validez y Satisfactibilidad | 1 | Cap 6 [3], Cap 2 [2] |
| Jueves 13/08 | Semántica de lógica proposicional. Validez y Satisfactibilidad | 1 | Cap 7 [3], Cap 3 [2] |
| Martes 18/08 | Cálculo proposicional | 2 | Cap 7 [3], Cap 3 [2] |
| Jueves 20/08 | Cálculo proposicional | 2 | Cap 7 [3], Cap 3 [2] |
| Martes 25/08 | Cálculo proposicional | 2 | Cap 7 [3], Cap 3 [2] |
| Jueves 27/08 | Semántica de lógica de predicados | 3 | Cap 8 [3], Cap 5 [2] |
| Martes 01/09 | Semántica de lógica de predicados. Especificaciones | 3 | Cap 8 [3], Cap 5 [2] |
| Jueves 03/09 | Cálculo de predicados | 3 | Cap 9 [3], Cap 5 [2] |
| Martes 08/09 | Cálculo de predicados | 3 | Cap 9 [3], Cap 5 [2] |
| Jueves 10/09 | Cálculo de predicados | 3 | Cap 9 [3], Cap 5 [2] |
| Martes 15/09 | Consultas para el parcial | ||
| Jueves 17/09 | Primer Parcial | 1, 2 y 3 | |
| Martes 22/09 | SEMANA DEL ESTUDIANTE | ||
| Jueves 24/09 | SEMANA DEL ESTUDIANTE | ||
| Martes 29/09 | Definición de funciones simples | 4 | [3,5] |
| Jueves 01/10 | Funciones por casos y tuplas | 4 | [3,5] |
| Martes 06/10 | Muestra del parcial, tuplas y listas | 4 | [3,5] |
| Jueves 08/10 | Listas, tipado de listas | 4 | [3,5] |
| Martes 13/10 | Recursión | 5 | Cap 4 [4] |
| Jueves 15/10 | Funciones recursivas sobre listas | 5 | Cap 4 [4] |
| Martes 20/10 | Funciones recursivas sobre listas. Especificaciones | 5 | Cap 4 [4] |
| Jueves 22/10 | Especificaciones | 5 | Cap 4 [4] |
| Martes 27/10 | Inducción | 5 | Cap 4 [4] |
| Jueves 29/10 | Inducción | 5 | Cap 4 [4] |
| Martes 03/11 | Inducción | 5 | Cap 4 [4] |
| Jueves 05/11 | Consultas para el parcial | 4 y 5 | |
| Martes 10/11 | Segundo Parcial | 4 y 5 | |
| Jueves 12/11 | Muestra de parcial y Consultas | 1, 2, 3, 4 y 5 | |
| Martes 17/11 | Recuperatorios | 1, 2, 3, 4 y 5 | |
| Jueves 19/11 | Muestra de recuperatorios y consultas para el final | 1, 2, 3, 4 y 5 |
Prácticos
Listado de axiomas y teoremas
Bibliografía
- [1] John O'Donnell, Discrete Mathematics Using a Computer, 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: Las fórmulas enunciadas como Teoremas 5.22 y 5.30 no son válidas y por lo tanto, no pueden ser usadas en demostraciones.
- [3] Araceli Acosta, Renato Cherini, Miguel Pagano, Leticia Losano, Material de estudio (preliminar). material.pdf
- [4] Traducción capítulo 3 sobre Recusión del libro [1] (Discrete Mathematics Using a Computer extracto_cap_3_recursion.pdf
- [5] ¡Aprende Haskell por el bien de todos! http://aprendehaskell.es/main.html
Encuesta de la materia
Por favor, completá esta encuesta de comienzo del segundo cuatrimestre de Introducción a los Algoritmos