数理逻辑是离散数学的重要组成部分之一，是计算机科学的数学基础。《数理逻辑引论（修订版）》内容主要侧重于逻辑演算，即命题逻辑演算和一阶谓词逻辑演算，这些内容是构成数理逻辑其他分支的共同基础。全书共分5章，分别介绍了数理逻辑的研究对象、研究内容和研究方法；命题逻辑的基本概念、命题逻辑演算形式系统的组成、基本定理及其性质定理

高等数学课程是许昌学院首批校级精品课程，自2008年立项建设到2010年结项，并在结项鉴定中被命名为校级优秀精品课程.在教学中确立以人为本、以教师为主导、学生为主体的教育理念；改革传统的课堂教学方式和方法，采用引导发现式和探究式教学法进行课堂教学；加强学生的逻辑思维能力的训练，在教学的过程中，用多媒体辅助课堂教学提高课

本书是中国科学院院士席南华先生为中国科学院大学本科一年级学生讲述线性代数课而编写的线性代数教材，主要内容包括以下内容：线性方程组，矩阵论初步，行列式理论，群、环、域等简单性质，复数以及多项式的根，抽象向量空间的基本概念等。

国内不少有关文科高等数学的教材，但我们此教材以模块化形式组织内容，学生学习的灵活性更强，也便于教师根据学生的专业组织课堂教学内容。本教材的特色在于：1.以模块化形式组织内容；2.以生动形象的引例引出主要内容，深入浅出；3.内容详略得当，适合文科生学习。主要包括内容如下：函数的概念及性质数列的极限函数的极限无穷小量与无穷

目前应用型高等学校所用教材大多直接选自传统普通高校教材，无法直接有效地满足实际教学需要．许昌学院是河南省地方本科高校转型发展试点单位，为适应学校转型发展需要，培养合格高素质应用型人才，结合我校专业特点，经过广泛调研和多次研讨，组织编写了适合理工类各专业的公共数学讲义，其中《线性代数（理工类）》已在我校理工类各专业经过了

现在偏微分方程是建立在工作空间Sobolev空间的理论，本书系统地介绍了这个空间的性质,并给出一般的Poincare不等式新的证明。而积分泛函的变分问题的存在性归结为下半连续性的研究，这直接导致了补偿紧定理的发现。然而积分泛函在群作用下丢失紧性，从而有Lions的集中紧定理。一些经典的变分方法也在本书中予以介绍，像PS

群论是抽象代数学的一个最主要的分支。本书是关于群论的普及读物，主要内容包括群论的基本组成部分：集合、结构、循环群、交换群、置换群、正规子群、商群、同态定理、西罗定理、群作用、群表示等内容。除此之外，本书还对群论进行了总结，就群与对称、群论的历史渊源与理论框架、有限单群分类定理、群论在中国的发展等几个专题进行了论述。本书

本书将高等数学的主干内容——元函数微积分与多元函数微积分有机地结合起来，针对文科类(含经济、管理类)专业对高等数学的不同要求，将课程内容分成若干模块。本书分基础版与加强版两册出版，本册为基础版，所含内容为必修模块，包括函数与极限基础、函数微分学基础、一元函数积分学基础、微分方程初步，每节后配有习题，习题分A，B两组，A

内容包括：数值级数，函数项级数，幂级数，傅里叶级数，二元函数的极限与连续，多元函数微分学，隐函数定理及其应用，含参变量积分，重积分，曲线积分，曲面积分等。结合微积分的发展史与几何意义引进相关的概念与定理，具有启发性，注重新概念，新定理的评注，证明详细，难点处理透彻，例题丰富，便于教学和读者自学。

本书是为理工科大学理工与经济学类专业"线性代数"课程编写的教材，内容包括：线性方程组与矩阵，方阵的行列式，矩阵代数，维向量，向量空间，矩阵特征值和特征向量，二次型，Matlab在线性代数中的应用。每节内穿插有例题，练习题，每章末附有习题。书末附录包括：行列式的全排列及逆序数方法定义，习题参考解答和名次索引。本书结合理工