Hello. Sign in to personalize your visit. New user? Register now.


High-level Structures for Quantum Computing

Synthesis Lectures on Quantum Computing

Jarosław Adam Miszczak​‌
Institute of Theoretical and Applied Informatics, Polish Academy of Sciences


This book is concerned with the models of quantum computation. Information processing based on the rules of quantum mechanics provides us with new opportunities for developing more efficient algorithms and protocols. However, to harness the power offered by quantum information processing it is essential to control the behavior of quantum mechanical objects in a precise manner. As this seems to be conceptually difficult at the level of quantum states and unitary gates, high-level quantum programming languages have been proposed for this purpose.

The aim of this book is to provide an introduction to abstract models of computation used in quantum information theory. Starting from the abstract models of Turing machine and finite automata, we introduce the models of Boolean circuits and Random Access Machine and use them to present quantum programming techniques and quantum programming languages.

Table of Contents: Introduction / Turing machines / Quantum Finite State Automata / Computational Circuits / Random Access Machines / Quantum Programming Environment / Quantum Programming Languages / Imperative quantum programming / Functional Quantum Programming / Outlook

PDF (1090 KB) PDF Plus (1062 KB)

Cited by

Heinz W. Schmidt​‌. 2021. How to Bake Quantum into Your Pet Petri Nets and Have Your Net Theory Too. Service-Oriented Computing, 3-33.
Jake C. Perez, Sean E. Shaheen​‌. (2020) Neuromorphic-based Boolean and reversible logic circuits from organic electrochemical transistors. MRS Bulletin 45:8, 649-654.
Online publication date: 10-Aug-2020.
Adam Glos, Jarosław Adam Miszczak​‌. (2019) The role of quantum correlations in Cop and Robber game. Quantum Studies: Mathematics and Foundations 6:1, 15-26.
Online publication date: 28-Nov-2017.
Franklin de Lima Marquezino, Renato Portugal, Carlile Lavor​‌. 2019. Bits and Qubits. A Primer on Quantum Computing, 7-34.
Giuseppe Sergioli, Enrica Santucci, Luca Didaci, Jarosław A. Miszczak, Roberto Giuntini​‌. (2018) A quantum-inspired version of the nearest mean classifier. Soft Computing 22:3, 691-705.
Online publication date: 2-Jan-2017.
J. A. Miszczak​‌. 2017. States and Channels in Quantum Mechanics Without Complex Numbers. Applications of Computer Algebra, 305-316.

Prev. lecture | Next lecture
View/Print PDF (1090 KB)
View PDF Plus (1062 KB)
Add to favorites
Email to a friend
TOC Alert | Citation Alert What is RSS?

Quick Search
Jarosław Adam Miszczak
quantum computing
models of quantum computation
quantum circuit
quantum finite automaton
quantum Turing machine
quantum RAM
quantum pseudocode
quantum programming language
Home | Synthesis | Search | Profile | Access | Author | Help | About
Technology Partner - Atypon Systems, Inc.