Semestre 2018-II

• Ausencia sabática


• Ausencia sabática

Semestre 2018-I

• Ausencia sabática


• Ausencia sabática

Semestre 2017-2

• Especificación Formal (Posgrado)


• Semántica y Verificación

Semestre 2017-1

• Lógica Computacional (Posgrado)


• Estructuras Discretas


• Lenguajes de Programación

Semestre 2016-2

• Programación Funcional (Posgrado)


• Lógica Computacional

Semestre 2016-1

• Autómatas y Lenguajes Formales (Posgrado)


• Lenguajes de Programación

Semestre 2015-2

• Lógica Computacional


• Razonamiento Automatizado

Semestre 2015-1

• Estructuras Discretas


• Lenguajes de Programación

Semestre 2014-2

• Lógica Computacional


• Especificación Formal MCIC - Semántica y Verificación LCC

Semestre 2014-1

• Lenguajes de Programación


• Programación Funcional MCIC (posgrado)

Semestre 2013-2

• Lenguajes de Programación y sus Paradigmas


• Lógica Computacional

Semestre 2013-1

• Estructuras Discretas


• Sem. Comp. Teórica II

Semestre 2012-2

• Análisis Lógico


• Lenguajes de Programación y sus Paradigmas

Semestre 2012-1

• Estructuras Discretas


• Programación Funcional y Lógica

Semestre 2011-2

• Análisis Lógico


• Teoría de los Dominios

Semestre 2011-1

• Matemáticas discretas


• Teoría de la computación

Semestre 2010-2

• Análisis Lógico


• Lenguajes de programación y sus paradigmas

Semestre 2010-1

• Matemáticas Discretas

• Tópicos Avanzados en Lenguajes de Programación (Seminario de Temas Selectos de Computación 2)

Semestre 2009-2

• Lenguajes de Programación y sus Paradigmas

• Teoría de Dominios (Posgrado en Ciencias Matemáticas)

Semestre 2009-1

• Matemáticas Discretas

• Seminario de Programación

Semestre 2008-2

• Lenguajes de Programación y sus Paradigmas

• Análisis Lógico

Semestre 2008-1

• Lenguajes de Programación y sus Paradigmas

• Matemáticas Discretas

Semestre 2007-2

• Análisis Lógico

• Programación Funcional y Lógica

Semestre 2007-1

• Teoría de la Computación

• Programación Funcional y Lógica

Semestre 2006-2

• Análisis Lógico

Semestre 2006-1

• Matemáticas Discretas

• Teoría de la Computación

Semestre 2005-2

• Análisis Lógico

• Sistemas de tipos para lenguajes de programación