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 tarea 1 | |
| semana 4 | 1 | |||
| 2 | ||||
| semana 5 | 1 | |||
| 2 | ||||
| semana 6 | 1 | |||
| 2 |
…
Tareas