Foundations of Quantum Programming

by Mingsheng Ying

Overview

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.

Product Details

ISBN-13:	9780128025468
Publisher:	Morgan Kaufmann Publishers
Publication date:	03/28/2016
Sold by:	Barnes & Noble
Format:	eBook
Pages:	372
File size:	9 MB

About the Author

Mingsheng Ying is currently Deputy Director for Research of the Institute of Software, Chinese Academy of Sciences; Director of the Centre for Quantum Software, Tsinghua University; and Hui Yan Chair Professor of Computer Science, Tsinghua University.

He has published three books and served on the editorial board of several publications, including Artificial Intelligence Journal (Elsevier). He is inaugural Editor-in-Chief of ACM Transactions on Quantum Computing.

He received an NSF China Distinguished Young Scholar Award (1997) and a China National Science Award in Natural Science (2008).

Table of Contents

1. Introduction

Part I Preliminaries
2. Quantum Mechanics
3. Models of Quantum Computation
4. Quantum Algorithms

Part II Sequential Quantum Programs
5. Quantum While-Programs
6. Quantum Hoare Logic
7. Analysis of Quantum Programs

Part III Parallel and Distributed Quantum Programs
8. Parallel Quantum Programs
9. Distributed Quantum Programs

Part IV Quantum Control Flows
10. Quantum Case Statements
11. Quantum Recursion

Part V Programming for Quantum Machine Learning
12. Quantum Machine Learning
13. Differential Quantum Programming

Part VI Appendices
Appendix
I: Omitted Proofs in Chapter 5
II: Omitted Proofs in Chapter 7
III: Omitted Proofs in Chapter 10

What People are Saying About This

From the Publisher

Presents a methodical and thorough explanation of quantum programming, including new developments in parallel and distributed quantum programming