Cronograma

PARTE I

18-19 / Ago / 2016
Formalismo matemático. Algoritmos cuánticos.
22-23 / Sep / 2016
Introducción a la mecánica cuántica. Operador Densidad.

PARTE II

27-28 / Oct / 2016
Lambda cálculo y teoría de tipos.
24-25 / Nov / 2016
Extensiones cuánticas al lambda cálculo.

Horarios:
Jueves de 17 a 22hs (Aula 16)
Viernes de 16 a 21hs (Aula del DCC)

Materia optativa de Licenciatura en Ciencias de la Computación y de Doctorado en Ciencias de la Computación.