本书系统介绍了Fi-bonacci数与更一般的Lucas序列丰富的数论性质，以及它们的Diophantus表示；并以此为基础利用可计算性理论介绍了Hilbert第十问题的否定解决，以及作者建立的11未知数定理。

本教材为“十二五”普通高等教育本科***规划教材和“十三五”江苏省高等学校重点教材,本教材第二版获首届全国教材建设奖全国优秀教材二等奖.内容包括矩阵、n维向量、线性方程组、矩阵的特征值和特征向量、二次型.本教材不仅力求内容的科学性与系统性,而且注重代数概念的几何背景以及实际应用背景的介绍,以利于读者更好地理解和掌握线性

本书是陈难先院士对于其科研生涯中主要的贡献——默比乌斯反演的应用的总结。但本书并没有局限于纯粹学术专著的风格，而是尽量写得通俗易懂，以激发读者对于这一美妙方法的兴趣。 20世纪80年代，人类进入信息时代，科学技术中的各种逆问题蓬勃兴起。作者运用默比乌斯反演方法使问题的解出现了新的面貌。在Nature杂志引发了整版评论。

范畴论是抽象地处理数学结构以及结构之间联系的一门数学理论，同调代数是随着拓扑学，特别是同调论的发展而形成的一种代数方法。本书涵盖了范畴论与同调代数的基本理论，包括范畴、Abel范畴、正向极限与反向极限、Hom函子与张量积函子，投射模、内射模、平坦模，同调论，导出函子，同调维数等内容。范畴论把代数学中以往作个别研究的一些

本书属于“大学数学经典教材精选系列”。本书是《工科高等代数》教材的配套教辅，是作者多年高等代数课程教学和辅导实践的总结。全书分为行列式、矩阵及其运算、矩阵的初等变换与线性方程组、向量组的线性相关性、相似矩阵及二次型、线性空间与线性变换、多项式等7章，每章基本由大纲要求与考点提示、知识结构图释疑解难、典型题目类型分析、常

本书内容包括：行列式、矩阵、线性方程组与向量组的线性相关性、相似矩阵与二次型、线性空间与线性变换、数学软件Matlab简介与上机实验，书末附有常用“线性代数”英文专业词汇及部分习题参考答案与提示。

本书是编者根据多年讲授离散数学课程的教学实践,为适应计算机科学与技术发展的需要,并参考国内外同类教材而编写,目的在于通过讲授离散数学中的基本概念、基本定理和运算及其在计算机科学与技术学科中的应用,培养学生的数学抽象能力、用数学语言描述问题的能力、逻辑思维能力以及数学论证能力。本书力求概念阐述严谨,证明推演详尽,较难理解

全书覆盖了计算机专业和电子信息专业最需要的基本内容，它包括四大部分，共14章。介绍了数理逻辑、集合论、代数系统和图论的基础知识以及这四个部分之间的内在联系，叙述详细、推演严密，注重基础，深入浅出，便于理解。

有限群理论是研究对称性的重要数学基础，在理论物理、量子化学、晶体学、计算机编码、量子通信、信息加密等领域有重要应用。本书介绍了作者在有限群构造领域的主要研究成果。为了便于读者阅读，本书详细介绍了有限群论的基本概念、基本定理及其证明，内容是自封的。主要内容为：群的基本知识，群的作用，有限幂零群与超可解群，阶为p2q2，p

随着科学技术的飞速发展，人们研究的客体极速拓展，所搜集到的数据量暴增，人们习惯应用的多元统计分析理论和方法都受到了严峻的挑战。特别是当变量个数远超样本大小时，传统的在维数给定条件下发展起来的多元分析理论严重失效。白志东院士从事大维随机矩阵谱理论研究三十余年，他从数理统计的应用出发，建立的一整套理论系统地解决了高维统计中