Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
Last revisionBoth sides next revision
teaching:cc7125 [2017/10/20 17:48] etanterteaching:cc7125 [2022/05/16 22:21] etanter
Line 17: Line 17:
 ====== Recursos ====== ====== 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|source files}} for **Volume 2: Programming languages foundations**. +    Download {{teaching:cc7125:plf-full.zip|Volume 2: Programming languages foundations}}.
- +
-==== Trail 2017/2 ==== +
-    * Jul 31: slides "certified software", primer contact con Coq (primeras definiciones de Basics.v) +
-    * Aug 2: Basics.v (ver últimos ejercicios en auxiliar) +
-    * Aug 7: Induction.v, Lists.v (hasta antes de options) +
-    * Aug 9: Lists.v (final), Poly.v (dejando higher-order/anonymous functions para trabajo casa/auxiliar) +
-    * Aug 14: Tactics.v +
-    * Aug 16: Logic.v (hasta True) +
-    * Aug 21: Logic.v (hasta fun_ext) +
-    * Aug 23: Logic.v (//clase corta por paro//) +
-    * Aug 28-30: //no hay clases// +
-    * 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)+
  
 ---- ----