出版时间:2004-7 出版社:延边大学出版社 作者:马德高 主编 页数:294 字数:270000
内容概要
本书是《离散数学(左孝凌版)》的配套辅导书,与教材的章的分法一致。每章包含知识结构及内容小结、经典例题解析、教材习题全答、历年考研真题评析几部分。
详细解析教材上的每一道习题,提供思路和方法
收集各个学校的历年考研真题,清晰考研的难度
对例题分题型按难度梯度设置,全面又层次分明
本书针对教材上的习题,每一道题目都给出详细解析,有一些题目甚至给出了多种解法,根据需要,有的还在题目解答的前面设置了【分析】帮助读者找到解题的思路,或者对这一类问题的解法进行总结。
本书的例题,首先分题型进行布置,同一题型的题目,按照难易程度进行排列。这样,既保证了考查类型的全面,同时按难易程度的排列又有利于学习的循序渐进。
书籍目录
第卫章 命题逻辑
本章知识结构及内容小结
经典例题解析
本章教材习题全解
历年考研真题评析
第2章 谓词逻辑
本章知识结构及内容小结
经典例题解析
本章教材习题全解
历年考研真题评析
第3章 集合与关系
本章知识结构及内容小结
经典例题解析
本章教材习题全解
历年考研真题评析
第4章 函数
本章知识结构及内容小结
经典例题解析
本章教材习题全解
历年考研真题评析
第5章 代数结构
本章知识结构及内容小结
经典例题解析
本章教材习题全解
历年考研真题评析
第6章 格和布尔代数
本章知识结构及内容小结
经典例题解析
本章教材习题全解
历年考研真题评析
第7章 图论
本章知识结构及内容小结
经典例题解析
本章教材习题全解
历年考研真题评析
第8章 形式语言与自动机
本章知识结构及内容小结
经典例题解析
本章教材习题全解
第9章 纠错码初步
本章知识结构及内容小结
经典例题解析
本章教材习题全解
章节摘录
版权页: 插图: 全称量词:符号“□”称为全称量词,用来表达“对所有的”,“每一个”,“对任一个”,“凡”,“一切”等词。 存在量词:符号“□”称为存在量词,用以表达“某个”,“存在一些”,“至少有一个”,“对于一些”等词。 特性谓词:在讨论带有量词的命题函数时,必须确定其个体域,为了方便,可使用全总个体域。限定客体变元变化范围的谓词,称作特性谓词。 原子公式:把形如A(x1,x2,,xn)称作谓词演算的原子公式,其中x1,x2,,xn是客体变元。 台式公式:谓词演算的合式公式,由如下各条组成: (1)原子谓词公式是合式公式; (2)若A是合式公式,则)A是一个合式公式; (3)若A和B都是合式公式,则(A∧B),(A ∨ B),(A→B)和(A→←B)都是合式公式; (4)若A是合式公式,x是A中出现的任何变元,则(□x)A和(□x)A都是合式公式; (5)只有经过有限次地应用(1),(2),(3),(4)所得到的公式是合式公式。 指导变元:给定α为一个谓词公式,其中有一部分公式形式为(□x)P(x)和(□x)P(x),这里的□和□后面所跟的x称为相应量词的指导变元。 辖域:给定谓词公式中,形式为(□x)P(x)和(□x)P(x)中的P(x)称为相应量词的作用域,或辖域。 约束变元:在作用域中,x的一切出现,称为x在公式α巾的约束出现,所有约束出现的变元,叫做约束变元。 自由变元:在谓词公式α中,除去约束变元以外所出现的变元,称作自由变元。 换名:对公式α中的约束变元,遵照一定规则更改名称符号,称为约束变元的换名。 代入:是对自由变元代以式子,要求代入后的结果式是原式的特例(代入式子的值域与被代入变元的变域相同)。 赋值:在谓词公式中常包含命题变元和客体变元,当客体变元由确定的客体所取代,命题变元用确定的命题所取代时,就称作对谓词公式赋值。一个谓词公式经过赋值以后,就成为具有确定真值的命题。
编辑推荐
《星火•高等院校教材同步辅导及考研复习用书:离散数学辅导及习题精解(左孝凌版)》知识梳理清晰、简洁:直观、形象的图表总结,精炼、准确的考点提炼,权威、独到的方法归纳,将教材内容抽丝剥茧、层层展开,呈现给读者简明扼要、层次分明的知识结构,便于读者快速复习、高效掌握,形成稳固、扎实的知识网,为提高解题能力和数学思维水平夯实基础。
图书封面
评论、评分、阅读与下载