Foundations of Quantum Programming

Informationen zum Autor 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). Klappentext 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. Inhaltsverzeichnis Part I Introduction and Preliminaries 1 Introduction 2 Preliminaries Part II Quantum Programs with Classical Control 3 Syntax and Semantics of Quantum Programs 4 Logic for Quantum Programs 5 Analysis of Quantum Programs Part III Quantum Programs with Quantum Control 6 Quantum Case Statements 7 Quantum Recursion Part IV Prospects 8 Prospects

Product details

• Authors: Mingsheng Ying, Mingsheng (Deputy Director for Research Ying, Mingsheng (Deputy Director for Research of t Ying, Mingsheng (Deputy Director for Research of the Institute of Software Ying, Mingsheng (Distinguished Professor Ying, Ying Mingsheng
• Publisher: ELSEVIER SCIENCE BV
• Languages: English
• Product format: Paperback / Softback
• Released: 09.03.2016
• EAN: 9780128023068
• ISBN: 978-0-12-802306-8
• No. of pages: 372
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > Hardware; COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / General, COMPUTERS / Programming / Parallel, Computer programming / software engineering, Computer Programming / Software Development, Grid & parallel computing, Grid and parallel computing