本书论述组合论的重要分支，即组合设计的理论和方法。本书以一般理论的叙述为主，结合介绍历史上一些著名问题的研究和解决情况，力求用统一的观点来处理所论述内容，把纷繁的材料系统化，且力求反映这一学科的主要方向和近期发展状况。

珠算是以算盘为工具进行的一种数的计算方法，它是我国劳动人民在长期生产实践中创造的科学宝贵遗产之一。目前，广大财经工作人员，为了全面开创社会主义现代化建设的新局面，加强企业管理，正在认真学习有关财经专业知识，努力提高工作效率。现阶段，珠算是我国使用得最多的计算工具之一；熟练掌握珠算技能，是财经工作人员必不可少的一项基本功

内容有：紧致性定理，省略型定理，内插定理，完全理论与模型完全理论，初等链，超积，模型论力追法，饱和模型等，并附有模型论方法对经典数学应用的一些例子

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

《高等数学：生化医农类（上册）（修订版）》是高等学校生化医农类“高等数学”基础课的教材。本书是修订版。全书共分上、下两册出版。上册共分六章，内容包括：微积分的准备知识（函数、极限、连续性），微商与微分，微分中值定理及其应用，不定积分，定积分，空间解析几何；下册共分五章，内容包括：多元函数微分学，重积分，曲线积分与曲面积

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

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

本书是计算机科学核心课程——离散数学的基本教材。全书共分五篇。前四篇分别介绍了数理逻辑，集合论，代数结构和图论四个专题。第五篇为应用部分，主要介绍形式语言与自动机以及纠错码初步。内容叙述严谨，推演详尽，大部分概念都用实例说明并配有相当数量的习题。 本书可作为理工科院校计算机专业的离散数学教材，也可作为自动控制、电子工

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

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