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
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.
| 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 |
Por favor, completá esta encuesta de comienzo del segundo cuatrimestre de Introducción a los Algoritmos