Diferencias

Muestra las diferencias entre dos versiones de la página.

--- introalg:recursado10 [2010/08/12 15:50] – pestrella
+++ introalg:recursado10 [2025/11/15 13:47] (actual) – editor externo 127.0.0.1
@@ Línea 8: / Línea 8: @@
 **Condiciones de promoción y aprobación:**
-  * **Regularidad:** dos parciales aprobados con nota > 4
+  * **Regularidad:** dos parciales aprobados con nota > 4 (equivalente a 60% del parcial)
-  * **Promoción:** dos parciales aprobados con nota > 7 (incluye recuperatorio) + entregables del taller (si los hubiere)
+  * **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)
@@ Línea 15: / Línea 15: @@
   * {{:introalg:guia1.pdf|}}
+  * {{:introalg:guia2.pdf|}}
+  * {{:introalg:guia3.pdf|}}
 ===== Materiales del curso: =====
@@ Línea 31: / Línea 35: @@
 | 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 | induccion y recursion | Cap 10 | | 19-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, formato de prueba | Cap 2 | | 21-10 | Calculo de predicados: debilitamiento y monotonia | 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 |
+| 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 |
+| 07-09| Calculo proposicional: axiomas/teoremas =>, <= | Cap 3 | | 28-10 | formalización de proposiciones con predicados  | Cap 5 |
-| 09-09| Calculo proposicional: axiomas/teoremas =>, <= | Cap 3 | | 02-11 | Analisis de razonamientos predicados | Cap 5 |
+| 09-09| Analisis de razonamientos |  | | 02-11 | Analisis de razonamientos predicados | Cap 5 |
-| 14-09 | Analisis de razonamientos | Cap 2 | | 04-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 | |
+| 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 | | | 18-11 | Recuperatorio | |
+| 28-09 | Parcial 1 - **9-13 hs AULA 13** | | | 18-11 | Recuperatorio - **9-13 hs AULA 25** | |