线性代数群表示论是近代数学中极为活跃、发展十分迅速的数学分支，新的思想、方法和成果不断出现，并对其他数学领域产生了深刻的影响.本书阐述线性代数群的表示理论，包括由Chevalley，Borel，Stein-berg等人在50—60年代建立起来的经典理论，以及70年代以后这一理论的新发展，并提出一些未解决的问题和一些猜想

本书介绍线性偏微分算子的现代理论，主要论述拟微分算子和Fourier积分算子理论，同时也系统地讲述了其必备的基础——广义函数理论和Sobolev空间理论。本书分上、下两侧。上册着重讨论拟微分算子及其在偏微分方程经典问题(Cauchy问題和Dirichiet问题)上的应用。下册将主要介绍Fourier积分算子理论和佐藤的

辛几何是近十几年发展起来的新的重要数学分支。本书是辛几何(辛流形)的入门性读物。全书共分六章，分别是：代数基础，辛流形,余切丛，辛G-空间，Poisson流形，一个分级情形。前三章是重要的基本概念，后三章论述有关的应用

本书是作者在常微分方程定性理论的多年教学和科研工作的基础上写成的，着重介绍平面定性理论的主要内容和方法，重点是：平面奇点，极限环的存在，唯一性及个数，无穷远奇点，二维周期系统的调和解，环面上的常微系统，二维流行上的结构稳定性。本书各章均附有习题

本书是概率统计专门化以及有关专业的基础读物。内容包括测度论的一些基础知识，特别是概率论、数理统计所常用的测度论基础知识。只要了解数学分析与实变函数论的知识就能阅读本书。第一章集和类；第二章域上测度的构造；第三章可测函数；第四章积分；第五章乘积测度空间；第六章广义测度。每章后都附有习题，以帮助理解本书内容

本书上册论述了有限群的基本知识，下册着重介绍有限群的一些新成果、发展动向以及有限群的某些较专门的部分，如卡特子群、传输理论、超可解群等

本书主要论述有限群的构造理论，分上、下两册.上册是代数领域中关于有限群的一些基本知识.下册论述有限群的专题部分

本书共六部分，分上、下两册。下册包括第三、四、五章和两个附录。第三章陈述逻辑演算的重言式系统，并研究自然推理系统和重言式系统的关系。第四章研究逻辑演算的可靠性和完备性问题。笫五章讨论了逻辑演箅如何应用于陈述具体的数学理论，并且研究了在数学中引进定义的形式化问题。附录(一)陈述带量词的命题逻辑；附录(二)定义了斜形证明，

本书全面介绍了组合论中的计数问题，以及解决计数问题的数学工具，如母函数、容斥原理、（0，1）矩阵的积和式（排列式）等。

本书共六部分，分上、下两册.上册包括绪论、第一章和第二章.绪论对数理逻辑的性质，逻辑演算的大概内容.以及阅读以后各章所需要的预备知识作了简要的说明.第一章构造命题逻辑和一阶逻辑的形式系统，介绍演绎逻辑的基本规则.第二章研究逻辑演算的重要系统特征

《快速数论变换（典藏版）》主要介绍快速数论变换的理论、方法、应用及其新进展。数论变换是把数论应用到数字处理中而得到的一种计算方法。其特点是：（1）没有舍入误差：（2）其中某些变换比快速傅里叶变换还快。它不仅在数字处理中有用，还可以应用到多项式、大整数相乘等方面的计算中去。《快速数论变换（典藏版）》可供计算数学工作者、大

本书分上、下二册。上册为前九章,内容包括:变分法的基本理论;梁、板小挠度和大挠度的静力学、动力学问题;板的热弹性问题;弹性体小位移变形和大位移变形的静力学、动力学问题等。