Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
teaching:cc7125 [2017/09/04 16:54] – etanter | teaching:cc7125 [2017/11/09 09:06] – etanter | ||
---|---|---|---|
Line 17: | Line 17: | ||
====== Recursos ====== | ====== Recursos ====== | ||
- | Download {{teaching: | + | * Download {{teaching: |
+ | | ||
==== Trail 2017/2 ==== | ==== Trail 2017/2 ==== | ||
Line 29: | Line 30: | ||
* Aug 23: Logic.v (//clase corta por paro//) | * Aug 23: Logic.v (//clase corta por paro//) | ||
* Aug 28-30: //no hay clases// | * Aug 28-30: //no hay clases// | ||
- | * Sep 4: IndProp.v (hasta regexp) | + | * Sep 4: IndProp.v (hasta regexp |
+ | * 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 " | ||
+ | * //< | ||
+ | * Oct 2: Imp.v (hasta ceval_example2) | ||
+ | * Oct 5: Imp.v / ImpCEvalFun.v / Extraction.v | ||
+ | * Oct 9: // | ||
+ | * 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: // | ||
+ | * Nov 6: Smallstep.v (hasta normalizing) | ||
+ | * Nov 8: | ||
+ | * Nov 13: | ||
+ | * Nov 15: JSCert (M. Bodin) | ||
+ | * Nov 20: JSCert (M. Bodin) | ||
+ | * Nov 22: Verificación de Programas Probabilísticos (F. Olmedo) | ||
+ | |||
+ | [[teaching: | ||
---- | ---- |