High Level Structures for Quantum Computing / by Jaroslaw Miszczak
By: Miszczak, Jaroslaw, autor
Material type: 
E-bookSeries: (Synthesis Lectures on Quantum Computing, 1945-9734).Publisher: Cham : Springer International Publishing, 2012Edition: 1st edition 2012.Description: 1 recurso en línea (XVI, 113 páginas).ISBN: 9783031025167.Subject: Ordenadores cuánticos | Mecánica cuántica | Algoritmos computacionalesOnline resources: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
LIBRO-E NO PRÉSTAMO
|
Madrid Digital Acceso Electrónico (UEM) | Ciencias e Ingeniería | QA76.889 2012 EB (Browse shelf(Opens below)) | Acceso electrónico | eBook.01112763 |
Browsing Madrid Digital shelves, Shelving location: Acceso Electrónico (UEM) Close shelf browser (Hides shelf browser)
| QA76.889 2008 EB Quantum Walks for Computer Scientists | QA76.889 2010 EB The Complexity of Noise : A Philosophical Outlook on Quantum Error Correction | QA76.889 2011 EB Quantum Computing for Computer Architects | QA76.889 2012 EB High Level Structures for Quantum Computing | QA76.889 2014 EB Adiabatic Quantum Computation and Quantum Annealing : Theory and Practice | QA76.889 2014 EB Approximability of Optimization Problems through Adiabatic Quantum Computation | QA76.889 2020 EB Introducing Design Automation for Quantum Computing / |
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.
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.
There are no comments on this title.