Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
teaching:cc7125 [2017/10/23 16:45]
etanter
teaching:cc7125 [2022/05/16 19:21] (current)
etanter
Line 19: Line 19:
     * Download {{teaching:cc7125:lf-full.zip|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}}.     * 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) 
-    * Oct 23: Hoare.v 
-    * Oct 25: 
-    * Oct 30: 
-    * Nov 6: 
-    * Nov 8: 
-    * Nov 13: 
-    * Nov 15: 
-    * Nov 20: 
-    * Nov 22: 
  
 ---- ----