18 de febrero de 2015

Material de mi curso en la Escuela de Verano de Río Cuarto

Terminó la Escuela de Verano de Ciencias Informáticas de Río Cuarto. Esta es una escuela que se hace cada año, destinada principalmente a estudiantes de grado de todo el país. Allí dí un curso sobre fundamentos de lenguajes de programación para computación cuántica (2 días de introducción a computación cuántica, 1 de introducción a lambda-cálculo y 1 sobre lenguajes en el paradigma "control clásico / datos cuánticos" y 1 en el paradigma "control y datos cuánticos").


Por supuesto es un curso introductorio, si quieren profundizar, allí mismo tienen bibliografía que les servirá para ir más a fondo.



Update: Al parecer la página de la RIO está caída, así que dejo el material acá:
(es un paquete comprimido que incluye los apuntes de los 2 primeros días, los slides de los 5 días, una página con ejercicios introductorios de lambda cálculo y el examen).