Programovací jazyky pro kvantové počítání

Garant předmětu:

Přednášející:

Cvičící:

Předmět zajišťuje:

katedra teoretické informatiky

Anotace:

Computational models for quantum computing: quantum Turing machine, QRAM, lambda calculus with qubits. Higher programming languages for quantum computation: imperative languages (Silq), functional languages (QML, Quipper). ). In the seminars the student will learn the basics of programming in the higher programming language Silq.

Požadavky:

Osnova přednášek:

1. Models of computation - Quantum Turing Machine.

2. Quantum finite automaton. QRAM.

3. Quantum lambda calculus.

4. Silq as a higher imperative programming language - data types, computation control.

5. Silq - functions and iterations.

6. Silq - calculations with multiple qubits. Super dense coding.

7. Silq - description of quantum circuits with quantum logic gates.

8. Quantum algorithms I (Deutsch-Jozsa, Bernstein-Vazirani).

9. Quantum algorithms II (Grover's search algorithm, Simon's algorithm).

10. Silq - Error correction.

11. Assessment test.

12. Functional programming languages for quantum computing - QML.

13. Functional programming languages for quantum computing - Quipper.

Osnova cvičení:

1. Models of computation for quantum computing

2. Introduction to the Silq development environment and compiler

3. Basic features of programming in the Silq language, programming multi-qubit circuits

4. Fundamental quantum algorithms in the Silq language

5. Introduction of the semester project

6. Consultations on the semester project

Cíle studia:

Computational models for quantum computing: quantum Turing machine, QRAM, lambda calculus with qubits. Higher programming languages for quantum computation: imperative languages (Silq), functional languages (QML, Quipper). ). In the seminars the student will learn the basics of programming in the higher programming language Silq.

Studijní materiály:

1. Ganguly, S., Cambier, T.: Quantum Computing with Silq Programming

Packt Publishing 2021, ISBN 978-1800569669

2. Hundt, R.:Quantum Computing for Programmers

Cambridge University Press 2022, ISBN 9781009099974

3. Giovannetti, V., Lloyd, S., Maccone, L.: Quantum random access memory

arXiv: 0708.1879 2008

4. Quipper

Quipper Online, www.mathstat.dal.ca/selinger/quipper/ 2021

5. QML Online

ncatlab.org/nlab/show/QML 2023

Poznámka:

Information about the course and teaching materials can be found at https://courses.fit.cvut.cz/QNIE-PJK

Další informace:

https://courses.fit.cvut.cz/QNIE-PJK

Pro tento předmět se rozvrh nepřipravuje

Předmět je součástí následujících studijních plánů: