Objectivos

Introduçao à computação quântica da perspectiva de ciência de computadores: modelos computacionais, algoritmos, complexidade, programação e semântica

Programa resumido

• Computação Clássica
• Introdução à computação quântica
  • Máquinas de Turing quânticas, Circuitos quânticos, Paralelismo quântico, Algoritmo de Deutsch-Jozsa
• Algoritmos Quânticos I
  • Algoritmo de Grover, Transformada de Fourier Quântica, Algoritmo de Shor
• Introdução à programação em Qiskit
• Algoritmos Quânticos II
  • Passeios quânticos, Optimização adiabática, Simulação quântica
• Modelos de computação quântica e complexidade
• Introdução à lógica quântica

Material de apoio

Lecture Notes

• Algorithms and Computability

Exercícios e projectos

• Evaluation exercises
• Qiskit assignment 2018

Links úteis

• Arca website
• Haskell
• Quipper
• Qiskit

Bibliografia

Artigos científicos

• Quantum theory, the Church-Turing principle and the Universal Quantum Computer

Livros

• Michael A Nielsen and Isaac L Chuang. Quantum computation and quantum information. Cambridge university press, 2010.
• Michel Le Bellac. A short introduction to quantum information and quantum computation. Cambridge University Press, 2006.
• Mingsheng Ying. Foundations for Quantum programming. Elsevier, 2016.

Websites

• Quantum Algorithm Zoo
• Quantum Complexity Zoo

Funcionamento

Docente

• Luís Soares Barbosa
• Carlos Tavares

Avaliação

• Aulas e Seminários (10%)
• Exercícios teórico-práticos (15%)
• Trabalho (em Qiskit) (35%)
• Prova escrita (40%)

• As notas finais superiores ou iguais a 19 valores terão que ser defendidas em prova oral.

Atendimento

• Horário: 4ª 10h-12h (por marcação)
• Marcação: lsb at di dot uminho dot pt