Differences

This shows you the differences between two versions of the page.

--- teaching:cc7125 [2017/09/06 16:57] – [Trail 2017/2] etanter
+++ teaching:cc7125 [2017/11/13 09:16] – etanter
@@ Line 17: / Line 17: @@
 ====== Recursos ======
-Download {{teaching:cc7125:lf-full.zip|source files}} for **Volume 1: Logical foundations**.
+    * Download {{teaching:cc7125:lf-full.zip|Volume 1: Logical foundations}}.
+    * Download {{teaching:cc7125:plf-full.zip|Volume 2: Programming languages foundations}}.
 ==== Trail 2017/2 ====
@@ Line 31: / Line 32: @@
     * Sep 4: IndProp.v (hasta regexp - el resto queda para auxiliar)
     * Sep 6: ProofObjects.v
+    * Sep 11: IndPrinciples.v (rápido) e introducción a programación con tipos dependientes (deptypes.v)
+    * Sep 13: Imp.v (hasta antes de "Evaluation as a Relation")
+    * //<vacaciones 18 / semana olimpica>//
+    * Oct 2: Imp.v (hasta ceval_example2)
+    * Oct 5: Imp.v / ImpCEvalFun.v / Extraction.v
+    * Oct 9: //feriado//
+    * Oct 11: Auto.v / inicio de Equiv.v (definición de nociones de equivalencia)
+    * Oct 16: Equiv.v
+    * Oct 18: Hoare.v (hasta proof rule de SKIP)
+    * Oct 23: Hoare.v
+    * Oct 25: Hoare2.v (hasta Example: Parity)
+    * Oct 30: Hoare2.v
+    * Nov 1: //feriado//
+    * Nov 6: Smallstep.v (hasta normalizing)
+    * Nov 8: Smallstep.v
+    * Nov 13:
+    * Nov 15: JSCert (M. Bodin)
+    * Nov 20: JSCert (M. Bodin)
+    * Nov 22: Verificación de Programas Probabilísticos (F. Olmedo)
+[[teaching:cc7125:Proyectos-2017]]
 ----