近年来物理实验领域的快速发展，使人们普遍期望在10～20年内实现规模大、功能全的量子计算机硬件。然而，要发挥量子计算的超级计算能力，仅仅依靠量子硬件是不够的，量子软件也必须发挥关键作用。目前广泛使用的软件开发技术不能直接应用于量子计算机，经典世界和量子世界的本质差异意味着需要新的技术来为量子计算机编程。
本书对量子编程这一课题进行了系统和详尽的探索，将研究重点放在不同量子编程语言和技术所广泛使用的基础概念、方法和数学工具上。全书从量子力学和量子计算的基础概念开始，详细介绍了多种量子程序结构和一系列量子编程模型。此外，还系统地讨论了量子程序的语义、逻辑和分析与验证技术。

出版者的话
序言一
序言二
前言
致谢
第一部分 引言和预备知识
第1章 引言
1.1 量子编程研究简史
1.1.1 量子编程语言的设计
1.1.2 量子编程语言的语义
1.1.3 量子程序的验证和分析
1.2 量子编程的方法
1.2.1 数据叠加——带经典控制的量子程序
1.2.2 程序叠加——带量子控制的量子程序
1.3 全书结构
第2章 预备知识
2.1 量子力学
2.1.1 希尔伯特空间
2.1.2 线性算子
2.1.3 幺正变换
2.1.4 量子测量
2.1.5 希尔伯特空间的张量积
2.1.6 密度算子
2.1.7 量子操作
2.2 量子线路
2.2.1 基本定义
2.2.2 单量子比特门
2.2.3 受控门
2.2.4 量子多路复用器
2.2.5 量子门的通用性
2.2.6 量子线路的测量
2.3 量子算法
2.3.1 量子并行性与量子干涉
2.3.2 Deutsch-Jozsa算法
2.3.3 Grover搜索算法
2.3.4 量子游走
2.3.5 量子游走搜索算法
2.3.6 量子傅里叶变换
2.3.7 相位估计
2.4 文献注解
第二部分 带经典控制的量子程序
第3章 量子程序的语法和语义
3.1 语法
3.2 操作语义
3.3 指称语义
3.3.1 语义函数的基本属性
3.3.2 量子域
3.3.3 循环的语义函数
3.3.4 量子变量的改变与访问
3.3.5 终止和发散的概率
3.3.6 作为量子操作的语义函数
3.4 量子编程中的经典递归
3.4.1 语法
3.4.2 操作语义
3.4.3 指称语义
3.4.4 不动点特性
3.5 例子：Grover量子搜索
3.6 引理的证明
3.7 文献注解
第4章 量子程序的逻辑
4.1 量子谓词
4.1.1 量子最弱前置条件
4.2 量子程序的Floyd-Hoare逻辑
4.2.1 正确性公式
4.2.2 量子程序的最弱前置条件
4.2.3 部分正确性的证明系统
4.2.4 整体正确性的证明系统
4.2.5 例子：推理Grover算法
4.3 量子最弱前置条件的可交换性
4.4 文献注解
第5章 量子程序的分析
5.1 量子while循环的终止性分析
5.1.1 使用幺正操作作为循环体的量子while循环
5.1.2 一般性量子while循环
5.1.3 例子
5.2 量子图理论
5.2.1 基本定义
5.2.2 末端强连通分量
5.2.3 状态希尔伯特空间的分解
5.3 量子马尔可夫链的可达性分析
5.3.1 可达性概率
5.3.2 重复可达性概率
5.3.3 持续性概率
5.4 引理的证明
5.5 文献注解
第三部分 带量子控制的量子程序
第6章 量子case语句
6.1 case语句：从经典到量子
6.2 QuGCL：支持量子case语句的编程语言
6.3 量子操作的卫式组合
6.3.1 幺正算子的卫式组合
6.3.2 算子值函数
6.3.3 算子值函数的卫式组合
6.3.4 量子操作的卫式组合
6.4 QuGCL程序的语义
6.4.1 经典态
6.4.2 半经典语义
6.4.3 纯量子语义
6.4.4 最弱前置条件语义
6.4.5 例子
6.5 量子选择
6.5.1 选择：通过概率性从经典转换到量子
6.5.2 概率性选择的量子实现
6.6 代数法则
6.7 例子
6.7.1 量子游走
6.7.2 量子相位估算
6.8 讨论
6.8.1 量子操作卫式组合的系数
6.8.2 通过子空间控制的量子case语句
6.9 引理、命题和定理的证明
6.10 文献注解
第7章 量子递归
7.1 量子递归程序的语法
7.2 启发性示例：递归量子游走
7.2.1 递归量子游走的规范
7.2.2 如何求解递归量子方程
7.3 二次量子化
7.3.1 多粒子态
7.3.2 Fock空间
7.3.3 Fock空间的可观测量
7.3.4 Fock空间的演变
7.3.5 粒子的产生与湮灭
7.4 在自由Fock空间中求解递归方程
7.4.1 自由Fock空间中算子的域
7.4.2 程序模式的语义泛函
7.4.3 不动点语义
7.4.4 语法逼近
7.5 恢复对称性与反对称性
7.5.1 对称函数
7.5.2 量子递归程序语义的对称性
7.6 量子递归的主系统语义
7.7 例子：回顾递归量子游走
7.8 （带量子控制的）量子while循环
7.9 文献注解
第四部分 发展前景
第8章 发展前景
8.1 量子程序与量子机
8.2 量子编程语言的实现
8.3 函数式量子编程
8.4 量子程序的范畴语义
8.5 从并行量子程序到量子并行
8.6 量子编程中的纠缠
8.7 模型检测量子系统
8.8 应用于物理学的量子编程
参考文献
索引