Differences

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

--- teaching:cc7125 [2017/10/20 17:48] – etanter
+++ teaching:cc7125 [2024/05/22 15:50] (current) – etanter
@@ Line 14: / Line 14: @@
 Ver el {{teaching:cc7125:programa-coq.pdf|programa del curso}}.
-----
-====== Recursos ======
-Download {{teaching:cc7125:lf-full.zip|source files}} for **Volume 1: Logical foundations**.
-Download {{teaching:cc7125:plf-full.zip|source files}} for **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)
 ----
 **Curso válido para carreras del DCC:** Doctorado en Computación, Magíster en Ciencias de la Computación, Ingeniería Civil en Computación\\