量子程序設計語言

第一章 引言
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 不變子群（正規(guī)子群）
2.2.8 陪集
2.2.9 群的同態(tài)
2.2.1 0群的同構
2.3 環(huán)
2.3.1 環(huán)的定義
2.3.2 非結合環(huán)
2.3.3 交換環(huán)（可換環(huán)）
2.3.4 零環(huán)
2.3.5 數環(huán)
2.3.6 子環(huán)
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
第十章 發(fā)展展望
主要參考文獻
索引