Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
teaching:cc5104 [2014/05/30 08:44] – etanterteaching:cc5104 [2014/05/30 08:44] – etanter
Line 7: Line 7:
 **Nota** **Nota**
 La nueva edición del curso tendrá dos enfoques adicionales:  La nueva edición del curso tendrá dos enfoques adicionales: 
-    * tipos graduales: combinar tipos estáticos y dinámicos. Tipos graduales fueron adoptados bajo alguna variante en los recientes lenguajes Dart (Google), TypeScript (Microsoft), Hack (Facebook), etc.)  +    * **tipos graduales**: combinar tipos estáticos y dinámicos. Tipos graduales fueron adoptados bajo alguna variante en los recientes lenguajes Dart (Google), TypeScript (Microsoft), Hack (Facebook), etc.)  
-    * introducción a la programación certificada en Coq: definir programas junto con una demostración de su correctitud.+    * introducción a la **programación certificada** en Coq: definir programas junto con una demostración de su correctitud.