离散数学

本书是在“知识逻辑结构核心论”创新性教学思想的指导下，经过多年的教学实践形成的，是对“离散数学”教学内容与方法改革的探索。 　　全书按数理逻辑、集合论、代数结构、图论四部分主题内容演绎铺展，具有区别于国内出版的同类教材的全新结构和形式，...

本书分4篇，共11章，第1篇是集合论，内容包括集合、关系、映射、无限集合及其势；第2篇是近代代数，内容包括代数系统，半群、独异点及群，环、体、域，以及格与布尔代数；第3篇是图论；第4篇是数理逻辑，内容包括命题逻辑和谓词逻辑。附录中给出了离散...

本书主要介绍了初等数论知识、命题逻辑、集合、关系习题、代数系统习题等内容。 ...

全书共分为三部分，第一部分数理逻辑；第二部分集合论；第三部分图论。内容深入浅出，简明扼要，以理论联系实际为目的。 ...

本书主要介绍了离散数学的基础知识。全书共分四部分，第一部分为数理逻辑；第二部分为集合论；第三部分为代数结构；第四部分为图论。 ...

本书是以培养应用人才为主的教学型大学计算机专业本科生使用的教材。内容涵盖集合论、数理逻辑、代数结构和图论，除传统离散数学内容外，还增加了在计算机应用技术中有广泛用途的“递推关系”。教材中配有大量例题，帮助学生由浅入深地理解和掌握基本概念，有...

本书介绍离散数学的基本知识，包括数理逻辑、集合论、抽象代数、格和布尔代数，以及图论等。 ...

本教材内容的组织、在力求培养学生严格的抽象思维和逻辑推理能力的同时下，注重展现离散数学在计算机学科及信息了专业中的应用，以增强学生使用离散数学知识分析问题和解决问题的能力。 ...

本书是根据中国计算机学会“21世纪大学本科计算机专业系列教材”《离散数学》以及电子教案编写的配套教学指导用书. 全书分为14章，每章包含内容提要、习题、习题解答与分析三部分. 内容提要总结了本章的主要定义、定理、公式、重要的结果等； 习题部...

本书分别介绍了数理逻辑、命题逻辑、谓词逻辑、二元关系、函数、无线集合、代数、格与布尔代数等内容。 ...

本书较为全面地介绍了集合论、逻辑与算法基础、整数与数学归纳法、矩阵与关系闭包、函数、计数原理等内容。 ...

本书从算法分析和问题求解的角度，全面系统地介绍了离散数学的基础概念及相关知识。书中通过大量实例，深入浅出地讲解了数理逻辑、组合算法、图论、Boole代数、网络模型、形式语言与自动机理论、计算几何等与计算机科学密切相关的前沿课题，既着重于各部...

本书是关于离散数学的一本学习指导书，共分五篇，依次为：数理逻辑，集合论，代数系统，组合分析与算法数论，图论；共十二章：命题逻辑，一阶逻辑，集合，关系，函数，半群、语言与自动机，群、环和域，格与布尔代数，组合分析，算法数论，图，有向图与树。 ...

离散数学是计算机科学基础理论的核心学科。本书系作者根据多年的教学经验和教案修改整理而成。书中精选了大量实例，力求深入浅出地介绍与计算机科学密切相关的课题，既着重于各部分内容之间的紧密联系，又深入探讨概念、理论、算法和实际应用。各章节配有相当...

本书是结合作者多年的计算机教学经验及高职高专学生的特点编写而成的。主要内容包括数理逻辑基础、集合与关系、图论、代数系统等。本书从实际应用出发，注重培养学生分析问题、解决问题的能力，在内容编写上力求重点突出，论证明了，避免复杂的理论证明和公式...

本书是作者在前一个版本的基础上所完成的一部更全面、更精辟和更生动的计算机基础教材。五个重要课题交织于本书的论述当中:数学推理、组织分析、离散结构、算法思 考和应用与建模。本书的目的之一是要让学生在掌握离散数学基本内容的前提之下,更 能培养出...

本书包括真值表、逻辑和证明，集合论，逻辑、整数集和证明，函数，算法，图、有向图和树，计数，代数结构，递归的进一步讨论等内容...

