量子程序设计语言

　　《中创软件丛书：量子程序设计语言》是一部量子程序设计语言专著。全书共十章，第一章为引言，着重阐明何谓量子程序设计语言，为何要研究量子程序设计语言，如何研究量子程序设计语言三个基本问题，并兼及《中创软件丛书：量子程序设计语言》之结构；第二章至第四章分别陈述研习量子程序设计语言所需之基础知识，即数学基础、计算机科学基础、量子力学基础；第五章为语言风范；第六章为量子程序设计语言举例，简要介绍了量子伪码、Ogol、QCL、qGCL、QML五种量子程序设计语言；第七章至第九章介绍作者主持设计并实现之三种量子程序设计语言——NDQjava、NDQFP以及NDQjava2及其处理系统；第十章为发展展望。《中创软件丛书：量子程序设计语言》可作为高等院校计算机、电子、通信有关专业高年级学生与研究生课程的参考用书，对有志于研究量子程序设计语言的人员亦具有重要参考价值。

暂缺《量子程序设计语言》作者简介

第一章 引言
1.1 何谓量子程序设计语言
1.1.1 何谓语言
1.1.2 自然语言与人工语言
1.1.3 经典程序设计语言
1.1.4 量子程序设计语言
1.2 为何要研究量子程序设计语言
1.2.1 适应量子计算机之需
1.2.2 Shor算法及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.1 0群的同构
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.4 x演算
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 量子化
第五章 语言风范
第六章 量子程序设计语言举例
第七章 量子程序设计语言NDQJava
第八章 量子程序设计语言NDQFP
第九章 量子程序设计语言NDQJava2
第十章 发展展望
主要参考文献
索引