Descrição:

Esta unidade curricular pretende ser uma introdução à computação quântica e como tal pretende-se dotar os alunos das ferramentas básicas da mecânica quântica que lhes permitam entender de que forma se processa a computação neste contexto. No final do curso os alunos devem ser capazes de entender o formalismo quântico em computação num novo contexto, o seu enquadramento da tese de Church-Turing, a importância do teorema do no-cloning e do entrelaçamento, os ganhos de eficiência em problemas com promessa, os limites desses ganhos. Outro dos objectivos do programa é apresentar os algoritmos mais influentes da computação quântica, como o algoritmo de Deutsch-Jozsa, Bernstein-Vazirani, Shor e Grover e expor os alunos a algoritmos de cariz criptográfico como por exemplo a distribuição de chaves.