** 2010/2 Planning **

| **semana** | dia | **materia** | **referencias/material** | **evaluaciones** |
| semana 1 | 1 |overview del curso\\ introducción a sistemas de tipos, problematica, y desafíos\\ ejemplos con Scheme y Java\\ repasar conceptos básicos de inducción\\ definición de sintáxis |PLAI 24\\ TAPL 1, 2 \\ TAPL 3.1-3.2| |
|                    | 2 | inducción estructural\\ semántica operacional  | TAPL 3  | |
| semana 2 | 1 | razonar sobre evaluación\\ terminología | TAPL 3 \\ TS | |
|                    | 2 |expresiones aritmeticas tipeadas\\ coherencia del sistema de tipos | TAPL 8  | |
| semana 3 | 1 |lambda calculus| TAPL 5  | |
|                    | 2 |simply-typed lambda calculus|TAPL 9  | publi [[http://pleiad.dcc.uchile.cl/teaching/cc5104/2010-2/tarea1|tarea 1]]|
| semana 4 | 1 |  |  | |
|                    | 2 |  |  | |
| semana 5 | 1 |  |  | |
|                    | 2 |  |  | |
| semana 6 | 1 |  |  | |
|                    | 2 |  |  | |
...

-----
** Tareas **

   * [[teaching:cc5104/2010-2/tarea1|Tarea 1]]