Differences
This shows you the differences between two versions of the page.
Next revision | Previous revisionNext revisionBoth sides next revision | ||
teaching:cc7110 [2019/04/01 14:14] – created etanter | teaching:cc7110 [2021/05/18 15:16] – etanter | ||
---|---|---|---|
Line 3: | Line 3: | ||
**Objetivo general** | **Objetivo general** | ||
- | El curso entrega los elementos técnicos y formales necesarios para entender la problemática de garantizar que los programas cumplen con sus objetivos, limitando efectos indeseados, lo más temprano posible. Se estudian las nociones de programas válidos, errores y excepciones, | + | El curso entrega los elementos técnicos y formales necesarios para entender la problemática de garantizar que los programas cumplen con sus objetivos, limitando efectos indeseados, lo más temprano posible. Se estudian las nociones de programas válidos, errores y excepciones, |
//Este curso es parte de los grupos de cursos recomendados para las lineas de especialización en Ciencia de la Computación y en Ingeniería de Software.// | //Este curso es parte de los grupos de cursos recomendados para las lineas de especialización en Ciencia de la Computación y en Ingeniería de Software.// | ||
Line 50: | Line 50: | ||
* 25/03: PFPL Cap 2 | * 25/03: PFPL Cap 2 | ||
* 27/03: PFPL Cap 3 + ejercicios | * 27/03: PFPL Cap 3 + ejercicios | ||
- | * mini tarea 1 (27/ | + | |
- | * 01/04: PFPL ... | + | * 01/04: PFPL Cap 4 |
- | * ... | + | * 03/04: PFPL Cap 5 (hasta 5.2) |
- | * 17/ | + | * 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/ | ||
+ | * 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:// | ||