Cursos dictados
(sólo aparece un link a la última versión de cada curso)
-
Segundo semestre 2005:
- Lógica para Ciencia de la Computación - IIC2212
-
Primer semestre 2006:
-
Segundo semestre 2006:
- Teoría de Modelos Finitos - IIC3260
-
Primer semestre 2007:
-
Primer semestre 2008:
- Introducción a la Programación - IIC1102
- Lógica para Ciencia de la Computación - IIC2212
-
Segundo semestre 2008:
- Teoría de Modelos Finitos - IIC3260
-
Primer semestre 2009:
- Introducción a la Programación - IIC1103
- Complejidad Computacional - IIC3242
-
Primer semestre 2010:
- Lógica para Ciencia de la Computación - IIC2213
-
Segundo semestre 2010:
-
Primer semestre 2011:
-
Segundo semestre 2011:
-
Primer semestre 2012: