Foundations of Quantum Programming - Softcover

Ying

 
9780443159428: Foundations of Quantum Programming
Softcover
ISBN 10: 0443159424 ISBN 13: 9780443159428
Verlag: Morgan Kaufmann, 2024

Inhaltsangabe

Foundations of Quantum Programming, Second Edition provides a systematic exposition of the subject of quantum programming. Emphasis is placed on foundational concepts, methods, and techniques that can be widely used for various quantum programming models and languages. The book describes how programming methodologies developed for current computers can be extended for quantum computers, along with new programming methodologies that can effectively exploit the unique power of quantum computing. In addition, this resource introduces a chain of quantum programming models from sequential to parallel and distributed programming in the paradigm of superposition-of-data to the paradigm of superposition-of-programs.

Final content presents a series of logical and mathematical tools for verification and analysis of quantum programs, including invariant generation, termination analysis, and abstract interpretation.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den 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).

Von der hinteren Coverseite

Quantum computing offers great promise in a wide variety of applications that need computational power beyond the limits of current conventional computers, including machine learning and AI, cryptanalysis, and simulation of quantum physics and chemistry. Fundamentally new programming technologies are required to develop quantum software that can realize the super-power of quantum computing.

Foundations of Quantum Programming, Second Edition provides a systematic exposition of the subject of quantum programming. The emphasis is placed on the foundational concepts, methods and techniques that can be widely used for various quantum programming models and languages. It describes how programming methodologies developed for current computers can be extended for quantum computers, along with new programming methodologies that can effectively exploit the unique power of quantum computing. It introduces a chain of quantum programming models from sequential to parallel and distributed programming in the paradigm of superposition-of-data to the paradigm of superposition-of-programs. It also presents a series of logical and mathematical tools for verification and analysis of quantum programs, including invariant generation, termination analysis and abstract interpretation.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Morgan Kaufmann
Erscheinungsdatum
2024
Sprache
Englisch
ISBN 10 
0443159424
ISBN 13 
9780443159428
Einband
Taschenbuch
Auflage
2
Anzahl der Seiten
472
Kontakt zum Hersteller
preigu GmbH & Co. KG
mail@preigu.de

Lengericher Landstr. 19
Osnabrück
Niedersachsen
49078
Deutschland