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

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

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

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

本书根据管理类联考大纲考点的要求，把要考试的题型进行了汇总和归纳，指导学生把握考试的脉搏和命题方向，将考点进行模块化处理，由简单到复杂，使得知识点之间形成了有机的联系。内容分为考点讲解、精选习题、真题三大部分，涵盖算术、应用题、方程与不等式、整式分式和函数、数列、平面几何和立体几何、解析几何、数据描述等章节，使得算术，