Ciencias de la Computación FAMAF

Herramientas de usuario

Herramientas del sitio

Traza: • cursado15 • taller2 • 2014-2
algo1:2019-1

Diferencias

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

Enlace a la vista de comparación

Ambos lados, revisión anteriorRevisión previa
Próxima revisión		Revisión previa
algo1:2019-1 [2019/05/20 18:49] – [Material de Teórico/Práctico] damianalgo1:2019-1 [2025/11/15 13:47] (actual) – editor externo 127.0.0.1
Línea 62: Línea 62:
  
  
-===== Notas de parciales y recuperatorios ===== +===== Notas de parciales, recuperatorios y finales =====
- +
-  * {{ :algo1:2019-1:algoritmos_i_2019_primer_cuatrimestre_-_teorico.pdf |1er parcial}} +
  
 +  * {{:algo1:2019-1:algoritmos_i_2019_primer_cuatrimestre_-_teorico.pdf |1er parcial}}
 +  * {{ :algo1:2019-1:algoritmos_i_2019_primer_cuatrimestre_-_teorico_-_parciales.pdf |2do parcial y promoción}}
 +  * {{ :algo1:2019-1:algoritmos_i_2019_primer_cuatrimestre_-_final_1.pdf |Final 1/7}}
 +  * {{ :algo1:2019-1:algoritmos_i_2019_primer_cuatrimestre_-_final_2.pdf | Final 23/7}}
 +  * {{ :algo1:2019-1:algoritmos_i_2019_primer_cuatrimestre_-_final_3.pdf |Final 6/8}}
 /* /*
  
-  * {{:algo1:2016-2:2016c2par2.pdf|2do parcial}} 
   * {{:algo1:2016-2:2016c2recup1.pdf|Recuperatorio 1er parcial}} (con solución ej. 3)   * {{:algo1:2016-2:2016c2recup1.pdf|Recuperatorio 1er parcial}} (con solución ej. 3)
   * {{:algo1:2016-2:2016c2recup2.pdf|Recuperatorio 2do parcial}} (con solución ej. 3)   * {{:algo1:2016-2:2016c2recup2.pdf|Recuperatorio 2do parcial}} (con solución ej. 3)
Línea 122: Línea 123:
   * {{ :algo1:2019-1:practico2.pdf |Práctico 2: Especificación, Derivación y Verificación de Programas Funcionales}}   * {{ :algo1:2019-1:practico2.pdf |Práctico 2: Especificación, Derivación y Verificación de Programas Funcionales}}
   * {{ :algo1:2019-1:practico3.pdf |Práctico 3: Introducción a la Programación Imperativa}}   * {{ :algo1:2019-1:practico3.pdf |Práctico 3: Introducción a la Programación Imperativa}}
- +  * {{ :algo1:2019-1:practico4.pdf |Práctico 4: Cálculo de Programas Imperativos}}
- +
-/* +
- +
- +
- +
-  * {{:algo1:2017-2:practico4.pdf|Práctico 4: Introducción al Cálculo de Programas Imperativos}} +
- +
-*/+
  
  
Línea 238: Línea 231:
   * 7/5 Terna de Hoare. Weakest Precondition (asignación, composición secuencial). Weakest Precondition (if).   * 7/5 Terna de Hoare. Weakest Precondition (asignación, composición secuencial). Weakest Precondition (if).
   * 9/5 Revision if. Teorema de invariancia   * 9/5 Revision if. Teorema de invariancia
-  * 15/5 Ejercicos de demostración con invariantes. Derivación de asignación+  * 14/5 Ejercicos de demostración con invariantes. Derivación de asignación 
 +  * 16/5 Arreglos. /* Derivación con invariantes.*/ 
 +  * 21/5 **Practico 4**. Tecnicas para encontrar invariantes: termino de la conjunción. 
 +  * 23/5 Técnica de reemplazo cte. por variable. 
 +  * 28/5 Técnica de fortalecimiento de invariantes. 
 +  * 30/5 Problemas de Borde. 
 +  *  4/6 Consulta 
  
 /* /*
algo1/2019-1.1558388994.txt.gz · Última modificación: (editor externo)