Quantum Computation 2017/18

Perfil de Métodos Formais em Engenharia de Software

Dep. Informática, Universidade do Minho

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

Material de apoio

Slides
Exercícios e projectos
Links úteis
Bibliografia
Artigos científicos
TBA
Livros
Websites

Funcionamento

Docente
Avaliação
Atendimento