计算机科学丛书 量子编程基础

本书由量子计算领域的知名学者应明生教授撰写，重点讲解不同语言和技术所广泛使用的基础概念、方法和数学工具，而非某种特定的量子编程语言或技术。全书从量子力学和量子计算的基础概念开始，详细介绍了多种量子程序结构和一系列量子编程模型。此外，还系统地讨论了量子程序的语义、逻辑和分析与验证技术。本书内容连贯且自成体系，对于学术界和工业界的研究者和开发人员都有很高的参考价值。