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:cc5104 [2011/10/08 17:17] – etanter | teaching:cc5104 [2014/05/30 08:44] – etanter | ||
---|---|---|---|
Line 4: | Line 4: | ||
El curso entrega los elementos técnicos y formales necesarios para entender la problematica 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 problematica 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, | ||
+ | |||
+ | **Nota** | ||
+ | La nueva edición del curso tendrá dos enfoques adicionales: | ||
+ | * **tipos graduales**: | ||
+ | * introducción a la **programación certificada** en Coq: definir programas junto con una demostración de su correctitud. | ||
+ | |||
+ | |||
//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.// |