Foundations of Quantum Programming 2/e
Ying, Mingsheng
- 出版商: Morgan Kaufmann
- 出版日期: 2024-05-03
- 售價: $5,310
- 貴賓價: 9.5 折 $5,045
- 語言: 英文
- 頁數: 472
- 裝訂: Quality Paper - also called trade paper
- ISBN: 0443159424
- ISBN-13: 9780443159428
-
相關分類:
量子 Quantum
海外代購書籍(需單獨結帳)
相關主題
商品描述
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.
商品描述(中文翻譯)
《量子程式設計基礎,第二版》系統性地介紹了量子程式設計的主題。強調基礎概念、方法和技術,這些可以廣泛應用於各種量子程式設計模型和語言。本書描述了如何將為現有計算機開發的程式設計方法擴展到量子計算機,以及如何有效利用量子計算的獨特能力的新程式設計方法。此外,本資源還介紹了一系列從順序到並行和分佈式程式設計的量子程式設計模型,從資料的重疊到程式的重疊範式。最後,本書還提供了一系列用於驗證和分析量子程式的邏輯和數學工具,包括不變量生成、終止分析和抽象解釋。