Differences

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

--- teaching:cc5104:2010-2 [2010/08/10 16:16] – etanter
+++ teaching:cc5104:2010-2 [2010/08/30 15:28] (current) – etanter
@@ Line 1: / Line 1: @@
+** 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]]