新書推薦：
《
阿勒泰的春天
》
售價：NT$
230.0
《
如见你
》
售價：NT$
234.0
《
人格阴影 全新修订版，更正旧版多处问题。国际分析心理学协会（IAAP）主席力作
》
售價：NT$
305.0
《
560种野菜野果鉴别与食用手册
》
售價：NT$
305.0
《
中国官僚政治研究（一部洞悉中国政治制度演变的经典之作）
》
售價：NT$
286.0
《
锂电储能产品设计及案例详解
》
售價：NT$
505.0
《
首辅养成手册（全三册）（张晚意、任敏主演古装剧《锦绣安宁》原著小说）
》
售價：NT$
551.0
《
清洁
》
售價：NT$
296.0
|
| 內容簡介： |
|
全书共8章，首先通过"命题逻辑”和"谓词逻辑”建立基本的逻辑思维体系，进而以严谨的符号逻辑理解"集合的基本概念与运算”，并作为其他知识的基础。"关系”、"函数”不仅扩充了集合的应用范围，也更体现了集合的重要应用。在此基础上，利用"运算与代数系统”、"环、域、格和布尔代数”介绍了近世代数的基本理论与结果。*后为"图论”。全书的内容可在70个学时左右讲完。
|
| 關於作者： |
|
牛连强，男，沈阳工业大学软件学院院长、教授二是余年来，长期从事高等学校计算机领域的教学和科研工作，教学经验丰富、科研项目成果丰富，并出版了多部教材和专著，发表论文40余篇。
|
| 目錄：
|
目录
第1章命题逻辑1
1.1命题1
思考与练习1.13
1.2逻辑联结词3
1.2.1基本联结词3
1.2.2其他联结词6
思考与练习1.26
1.3命题公式与真值表7
1.3.1命题公式7
1.3.2真值表8
思考与练习1.39
1.4命题翻译9
1.4.1合取命题9
1.4.2可兼与不可兼析取命题10
1.4.3条件命题10
1.4.4多联结词命题11
思考与练习1.413
1.5命题公式的值与等价14
1.5.1命题公式的分类14
1.5.2命题公式的等价14
1.5.3联结词的功能完备集17
1.5.4由德?摩根律到对偶原理17
思考与练习1.518
1.6范式19
1.6.1简单的范式19
1.6.2小项与大项20
1.6.3主析取范式与主合取范式21
思考与练习1.623
1.7推理理论24
1.7.1蕴含与论证24
1.7.2自然推理系统26
思考与练习1.733
第2章谓词逻辑34
2.1谓词、个体词与量词34
2.1.1个体词与谓词34
2.1.2量词与量化36
思考与练习2.137
2.2谓词逻辑中的命题翻译38
2.2.1特殊化个体词的命题38
2.2.2量词量化的命题39
思考与练习2.242
2.3量词约束与谓词公式的解释42
2.3.1量词对个体词变元的作用42
2.3.2谓词公式的解释与求值43
2.3.3量词与联结词的搭配44
思考与练习2.345
2.4谓词逻辑中的基本等价和蕴含
关系46
2.4.1基本等价与蕴含关系46
2.4.2利用等价关系计算前束范式49
思考与练习2.450
2.5谓词演算的推理理论50
思考与练习2.556
第3章集合论基础58
3.1集合的概念与表示方法58
3.1.1集合描述58
3.1.2集合的包含与相等59
3.1.3空集与全集60
3.1.4集合的幂集62
思考与练习3.163
3.2集合运算64
3.2.1基本运算64
3.2.2多集合的交与并66
思考与练习3.268
3.3集合运算的性质与证明方法69
3.3.1集合运算的性质与演算证明69
3.3.2基于定义的集合运算证明
方法70
思考与练习3.373
3.4序偶与笛卡尔积73
3.4.1序偶与元组74
3.4.2笛卡尔积74
思考与练习3.477
第4章关系78
4.1二元关系的含义与表示78
4.1.1二元关系78
4.1.2关系的矩阵和图表示法80
思考与练习4.181
4.2关系运算81
4.2.1关系求逆与复合82
4.2.2关系运算的性质83
4.2.3利用关系图与关系矩阵实现
关系运算85
4.2.4多关系的复合87
思考与练习4.289
4.3关系的主要性质89
4.3.1自反与反自反关系89
4.3.2对称与反对称关系90
4.3.3传递关系92
4.3.4特殊关系的判定92
思考与练习4.394
4.4关系的闭包95
4.4.1闭包的概念95
4.4.2闭包计算96
思考与练习4.499
4.5相容关系与等价关系100
4.5.1集合的覆盖与划分100
4.5.2相容与等价101
4.5.3相容关系产生的完全覆盖102
4.5.4等价关系产生的划分103
4.5.5由覆盖、划分生成相容关系
和等价关系105
思考与练习4.5106
4.6序关系107
4.6.1体现部分次序的偏序关系107
4.6.2哈斯图107
4.6.3偏序集的特殊元素110
思考与练习4.6112
第5章函数114
5.1从关系到函数114
5.1.1函数的概念114
5.1.2函数集115
5.1.3特殊函数116
思考与练习5.1118
5.2函数的逆与复合119
5.2.1双射的反函数119
5.2.2函数的复合119
5.2.3函数运算的性质121
思考与练习5.2122
5.3集合的基数123
5.3.1集合等势123
5.3.2有限集与无限集124
5.3.3可数集与不可数集124
5.3.4基数比较126
思考与练习5.3127
第6章运算与代数系统129
6.1运算及其性质129
6.1.1n元运算129
6.1.2二元运算的主要性质130
思考与练习6.1132
6.2二元运算中的特殊元素132
6.2.1幺元132
6.2.2零元133
6.2.3逆元134
思考与练习6.2135
6.3代数系统135
6.3.1代数与子代数135
6.3.2同态与同构136
思考与练习6.3138
6.4半群与独异点138
思考与练习6.4140
6.5群与子群140
6.5.1群的概念140
6.5.2群的性质141
6.5.3子群142
思考与练习6.5144
6.6循环群与置换群145
6.6.1循环群145
6.6.2置换群146
思考与练习6.6148
6.7群的陪集分解149
6.7.1陪集149
6.7.2拉格朗日定理150
思考与练习6.7151
第7章环、域、格和布尔代数152
7.1环和域152
7.1.1环152
7.1.2域153
思考与练习7.1154
7.2格155
7.2.1格与其诱导的代数系统155
7.2.2子格157
7.2.3特殊格157
思考与练习7.2160
7.3布尔代数161
7.3.1布尔格诱导的布尔代数161
7.3.2典型的布尔代数162
思考与练习7.3164
第8章图165
8.1图的基本概念165
8.1.1图的认知165
8.1.2结点的度与握手定理166
8.1.3完全图与正则图168
8.1.4子图、补图与图同构169
思考与练习8.1170
8.2图的连通性171
8.2.1路与回路171
8.2.2无向图的连通性172
8.2.3有向图的连通性173
思考与练习8.2174
8.3图的矩阵表示174
8.3.1邻接矩阵174
8.3.2关联矩阵176
思考与练习8.3177
8.4二部图、欧拉图与汉密尔顿图177
8.4.1二部图177
8.4.2欧拉图179
8.4.3汉密尔顿图181
思考与练习8.4183
8.5平面图183
8.5.1平面图与欧拉定理183
8.5.2平面图的对偶图186
8.5.3平面图的着色187
思考与练习8.5188
8.6树188
8.6.1无向树188
8.6.2生成树190
8.6.3根树192
思考与练习8.6195
附录A符号索引197
参考文献199
|
| 內容試閱：
|
前 言
离散数学是研究离散量的结构及其相互关系的一门学科，是由逻辑学、集合论、关系理论、图论、抽象代数、布尔代数甚至算法设计、组合分析、离散概率和计算模型等汇集起来的一门综合学科。由于数字电子计算机是一个离散结构，只能处理离散的或离散化了的数量关系和数学模型，这正是离散数学的主要内容，因此，离散数学构成了计算机相关学科的基础学科。为此，《中国计算机科学与技术学科教程2002》将其界定为计算机科学与技术专业的核心基础课程，美国IEEE＆ACM也确定其为计算机专业的核心课程。
应该说，计算机及其相关专业的绝大部分课程，都是直接以离散数学作为理论基础的，也可以说是离散数学的直接运用，或者说需要依靠离散数学课程中建立的观点、方法和逻辑思维能力去解决具体问题。因此，离散数学课程的教学目的就是要建立逻辑（数学）推理能力、了解重要的离散对象与结构、构建和应用解决离散问题的模型、具备算法思维等。
存在着一些相当成功的离散数学教材，如Kenneth H. Rosen的《Discrete mathematics and its applications》、左孝凌的《离散数学》和屈婉玲的《离散数学》等。在近30年的教学实践中，我们采用这些教材取得过一定的成功，但也存在着诸多问题，且这些问题随着形势的发展变得越来越突出，以至于形成了一些尖锐的矛盾。概括地说，这些教材大而全，更关注理论与系统的完整性，这与教材的定位甚至国家对精品教材、规划教材、优秀教材等的要求和评价标准不无关联，缺乏对学习对象本身的情况和层次、学时的减少以及工程教学目的变化等实实在在因素的关注。这些问题在湖南大学的张洪圣等老师编写的同名教材中已经部分提及，我们深有同感。举例说，普通工科高校在我国高校中占大多数，但它们的学生与985、211高校存在着很大的差异，以学术研究为目标的教材和教学内容上的趋同不仅达不到拔高的目标，反而使学生过早丧失了学习兴趣，形成一系列不良的连锁反应。又如，在仅有48至64学时的教学时间里，我们不能期望把类似数论、离散概率、组合设计、形式语言、自动机等内容都灌输给普通院校的学生。
本书的写作目的是为一般的而非拔尖的普通工科高校的计算机、软件工程及其相关专业提供一本通俗、易于理解、易于自学、有一定工程应用背景和实际问题引导的教材。因此，本书不追求体系的完整、内容的全面和对理论的深入探讨，也不关注竞赛、考研等问题。为了达到目标，体现自身的特点，我们注重如下问题并采取了我们认为适当的做法：
? 内容按教学实际取舍。舍弃中学学过的简单组合计数、前文提到的离散概率、数论、组合设计、形式语言等内容，以及数据结构等课程中涵盖的算法，不使内容过于膨胀，并尽量避免与后续课程重复。
? 次序编排突出逻辑思维。以逻辑学而不是集合论为出发点，用命题逻辑和谓词逻辑主导解决后续所有问题的思维，以便强化分析、解决问题的逻辑性和能力。
? 对问题平实、透彻讲解。离散数学也是数学，内容抽象。通过身边和计算机领域实例、问题引导、分析、评价、辨析等步骤，将问题讲解透彻，避免读者自身需要花过长的时间思考或借助参考书才能读懂，甚至利用理解标签予以提示并展示应理解的程度。特别地，对大量值得注意或认真分析的关键问题，都通过辨析标签给出讨论和警示。
? 概括、突出问题核心。对解决一类问题的核心内容给予总结、概括和突出，说明此类问题的实质和解决方法的关键而不是一个具体题目的解法。
? 适当引入工程问题。选取领域中有代表性的工程应用实践问题作为示例或习题，消除学生总认为学理论与实际脱节的误解，激发其学习课程和解决实际问题的兴趣。
? 对思考和应用进行引导。作为教材，对于新的成果、大量的相关问题及其解决方案不可能全部囊括，仅是一斑。对于很多问题，通过延伸标签指出其发展方向、实际应用案例、存在的解决方法等，并列出可供参考的论文等素材，以引导学生自己探索。当然，这些内容作为课堂的延伸，以辅助学习和思考为主，研究为辅。因此，列出的论文都不是专门研究理论而是程度较浅的应用型文章、教学论文乃至书籍。
? 洗练定理与习题。过多罗列已有的结果令人眼花缭乱，还会误导学生机械记忆而不是由基本概念出发进行主动思考，探究和发现结果。同时，尽管多做习题有助于问题的理解，但需要大量的时间和精力，过多习题也容易使人恐惧并产生排斥心理。为此，尽量精简了定理与习题。相反，基于概念（定义）对内容理解和题目求解的极端重要作用，故将重要概念纳入习题，直接提醒学生弄懂并记住这些定义。
使本书体现上述特点源自于学生的实际情况、教学上的要求以及人才培养工程化的形势变化等因素。我们认为，在把更多的时间、思考、总结、发现任务交给学生时，教师要能使学生学会学习，教材要有助于学生自主学习。教材既不能包罗万象，求深求全，也不能只是干巴巴的纲，更不应连一节中有几个重要概念、主要方法之类的总结都由教材代替。考虑到目前离散数学课程多在一年级中开设，我们没有对算法的描述以及程序实现提出过多要求，以免徒增额外负担且冲淡主题。此外，还对重要名词配以英文对照，以期可以辅助对专业外文词汇的掌握。
全书分为8章，分别是命题逻辑、谓词逻辑、集合的基本概念与运算、关系、函数、运算与代数系统、环、域、格和布尔代数、图论。这种安排次序的目的是期望以严密的逻辑思维贯穿各部分内容，以使思考和推理更富有理论依据。全书的内容可在70个学时左右讲完。
本书的几位作者都具有20多年的课程教学经验，且未间断地从事本科离散数学课程的教学工作。无论是对课程内容、体系、教学方法和安排，还是工程教育的发展方向与工科学生的实际情况均有着深刻的理解，这使得本书的写作更有针对性。我们期望通过本书使离散数学的内容更容易理解、学习和掌握，促进课程教学质量的提高，但囿于个人见解，仍会存在诸多缺憾，欢迎读者指出其不足，也期待能与读者做更多的交流（niulq@sut.edu.cn）。
此外，本书的出版得到了沈阳工业大学和学校诸多老师的支持和帮助，作者深表感谢！
作 者
|
|
購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽
HOME
新書上架
