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/18 17:19]
etanter
teaching:cc7125 [2017/11/13 15:45] (current)
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|Volume 2: Programming languages foundations}}.
  
 ==== Trail 2017/2 ==== ==== Trail 2017/2 ====
Line 40: Line 41:
     * Oct 16: Equiv.v     * Oct 16: Equiv.v
     * Oct 18: Hoare.v (hasta proof rule de SKIP)     * 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: Perm.v y Sort.v (libro VFA)
 +    * Nov 15: JSCert (M. Bodin)
 +    * Nov 20: JSCert (M. Bodin)
 +    * Nov 22: Verificación de Programas Probabilísticos (F. Olmedo)
 +
 +[[teaching:​cc7125:​Proyectos-2017]]
  
 ---- ----