量子程序设计语言（精装）

图书标准信息

• 作者 宋方敏 著；徐家福
• 出版社 科学出版社
• 出版时间 2013-11
• 版次 1
• ISBN 9787030387349
• 定价 60.00元
• 装帧 精装
• 开本 16开
• 纸张 胶版纸
• 页数 175页
• 字数 202千字

【内容简介】

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

第十章  发展展望

主要参考文献

索引