量子程序設(shè)計語言

第一章 引言
1.1 何謂量子程序設(shè)計語言
1.1.1 何謂語言
1.1.2 自然語言與人工語言
1.1.3 經(jīng)典程序設(shè)計語言
1.1.4 量子程序設(shè)計語言
1.2 為何要研究量子程序設(shè)計語言
1.2.1 適應(yīng)量子計算機(jī)之需
1.2.2 Shor算法及Grover算法的出現(xiàn)
1.2.3 南京大學(xué)之工作
1.3 如何研究量子程序設(shè)計語言
1.3.1 學(xué)習(xí)研討
1.3.2 進(jìn)行實驗
1.4 本書之結(jié)構(gòu)
第二章 數(shù)學(xué)基礎(chǔ)
2.1 集
2.1.1 表述
2.1.2 子集
2.1.3 運(yùn)算
2.2 群
2.2.1 代數(shù)系
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群的同構(gòu)
2.3 環(huán)
2.3.1 環(huán)的定義
2.3.2 非結(jié)合環(huán)
2.3.3 交換環(huán)（可換環(huán)）
2.3.4 零環(huán)
2.3.5 數(shù)環(huán)
2.3.6 子環(huán)
2.4 域
2.4.1 域的定義
2.4.2 源流
2.4.3 子域
2.4.4 擴(kuò)域
2.4.5 素域
2.5 向量空間（線性空間）
2.5.1 向量（矢量）
2.5.2 向量空間（線性空間）
2.5.3 矩陣
2.5.4 特征值和特征向量（本征值和本征向量）
第三章 計算機(jī)科學(xué)基礎(chǔ)
3.1 計算模型
3.1.1 線路
3.1.2 圖靈機(jī)（Turing機(jī)）
3.1.3 遞歸函數(shù)
3.1.4 x演算
3.2 不可計算性
3.2.1 沿革
3.2.2 勝弈機(jī)之不存在性
3.2.3 不可計算函數(shù)的存在性
3.3 計算復(fù)雜性
3.3.1 緣起
3.3.2 理解
3.3.3 復(fù)雜性類
第四章 量子力學(xué)基礎(chǔ)
4.1 基本問題
4.1.1 量子
4.1.2 量子化
第五章 語言風(fēng)范
第六章 量子程序設(shè)計語言舉例
第七章 量子程序設(shè)計語言NDQJava
第八章 量子程序設(shè)計語言NDQFP
第九章 量子程序設(shè)計語言NDQJava2
第十章 發(fā)展展望
主要參考文獻(xiàn)
索引