High-level Structures in Quantum Computing
暫譯: 量子計算中的高階結構

Jaroslaw A. Miszczak

  • 出版商: Morgan & Claypool
  • 出版日期: 2012-06-06
  • 售價: $1,620
  • 貴賓價: 9.5$1,539
  • 語言: 英文
  • 頁數: 130
  • 裝訂: Paperback
  • ISBN: 1608458512
  • ISBN-13: 9781608458516
  • 相關分類: 量子計算
  • 海外代購書籍(需單獨結帳)

商品描述

This book is concerned with the models of quantum computation. Information processing based on the rules of quantum mechanics provides us with new opportunities for developing more efficient algorithms and protocols. However, to harness the power offered by quantum information processing it is essential to control the behavior of quantum mechanical objects in a precise manner. As this seems to be conceptually difficult at the level of quantum states and unitary gates, high-level quantum programming languages have been proposed for this purpose.

The aim of this book is to provide an introduction to abstract models of computation used in quantum information theory. Starting from the abstract models of Turing machine and finite automata, we introduce the models of Boolean circuits and Random Access Machine and use them to present quantum programming techniques and quantum programming languages.

Table of Contents: Introduction / Turing machines / Quantum Finite State Automata / Computational Circuits / Random Access Machines / Quantum Programming Environment / Quantum Programming Languages / Imperative quantum programming / Functional Quantum Programming / Outlook

商品描述(中文翻譯)

本書探討量子計算的模型。基於量子力學規則的信息處理為我們提供了開發更高效算法和協議的新機會。然而,要充分利用量子信息處理所提供的力量,精確控制量子機械物體的行為是至關重要的。由於在量子狀態和單位元閘的層面上這似乎在概念上是困難的,因此為此目的提出了高階量子程式設計語言。

本書的目的是提供量子信息理論中使用的抽象計算模型的介紹。從圖靈機和有限自動機的抽象模型開始,我們介紹布林電路和隨機存取機的模型,並利用它們來呈現量子程式設計技術和量子程式設計語言。

目錄:介紹 / 圖靈機 / 量子有限狀態自動機 / 計算電路 / 隨機存取機 / 量子程式設計環境 / 量子程式設計語言 / 命令式量子程式設計 / 函數式量子程式設計 / 展望