本书通过大量简单易懂的示例和练习介绍了有关离散数学的基本概念与基础知识，并把理论知识与一系列实际应用联系起来。主要内容包括：命题逻辑和谓词逻辑、类型集合论、布尔代数、关系、函数、序列、归纳法、图论、组合数学等。通过适当的数学方法，可以加深学...

本书主要介绍了函数、序关系与序结构、树、图论问题、半群与群等内容。 ...

本书作为计算机专业的专业基础教材,主要介绍离散数学的基础知识,全书共分7章,包括命题逻辑,一阶谓词逻辑集合论与二元关系,函数,代数系统,格代数,图论等,并含有相关的例题与习题。本书适用于高等理工科院校、计算机 科学、工程、应用信息安全专业的...

本书作为离散数学的基本教材，在把握关键问题的同时，通过精选的大量实例深入浅出地介绍了命题逻辑、谓词逻辑、集合及其运算、二元关系、函数、代数结构、格和布尔代数、图论、树、Petri网和运输网络以及计数方法和分类原理等与计算机学密切相关的前沿课...

本书共分7章，各章均由学习要求、内容提要、主要解题方法和同步训练题等四部分组成。本书对主教材中的基本概念、基本理论、基本方法等进行了简要的归纳和提炼，并逐章列出重点和难点。针对高职高专工科类专业的特点，本书在选材和编排上着眼于基础训练的强化...

本书为离散数学课程教材。全书共四篇：数理逻辑、集合论、代数系统、 图论。第一篇含命题逻辑、谓词逻辑两章，第二篇含集合、关系、函数三章， 第三篇含群、环和域、格与布尔代数、代数系统四章，第四篇为图论一章，各 章后附有一定量的习题。 ...

全书分为8章，其内容包括：命题逻辑和谓词逻辑、集合与二元关系、函数、代数结构、格与布尔代数、图论和名校试题。第1章至第7章，每章均由4部分构成，即基本知识结构图、知识点、习题及参考答案、真题详解。基本知识结构图和知识点部分高度概括了各章知识...

本书分4部分。第1部分为数理逻辑，包括命题逻辑和谓词逻辑。第2部分为集合论，包括集合代数，二元关系，函数和基数。第3部分为代数结构，包括代数系统的基本概念，群、环和域，格和布尔代数。第4部分为图论，包括图的基本概念，图的连通性，图的矩阵表示...

本书系统介绍了数理逻辑、二元关系、图论、代数系统与布尔代数中有关的概念、定理及其证明方法。既强化基本概念的描述，还特别着重于阐述有关离散数学的证明方法及离散数学在计算机中的应用，并给出了大量的例子和应用实例。本书可作为工科院校有关专业学生的...

本书是根据教育部教高[2002]2号文件精神由中国机械教育协会和机械工业出版社组织全国80多所高职高专院校编写的，其内容包括以下4个方面：①集合论②代数结构③图论④数理逻辑书中注重概念的论述和应用，而不侧重定理本身的证明，内容讲解清楚，通俗...

本书共11章。内容包括基础知识；数理逻辑(命题逻辑及一阶逻辑)；计数；关系和有向图；函数，群环和域；偏序集；图论；匹配、Menger定理及网络和流；语言和有限状态机；数、群和编码。每章后面配有难易不等的习题，可供教学选用。作者积累了20多年...

本书是作者编写的《离散数学结构》一书的习题与解答，对离散数学涉及的各部分内容，从集合、序列、整数除法、矩阵、关系、函数等基础知识到数学结构、图论、群、语言和有限状态机等高级内容，都提供了相应的丰富习题及解答，使读者在学习理论知识的基础上，通...

本书共有七章，内容包括命题逻辑、谓词逻辑、集合与关系、函数、代数结构、格与布尔代数、图论。附录部分提供了近年业的两套统考试题及详细解答。 ...

本书特别关注与计算机科学密切相关的数学知识，既注重各部分内容之间的紧密联系，又注重理论、算法的实际应用。它首先介绍了基础知识，包括集合、序列、整数除法、矩阵、逻辑和计数等概念。接着描述了离散数学的主要知识体系，内容涉及集合论、数...

本书为作者在第一版的基础上，结合教学需要和教材使用情况补充完善而成。主要内容包括：数理逻辑、集合论、图论、代数系统、有限自动机理论等。本书内容系统、全面，概念清晰，叙述严谨精炼，推理详尽严格，语言简明易懂，附有大量例题和习题，培养学生的分析...