INDEX OF THE COLLECTION

词条索引

四卷主题，8 个起点。循着一个概念，找到下一个问题。

VOLUME I · Foundations

数学与计算基础

从量子态、操作与线路出发，建立讨论程序所需的数学语言。

介绍用态矢量、密度矩阵和量子操作描述量子信息，并说明测量分支与不可克隆边界。

介绍以量子比特、门、测量和经典控制组成的量子线路及其概率语义。

VOLUME II · Languages & types

研究程序如何被表达，以及类型如何约束量子资源的使用。

介绍用线性资源约束表达量子比特使用次数，并区分量子资源与可复制的经典数据。

介绍量子编程语言的语法、资源管理、测量和经典控制，以及它们与底层线路的关系。

VOLUME III · Program semantics

为程序赋予数学意义，连接语法、执行与可观察行为。

介绍把量子程序映射为线性算子、超算子或 CP(TNI) 映射的指称语义。

介绍把量子程序的后置量子谓词反向变换为最弱前置条件的 predicate-transformer 方法。

VOLUME IV · Logic & verification

用断言、推理规则和机械化证明，讨论程序为何正确。

介绍以量子谓词和 trace 语义表达量子程序 partial correctness 的 Hoare 风格逻辑。

介绍量子程序验证中的类型检查、符号语义、定理证明、模型检查和测试边界。