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/29 17:21] – 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 69: | Line 69: | ||
* 29/05: PFPL Cap 16 y Cap 17 (intro) | * 29/05: PFPL Cap 16 y Cap 17 (intro) | ||
* 03/06: PFPL Cap 17 | * 03/06: PFPL Cap 17 | ||
+ | * 05/06: TAPL Cap 13 | ||
+ | ** Presentaciones ** | ||
+ | |||
+ | Página con información acerca de las presentaciones finales: [[https:// | ||