Cílem práce je popsat kvantový vypočetní model, provést rešerši programovacích jazyků vhodných pro programování v tomto modelu, a v některém z jazyků implementovat netriviální kvantový algoritmus (například Shorovu faktorizaci).
Seznam odborné literatury
Arora, Barak: Computational Complexity: A Modern Approach. Cambridge University Press, 2009. ISBN 978-0521424264.