introalg:recursado10
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 (equivalente a 60% del parcial)
- Promoción: dos parciales aprobados con nota > 7 (equivalente a ~80% del parcial e incluye recuperatorio) + entregables del taller (los ejercicios entregados que esten bien contribuyen an algun porcentaje a la nota del parcial)
Prácticos
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 | Cap 4 | |
| 12-08 | cálculo ecuacional en aritmética (operadores y tipado) | Cap 1 | 05-10 | Caballeros y picaros | Cap 4 | |
| 17-08 | operadores y tipado con listas | Cap 7 | 07-10 | Caballeros y picaros | Cap 4 | |
| 19-08 | induccion y recursion | Cap 10 | 12-10 | Calculo de predicados (operadores y tipado) | Cap 5 | |
| 24-08 | induccion y recursion | Cap 10 | 14-10 | Calculo de predicados: propiedades, axiomas, teoremas del ∃ | Cap 5 | |
| 26-08 | Consulta teorico/practico | 19-10 | Calculo de predicados: propiedades, axiomas, teoremas del ∀ | Cap 5 | ||
| 31-08 | Calculo proposicional: operadores, tipado, Calculo proposicional: axiomas/teoremas ≡, ¬, ≠ | Cap 3 | 21-10 | Calculo de predicados: debilitamiento y monotonia | Cap 5 | |
| 02-09 | Calculo proposicional: axiomas/teoremas Λ, ∨ | Cap 3 | 26-10 | Calculo de predicados: demostraciones | Cap 5 | |
| 07-09 | Calculo proposicional: axiomas/teoremas ⇒, ⇐ | Cap 3 | 28-10 | formalización de proposiciones con predicados | Cap 5 | |
| 09-09 | Analisis de razonamientos | 02-11 | Analisis de razonamientos predicados | Cap 5 | ||
| 14-09 | Consulta | — | 04-11 | Analisis de razonamientos predicados | Cap 5 | |
| 16-09 | Consulta teorico/practico | 09-11 | Consulta teorico/practico | |||
| 21-09 | Semana del estudiante | 11-11 | Parcial 2 - 9-13 hs AULA 25 | |||
| 23-09 | Semana del estudiante | 16-11 | Consulta teorico/practico | |||
| 28-09 | Parcial 1 - 9-13 hs AULA 13 | 18-11 | Recuperatorio - 9-13 hs AULA 25 |
introalg/recursado10.txt · Última modificación: 2018/08/10 03:03 por 127.0.0.1