Diferencias

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

--- algo1:2017-1 [2017/03/28 11:52] – [Bitácora] damian
+++ algo1:2017-1 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1
@@ Línea 75: / Línea 75: @@
 Programación imperativa:
-  * {{:algo1:2015-1:imperativo.pdf|Digesto}} para la programación imperativa.
+  * {{:algo1:2017-1:imperativo.pdf|Digesto}} para la programación imperativa.
   * {{:algo1:2016-1:ejemplo_parcial2.pdf|Ejemplo de 2do parcial.}}
@@ Línea 91: / Línea 91: @@
   * {{:algo1:2017-1:practico1.pdf|Práctico 1}} - Cálculo proposicional y expresiones cuantificadas.
+  * {{: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:practico2.pdf|Práctico 2}} - Especificación derivación y verificación de programas funcionales.
-  * {{:algo1:2016-1:practico3.pdf|Práctico 3}} - Introducción a la 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 194: / Línea 194: @@
   * 16/3 Paro
   * 21/3 Paro
-  * 23/3 Axiomas y teoremas de la cuantificación general (digesto). Cuantificador N. Análisis por casos y pruebas de implicación descargando antecedentes.
+  * 23/3 Axiomas y teoremas de la cuantificación general (digesto). Cuantificador N. Análisis por casos y pruebas de implicación descargando antecedentes. Pueden ir haciendo los ejercicios 3 a 9 y 12 a 14
+  * 27/3 Práctico 2. Demostración vs. derivación. Pueden ir haciendo hasta el 4 inclusive.
+  * 30/3 Paro
+  * 4/4 Modularización. Esquemas inductivos.
+  * 6/4 Paro
+  * 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.