Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
| teaching:cc7110 [2021/05/18 15:16] – etanter | teaching:cc7110 [2021/08/15 17:18] – etanter | ||
|---|---|---|---|
| Line 41: | Line 41: | ||
| El curso termina con una mini-conferencia donde los estudiantes presentan temas estudiados en base a artículos y/o capítulos de libros. | El curso termina con una mini-conferencia donde los estudiantes presentan temas estudiados en base a artículos y/o capítulos de libros. | ||
| - | ** Horario ** | ||
| - | |||
| - | 2019/1: 1.4-3.4 | ||
| - | |||
| - | ** Trail 2019/1 ** | ||
| - | * 18/03: Intro | ||
| - | * 20/03: PFPL Cap 1 | ||
| - | * 25/03: PFPL Cap 2 | ||
| - | * 27/03: PFPL Cap 3 + ejercicios | ||
| - | * **mini-tarea 1** (27/ | ||
| - | * 01/04: PFPL Cap 4 | ||
| - | * 03/04: PFPL Cap 5 (hasta 5.2) | ||
| - | * 08/04: PFPL Cap 5 y Cap 6 (hasta 6.1) | ||
| - | * 10/04: PFPL Cap 6 + corrección mini tarea 1 | ||
| - | * 15/04: **mini-control 1** + PFPL Cap 7 | ||
| - | * 17/04: PFPL Cap 8 | ||
| - | * 22/04: PFPL Cap 10 (menos 10.3), intro Cap 11 | ||
| - | * **mini-tarea 2** (23/ | ||
| - | * 24/04: PFPL Cap 11 | ||
| - | * 29/04: PFPL Cap 12 (statics) | ||
| - | * 06/05: PFPL Cap 12 (dynamics) + PFPL Cap 9 | ||
| - | * 08/05: //paro// | ||
| - | * 13/05: **mini-control 2** + Coq demo | ||
| - | * 15/05: //paro// | ||
| - | * 20/ | ||
| - | * 27/05: PFPL Cap 16 (hasta 16.2) | ||
| - | * 29/05: PFPL Cap 16 y Cap 17 (intro) | ||
| - | * 03/06: PFPL Cap 17 | ||
| - | * 05/06: TAPL Cap 13 | ||
| - | |||
| - | |||
| - | ** Presentaciones ** | ||
| - | |||
| - | Página con información acerca de las presentaciones finales: [[https:// | ||