| 000 -LEADER |
|---|
| fixed length control field |
06528cam a2200313Ii 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20190409142026.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
180327s2016 mdu ob 001 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780128023068 |
|
|---|
| International Standard Book Number |
0128025468 |
|
|---|
| Cancelled/invalid ISBN |
9780128023068 |
|
|---|
| International Standard Book Number |
0128023066 |
|
|---|
| International Standard Book Number |
9780128023068 |
| 041 ## - Language |
|---|
| Language code of text/sound track or separate title |
eng |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.889 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Edition number |
23 |
| Classification number |
006.3843 |
| Item number |
Y516 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Ying, Mingsheng. |
| 9 (RLIN) |
42722 |
| 245 10 - IMMEDIATE SOURCE OF ACQUISITION NOTE |
|---|
| Title |
Foundations of quantum programming / |
| Statement of responsibility, etc |
Mingsheng Ying. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc |
Cambridge, MA : |
| Name of publisher, distributor, etc |
Morgan Kaufmann, an imprint of Elsevier, |
| Date of publication, distribution, etc |
2016. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xi, 357 p. ; |
| Dimensions |
25 cm |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Introduction and Preliminaries -- Introduction -- Brief History of Quantum Programming Research -- Design of Quantum Programming Languages -- Semantics of Quantum Programming Languages -- Verification and Analysis of Quantum Programs -- Approaches to Quantum Programming -- Superposition-of-Data-Quantum Programs with Classical Control -- Superposition-of-Programs-Quantum Programs with Quantum Control -- Structure of the Book -- Preliminaries -- Quantum Mechanics -- Hilbert Spaces -- Linear Operators -- Unitary Transformations -- Quantum Measurements -- Tensor Products of Hilbert Spaces -- Density Operators -- Quantum Operations -- Quantum Circuits -- Basic Definitions -- One-Qubit Gates -- Controlled Gates -- Quantum Multiplexor -- Universality of Gates -- Measurement in Circuits -- Quantum Algorithms -- Quantum Parallelism and Interference -- Deulsch-Jozsa Algorithm -- Grover Search Algorithm -- Quantum Walks -- Quantum-Walk Search Algorithm -- Quantum Fourier Transform -- Phase Estimation -- Bibliographic Remarks -- Quantum Programs with Classical Control -- Syntax and Semantics of Quantum Programs -- Syntax -- Operational Semantics -- Denotational Semantics -- Basic Properties of Semantic Functions -- Quantum Domains -- Semantic Function of Loop -- Change and Access of Quantum Variables -- Termination and Divergence Probabilities -- Semantic Functions as Quantum Operations -- Classical Recursion in Quantum Programming -- Syntax -- Operational Semantics -- Denotational Semantics -- Fixed Point Characterization -- Illustrative Example: Grover Quantum Search -- Proofs of Lemmas -- Bibliographic Remarks -- Logic for Quantum Programs -- Quantum Predicates -- Quantum Weakest Preconditions -- Floyd-Hoare Logic for Quantum Programs -- Correctness Formulas -- Weakest Preconditions of Quantum Programs -- Proof System for Partial Correctness -- Proof System for Total Correctness -- An Illustrative Example: Reasoning about the Grover Algorithm -- Commutativity of Quantum Weakest Preconditions -- Bibliographic Remarks -- Analysis of Quantum Programs -- Termination Analysis of Quantum while-Loops -- Quantum while-Loops with Unitary Bodies -- General Quantum while Loops -- An Example -- Quantum Graph Theory -- Basic Definitions -- Bottom Strongly Connected Components -- Decomposition of the Stale Hilbert Space -- Reachability Analysis of Quantum Markov Chains -- Reachability Probability -- Repeated Reachability Probability -- Persistence Probability -- Proofs of Technical Lemmas -- Bibliographic Remarks -- Quantum Programs with Quantum Control -- Quantum Case Statements -- Case Statements: From Classical to Quantum -- QuGCL: A Language with Quantum Case Statement -- Guarded Compositions of Quantum Operations -- Guarded Composition of Unitary Operators -- Operator-Valued Functions -- Guarded Composition of Operator-Valued Functions -- Guarded Composition of Quantum Operations -- Semantics of QuGCL Programs -- Classical States -- Semi-Classical Semantics -- Purely Quantum Semantics -- Weakest Precondition Semantics -- An Example -- Quantum Choice -- Choices: From Classical to Quantum via Probabilistic -- Quantum Implementation of Probabilistic Choice -- Algebraic Laws -- Illustrative Examples -- Quantum Walks -- Quantum Phase Estimation -- Discussions -- Coefficients in Guarded Compositions of Quantum Operations -- Quantum Case Statements Guarded by Subspaces -- Proofs of Lemmas, Propositions and Theorems -- Bibliographic Remarks -- Quantum Recursion -- Syntax of Quantum Recursive Programs -- Motivating Examples: Recursive Quantum Walks -- Specification of Recursive Quantum Walks -- How to Solve Recursive Quantum Equations -- Second Quantization -- Multiple-Particle States -- Fock Spaces -- Observables in Fock Spaces -- Evolution in Fock Spaces -- Creation and Annihilation of Particles -- Solving Recursive Equations in the Free Fock Space -- A Domain of Operators in the Free Fock Space -- Semantic Functional of Program Schemes -- Fixed Point Semantics -- Syntactic Approximation -- Recovering Symmetry and Antisymmetry -- Symmetrization Functional -- Symmetrization of the Semantics of Quantum Recursive Programs -- Principal System Semantics of Quantum Recursion -- Illustrative Examples: Revisit Recursive Quantum Walks -- Quantum while Loops (with Quantum Control) -- Bibliographic Remarks -- Prospects -- Prospects -- Quantum Programs and Quantum Machines -- Implementation of Quantum Programming Languages -- Functional Quantum Programming -- Categorical Semantics of Quantum Programs -- From Concurrent Quantum Programs to Quantum Concurrency -- Entanglement in Quantum Programming -- Model-Checking Quantum Systems -- Quantum Programming Applied to Physics |
| 506 ## - RESTRICTIONS ON ACCESS NOTE |
|---|
| Terms governing access |
Available to OhioLINK libraries |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
Foundations of Quantum Programming discusses how new programming methodologies and technologies developed for current computers can be extended to exploit the unique power of quantum computers, which promise dramatic advantages in processing speed over currently available computer systems. Governments and industries around the globe are now investing vast amounts of money with the expectation of building practical quantum computers. Drawing upon years of experience and research in quantum computing research and using numerous examples and illustrations, Mingsheng Ying has created a very useful reference on quantum programming languages and important tools and techniques required for quantum programming, making the book a valuable resource for academics, researchers, and developers |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Quantum computers. |
| 9 (RLIN) |
11138 |
|
|---|
| Topical term or geographic name as entry element |
Programming languages (Electronic computers) |
| 9 (RLIN) |
6841 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
Safari Books Online |
| Uniform Resource Identifier |
http://proquest.safaribooksonline.com/?uiCode=ohlink&xmlId=9780128025468 |
| Public note |
Connect to resource |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Item type |
Book |
