Quantale理论是理论计算机科学的数学基础之一,和计算机语言的运算语义与符号语义相联系,刻画了进程语义中的各种观察等价.由于Quantale具有丰富的序结构、代数结构,以及与线性逻辑和计算机理论的紧密联系,受到了数学和理论计算机科学领域的许多学者的密切关注,已成为格上拓扑学的一个研究方向.本著作将系统介绍Quant
本书内容包括：线性方程组、矩阵及其运算、行列式、矩阵的秩与现性方程组的解、向量组的线性相关性以及相似矩阵与二次型，书中除每一节配有习题外，各章均配有一定数量的总习题。
《黎曼猜想漫谈：一场攀登数学高峰的天才盛宴》用科普的语言、用抽丝剥茧的方式讲述了黎曼猜想提出后一百多年里的方方面面。这使得对数学知识知之不多的读者了解黎曼猜想也成为可能。作者讲述了曾经从事过黎曼猜想的著名数学家的生平趣事和在黎曼猜想研究方面所做的贡献，介绍了100多年里相关数学理论和工具的发展情况。人们常常将好的数学问
群论是抽象代数学的一个最主要的分支。本书是关于群论的普及读物，主要内容包括群论的基本组成部分：集合、结构、循环群、交换群、置换群、正规子群、商群、同态定理、西罗定理、群作用、群表示等内容。除此之外，本书还对群论进行了总结，就群与对称、群论的历史渊源与理论框架、有限单群分类定理、群论在中国的发展等几个专题进行了论述。本书
初等数论是研究数的规律，特别是整数性质的数学分支。它是数论的一个古老的分支。它以算术方法为主要研究方法，主要内容有整数的整除理论、同余理论、连分数理论和某些特殊不定方程。本书包含整数的整除、同余、不定方程、同余方程、原根与指标、简单连分数、数论函数等内容。本书是根据作者十多年教学与科研经验编写而成的，逻辑严谨，内容深入
《应用离散数学/普通高校计算机类应用型本科系列规划教材》共分为8章，主要介绍离散数学的基本原理、具体方法和应用，内容包括命题逻辑、谓词逻辑、集合、二元关系和函数、图论和代数系统的相关知识等。取材侧重于介绍典型离散结构以及如何建立离散结构的数学模型，或如何将已用连续数量关系建立起来的数学模型离散化，从而使其可由计算机处理
本书主要介绍图的标号理论，从常见的一些标号图，到不常见的一些标号图，较为系统、全面地进行了分类介绍,综述近些年来关于图的标号问题的研究动态与研究成果。其主要内容包括优美图及其变形、和谐图、算术图、和图与整和图、素标号、亲切标号、魔术标号、L（2,1）标号、Fractional标号、控制标号与划分等。本书内容丰富、新
本书为《线性代数及应用》教材配套丛书，主要内容有：1.各章内容回顾，知识点归纳，2.各章典型例题分析，3.各章考研真题解析，4.各章教材课后习题及自测题详解，能够帮助学生扩大知识面。
《线性代数习题集》是科学出版社出版的《线性代数》（韩红伟、马致远主编）的配套习题集。《线性代数习题集》共五章，包含了行列式、矩阵、向量组及其线性相关性、线性方程组、矩阵的特征值、二次型等知识，每章节习题包含基础练习、提高练习以及历年的考研真题集锦，对教学大纲所要求的知识点、重点、难点都配有适应性习题，加强了知识的
目前应用型高等学校所用教材大多直接选自传统普通高校教材，无法直接有效地满足实际教学需要．许昌学院是河南省地方本科高校转型发展试点单位，为适应学校转型发展需要，培养合格高素质应用型人才，结合我校专业特点，经过广泛调研和多次研讨，组织编写了适合理工类各专业的公共数学讲义，其中《线性代数（理工类）》已在我校理工类各专业经过了
书单推荐
