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:cc7110 [2019/05/07 14:43] – 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 62: | Line 62: | ||
* 29/04: PFPL Cap 12 (statics) | * 29/04: PFPL Cap 12 (statics) | ||
* 06/05: PFPL Cap 12 (dynamics) + PFPL Cap 9 | * 06/05: PFPL Cap 12 (dynamics) + PFPL Cap 9 | ||
- | * 08/ | + | * 08/ |
- | * 13/05: **mini-control 2** + ... | + | * 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:// | ||