Curso II: "Fundamentos de lenguajes de programación para computación cuántica"
- 06 May 2016
El Curso "Fundamentos de lenguajes de programación para computación cuántica" se llevará a cabo en el Cacic 2016 (del 3 al 7 de octubre en la Universidad Nacional de San Luis).
RESPONSABLE: Dr. Alejandro Díaz-Caro – UNQ
OBJETIVOS: Introducir la computación cuántica y los fundamentos de lenguajes de programación para dicho paradigma. Se pretende que los estudiantes tengan una primera visión no sólo de la computación cuántica sino también de problemas científicos actuales a la hora de estudiar sus fundamentos lógicos. El estudiante debería terminar con un conocimiento introductorio de computación cuántica y de cálculo lambda.
CONTENIDOS: Introducción a la computación cuántica. Conceptos de física. Formalismo matemático. Algoritmos cuánticos: Deutsch, Deutsch-Jotza, Grover, Teleportación, Codificación Superdensa, Protocolo de distribución de claves BB84 Introducción al cálculo lambda tipado. Relación entre typos y lógica intuicionista. Introducción a las extensiones cuánticas al cálculo lambda: paradigma de control clásico y datos cuánticos, y paradigma de control y datos cuánticos tipado.
RESUMEN: La computación cuántica es un nuevo paradigma de computación basado en la física cuántica. La física cuántica predice el comportamiento de las partículas, y la computación cuántica es un formalismo que toma ese comportamiento como un proceso de cómputo: tiene un estado inicial, un estado final, y un camino/cómputo que se sigue. En este curso se dará una introducción a la computación cuántica con sus algoritmos más conocidos.
EVALUACION: Examen de opciones múltiples.