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

第一章 引言
1.1 何謂量子程序設(shè)計(jì)語言
1.1.1 何謂語言
1.1.2 自然語言與人工語言
1.1.3 經(jīng)典程序設(shè)計(jì)語言
1.1.4 量子程序設(shè)計(jì)語言
1.2 為何要研究量子程序設(shè)計(jì)語言
1.2.1 適應(yīng)量子計(jì)算機(jī)之需
1.2.2 Shor算法及Grover算法的出現(xiàn)
1.2.3 南京大學(xué)之工作
1.3 如何研究量子程序設(shè)計(jì)語言
1.3.1 學(xué)習(xí)研討
1.3.2 進(jìn)行實(shí)驗(yà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ì)算機(jī)科學(xué)基礎(chǔ)
3.1 計(jì)算模型
3.1.1 線路
3.1.2 圖靈機(jī)（Turing機(jī)）
3.1.3 遞歸函數(shù)
3.1.4 x演算
3.2 不可計(jì)算性
3.2.1 沿革
3.2.2 勝弈機(jī)之不存在性
3.2.3 不可計(jì)算函數(shù)的存在性
3.3 計(jì)算復(fù)雜性
3.3.1 緣起
3.3.2 理解
3.3.3 復(fù)雜性類
第四章 量子力學(xué)基礎(chǔ)
4.1 基本問題
4.1.1 量子
4.1.2 量子化
第五章 語言風(fēng)范
第六章 量子程序設(shè)計(jì)語言舉例
第七章 量子程序設(shè)計(jì)語言NDQJava
第八章 量子程序設(shè)計(jì)語言NDQFP
第九章 量子程序設(shè)計(jì)語言NDQJava2
第十章 發(fā)展展望
主要參考文獻(xiàn)
索引