¡Esta es una revisión vieja del documento!
Tabla de Contenidos
Introducción a los Algoritmos: 1er cuatrimestre del 2015
Docentes
- Araceli Acosta (encargada)
- Walter Alini
- Luciana Benotti (encargada)
- Alejandro Gadea
Horario de clases
- Martes y jueves de 9 a 11 hs. en aula(laboratorio) 28.
- Martes y jueves de 11 a 13 hs. en aula 13.
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.
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: 17 de septiembre del 2015.
- 2do Parcial: 10 de noviembre del 2015.
- Recuperatorio: 17 de noviembre del 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 | ||
| Continuara… |
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