本书是关于量子信息的数学理论教材，着重于定义、定理与证明的形式化表述。本书主要面向有一定量子信息与计算基础（譬如本科与研究生入门级课程，或本领域内现有书籍所涉及的内容）的研究生和科研人员。