Diferencias

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

--- algo1:2017-1 [2017/05/02 11:21] – [Material] damian
+++ algo1:2017-1 [2025/11/15 13:47] (actual) – editor externo 127.0.0.1
@@ Línea 93: / Línea 93: @@
   * {{:algo1:2017-1:practico2.pdf|Práctico 2}} - Especificación derivación y verificación de programas funcionales.
   * {{:algo1:2017-1:practico3.pdf|Práctico 3}} - Introducción a la programación imperativa.
+  * {{:algo1:2017-1:practico4.pdf|Práctico 4}} - Programación imperativa.
-/*
-  * {{:algo1:2016-1:practico4.pdf|Práctico 4}} - Programación imperativa.
-*/
 ===== Parciales, recuperatorios y finales =====
+  * {{:algo1:2017-1:algoritmos_i_2017_primer_cuatrimestre_-_teorico_-_notas1.pdf|Notas parcial 1}}.
+  * {{:algo1:2017-1:algoritmos_i_2017_primer_cuatrimestre_-_teorico_notas2.pdf|Notas parcial 2}}.
+  * {{:algo1:2017-1:algoritmos_i_2017_primer_cuatrimestre_-_condicion.pdf|Notas recuperatorio y condición final}}.
+  * {{:algo1:2017-1:algoritmos_i_2017_primer_cuatrimestre_-_final_1.pdf|Notas Final 1}}.
+  * {{:algo1:2017-1:algoritmos_i_2017_primer_cuatrimestre_-_final_2.pdf|Notas Final 2}}.
+  * {{:algo1:2017-1:algoritmos_i_2017_primer_cuatrimestre_-_final_3.pdf|Notas Final 3}}.
 ===== Laboratorio =====
@@ Línea 201: / Línea 201: @@
   * 11/4 Paro
   * 13/4 Feriado.
+  * 18/4 1er **Parcial**
+  * 20/4 Generalización.
+  * 25/4 Segmentos.
+  * 27/4 **Práctico 3**: Introducción a la programación imperativa. Modelo computacional imperativo. Sintaxis y semántica con estados de ''skip'', asignación ('':=''), composición ('';''), condicional (''if'') y de la repetición (''do'').
+  * 2/5 Terna de Hoare. wp de ''skip'', asignación ('':='')
 /*
-  * 17/08: Presentación de la materia. Cuantificación general.
-  * 18/08: Reglas hasta participón de rango.
-  * 23/08: Reglas hasta anidado.
-  * 25/08: Reglas de anidado, intercambio y de morgan. Cuantificador de conteo.
-  * 30/08: Demostración por inducción. Inducción en números. Esquemas de inducción.
-  * 01/09: Inducción en listas. Demostración vs. derivación.
-  * 06/09: Modularización. Subinducción. //Pattern matching// vs. análisis por casos.
-  * 08/09: Generalización.
-  * 13/09: Segmentos de lista.
-  * 15/09: Complejidad y tuplas.
-  * 20/09: Semana del estudiante.
-  * 22/09: Semana del estudiante.
-  * 27/09: Introducción a la programación imperativa. Sintaxis y semántica informal de skip, asignación ('':=''), composición ('';'') y condicional (''if'').
-  * 29/09: Sintaxis y semántica informal de la repetición (''do''). Arreglos.
-  * 04/10: [[http://www.adiuc.org.ar/index.php/nacional/722-paritaria-salarial-docentes-unc-adiuc-conadu-paro|Paro]].
   * 06/10: 1er parcial.
   * 11/10: Anotaciones de programa. Precondición y postcondición. Especificación.