Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
teaching:cc71y [2015/11/16 15:13] – etanter | teaching:cc71y [2018/12/04 06:44] – etanter | ||
---|---|---|---|
Line 3: | Line 3: | ||
**Objetivo general** | **Objetivo general** | ||
- | El curso entrega los elementos técnicos y formales necesarios para entender la problematica | + | El curso entrega los elementos técnicos y formales necesarios para entender la problemática |
- | + | ||
- | **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.// | ||
Line 48: | Line 41: | ||
** Horario ** | ** Horario ** | ||
- | 2014/2: 1.4-3.4 | + | Por definir (dos bloques por semana). |
- | + | ||
- | + | ||
- | ** Agenda ** | + | |
- | [[teaching: |