introalg:recursado10
¡Esta es una revisión vieja del documento!
Tabla de Contenidos
Organizacion de la materia
Horario de clases:
- Teórico: de 9 a 11 (aula 13) - Docentes Paula Estrella, Laura Alonso
- Práctico-taller: de 11 a 13 (laboratorio 30) - Docentes Araceli Acosta, Luciana Benotti
Condiciones de promoción y aprobación:
- Regularidad: dos parciales aprobados con nota > 4
- Promoción: dos parciales aprobados con nota > 7 (incluye recuperatorio) + entregables del taller (si los hubiere)
Materiales del curso:
- Libro: Javier Blanco, Damián Barsotti, Silvina Smith, Cálculo de Programas, Fa.M.A.F., Universidad Nacional de Córdoba, 2008.
Calendario de las clases teoricas
| Día | Temas | Capítulos | Día | Temas | Capítulos | |
|---|---|---|---|---|---|---|
| 10-08 | presentación, oraganizacion, intro ecuacional en aritmética | – | 30-09 | Analisis de razonamientos complejos | ||
| 12-08 | cálculo ecuacional en aritmética (operadores y tipado) | 05-10 | Caballeros y picaros | |||
| 17-08 | operadores y tipado con listas | 07-10 | Caballeros y picaros | |||
| 19-08 | funciones, analisis por casos | 12-10 | Calculo de predicados (operadores y tipado) | |||
| 24-08 | induccion y recursion | 14-10 | Calculo de predicados: propiedades, axiomas, teoremas del ∃ | |||
| 26-08 | induccion y recursion | 19-10 | Calculo de predicados: propiedades, axiomas, teoremas del ∀ | |||
| 31-08 | 21-10 | Calculo de predicados: debilitamiento y monotonia | ||||
| 02-09 | 26-10 | Calculo proposicional: demostraciones | ||||
| 07-09 | 28-10 | formalización de proposiciones con predicados | ||||
| 09-09 | 02-11 | Analisis de razonamientos predicados | ||||
| 14-09 | Analisis de razonamientos | 04-11 | Analisis de razonamientos predicados | |||
| 16-09 | Consulta teorico/practico | 09-11 | Consulta teorico/practico | |||
| 21-09 | Semana del estudiante | 11-11 | Parcial 2 | |||
| 23-09 | Semana del estudiante | 16-11 | Consulta teorico/practico | |||
| 28-09 | Parcial 1 | 18-11 | Recuperatorio |
introalg/recursado10.1281119048.txt.gz · Última modificación: (editor externo)