徐家福编著的《量子程序设计语言(精)》是中创软件丛书系列之一，是一部量子程序设计语言专著。《量子程序设计语言(精)》可作为高等院校计算机、电子、通信有关专业高年级学生与研究生课程的参考用书，对有志于研究量子程序设计语言的人员亦具有重要参考价值。

徐家福编著的《量子程序设计语言(精)》是一部量子程序设计语言专著。全书共十章，第一章为引言，着重阐明何谓量子程序设计语言，为何要研究量子程序设计语言，如何研究量子程序设计语言三个基本问题，并兼及本书之结构；第二章至第四章分别陈述研习量子程序设计语言所需之基础知识，即数学基础、计算机科学基础、量子力学基础；第五章为语言风范；第六章为量子程序设计语言举例，简要介绍了量子伪码、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适应量子计算机之需

 l．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量子化

第五章 语言风范

第六章 量子程序设计语言举例

第七章 量子程序设计语言NDQJava

第八章 量子程序设计语言NDQFP

第九章 量子程序设计语言NDQJava2

第十章 发展展望

主要参考文献

索引