Quantum programming languages

第一章引言
1.1何谓量子程序设计语言
1.1.1何谓语言
1.1.2自然语言与人工语言
1.1.3经典程序设计语言
1.1.4量子程序设计语言
1.2为何要研究量子程序设计语言
1.2.1适应量子计算机之需
1.2.2Shor算法及Grover算法的出现
1.2.3南京大学之工作
1.3如何研究量子程序设计语言
1.3.1学习研讨
1.3.2进行实验
1.4本书之结构
第二章数学基础
2.1集
2.1.1表述
2.1.2子集
2.1.3运算
2.2群
2.2.1代数系
2.2.2群的定义
2.2.3半群
2.2.4群的阶
2.2.5群元素的阶
2.2.6子群
2.2.7不变子群（正规子群）
2.2.8陪集
2.2.9群的同态
2.2.10群的同构
2.3环
2.3.1环的定义
2.3.2非结合环
2.3.3交换环（可换环）
2.3.4零环
2.3.5数环
2.3.6子环
2.4域
2.4.1域的定义
2.4.2源流
2.4.3子域
2.4.4扩域
2.4.5素域
2.5向量空间（线性空间）
2.5.1向量（矢量）
2.5.2向量空间（线性空间）
2.5.3矩阵
2.5.4特征值和特征向量（本征值和本征向量）
第三章计算机科学基础
3.1计算模型
3.1.1线路
3.1.2图灵机（Turing机）
3.1.3递归函数
3.1.4x演算
3.2不可计算性
3.2.1沿革
3.2.2胜弈机之不存在性
3.2.3不可计算函数的存在性
3.3计算复杂性
3.3.1缘起
3.3.2理解
3.3.3复杂性类
第四章量子力学基础
4.1基本问题
4.1.1量子
4.1.2量子化
4.1.3波粒二象性
4.1.4不确定性关系（测不准原理）
4.1.5波粒二象性和不确定性关系二者之关系
4.1.6量子力学的数学基础
4.2叠加原理
4.2.1叠加
4.2.2原理
4.3量子测量
4.3.1力学量的测量
4.3.2塌缩
4.4量子纠缠
4.4.1量子纠缠的数学表述
4.4.2量子纠缠的物理表现
4.4.3纠缠和关联的区别和联系
4.4.4量子纠缠的本质和空间非定域性
4.4.5量子纠缠在量子信息和量子计算中的作用
第五章语言风范
5.1何谓语言风范
5.1.1语言风范反映了语言所基以的计算机的结构
5.1.2语言风范反映了语言之刻画重点
5.1.3语言风范影响了语言所书写的程序之程序结构
5.2命令式语言风范
5.2.1利弊分析
5.2.2语言举例：XCY语言
5.3申述式语言风范
5.3.1利弊分析
5.3.2语言举例：FP语言
第六章量子程序设计语言举例
6.1量子伪码
6.1.1量子计算
6.1.2硬件平台
6.1.3伪码约定
6.2Qgol
6.2.1量子计算机体系结构
6.2.2量子计算机的形式描述
6.2.3通用量子计算机的不存在性
6.2.4Qgol模拟系统
6.2.5量子电报
6.3QCL
6.3.1混成式结构
6.3.2语言主要成分
6.4qGCL
6.4.1qGCL程序
6.4.2程序示例
6.5QML
6.5.1设计要点
6.5.2量子数据和控制
6.5.3QML的语法和定型规则
6.5.4QML的操作语义
6.5.5QML的指称语义
第七章量子程序设计语言NDQJava
7.1工作动因
7.1.1有感于量子计算与量子计算机的诱人潜力
7.1.2有感于一旦实用的通用量子计算机问世，对人类文明与社会进步的巨大推动
7.2设计准则
7.2.1实用性
7.2.2简明性
7.2.3严谨性
7.3语言概貌
7.3.1语言风范
7.3.2硬件平台
7.3.3语言结构
7.3.4量子成分
7.4实现途径
7.4.1途径
7.4.2难点
7.5处理系统
7.5.1词法分析程序
7.5.2语法分析程序与代码转换程序
7.5.3量子汇编程序与解释程序
7.6示例
……
第八章量子程序设计语言NDQFP
第九章量子程序设计语言NDQJava2
第十章发展展望
主要参考文献
索引