出版社:延边大学出版社
出版日期:2004-7
ISBN:9787563417902
页数:294页
作者简介
《星火•高等院校教材同步辅导及考研复习用书:离散数学辅导及习题精解(左孝凌版)》为了方便读者使用,各章节次序和习题编号均与原教材相一致,共分九章,内容包含命题逻辑,谓词逻辑,集合与关系,函数,代数结构,格和布尔代数,图论,形式语言与自动机和纠错码初步。每章必包含三部分:本章知识结构及内容小结,经典例题解析和本章教材习题全解,针对部分高校把离散数学作为研究生入学考试的科目之一,部分章中加入了历年考研真题评析。
书籍目录
第卫章 命题逻辑
本章知识结构及内容小结
经典例题解析
本章教材习题全解
历年考研真题评析
第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在公式α巾的约束出现,所有约束出现的变元,叫做约束变元。 自由变元:在谓词公式α中,除去约束变元以外所出现的变元,称作自由变元。 换名:对公式α中的约束变元,遵照一定规则更改名称符号,称为约束变元的换名。 代入:是对自由变元代以式子,要求代入后的结果式是原式的特例(代入式子的值域与被代入变元的变域相同)。 赋值:在谓词公式中常包含命题变元和客体变元,当客体变元由确定的客体所取代,命题变元用确定的命题所取代时,就称作对谓词公式赋值。一个谓词公式经过赋值以后,就成为具有确定真值的命题。
图书封面