Horario de clases:
Condiciones de promoción y aprobación:
| 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 |