High Level Structures for Quantum Computing

Jaroslaw Miszczak

ISBN 10: 3031013883 / ISBN 13: 9783031013881

Edité par Springer International Publishing, Springer International Publishing Jun 2012, 2012

A propos de cet article

Neuware -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 / OutlookSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 132 pp. Englisch.

N° de réf. du vendeur 9783031013881

Détails bibliographiques

• Titre: High Level Structures for Quantum Computing
• Éditeur: Springer International Publishing, Springer International Publishing Jun 2012
• Date de parution: 2012
• Langue: anglais
• ISBN à 10 chiffres: 3031013883
• ISBN à 13 chiffres: 9783031013881
• Reliure: Taschenbuch
• État de l'article: Neu
• Dimensions: 235 L x 191 H x 8 P (en millimètres) 235 millimètres de largeur par 191 millimètres de hauteur par 8 millimètres de profondeur
• Poids: 262 grammes

A propos de ce titre

Synopsis

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

À propos de l?auteur

Dr. Jaroslaw Adam Miszczak is a researcher at the Institute of Theoretical and Applied Informatics of the Polish Academy of Sciences in Gliwice, Poland. He obtained his Master's degree with specialization in theoretical physics from University of Silesia in Katowice, Poland, in 2005 and Ph.D. degree in Computer Science from the Institute of Theoretical and Applied Informatics of the Polish Academy of Sciences, Gliwice, Poland, in July 2008. His research interests include quantum information theory, foundations of quantum mechanics, scientific computing, and theory of programming languages.