离散数学基础_百度百科
离散数学基础
本书可作为大专院校特别是网络学院计算机专业或相关专业的教材，也可供有兴趣的科技工作者自学或参考。
7-111-17074-1/O.443(课)
谢绪恺编著
所属丛书：
普通高等教育基础课规划教材
出版日期：
前言 　　第1篇 集合论 　　第1章 集合 　　1．1 基本概念 　　1．2 基本运算 　　1．3 几个定理 　　1．4 文氏图 　　1．5 笛卡尔积 　　1．6 习题 　　第2章 关系 　　2．1 关系的表示 　　2．2 关系的性质 　　2．3 关系的运算 　　2．4 关系的闭包 　　2．5 等价关系 　　2．6 偏序关系 　　2．7 习题 　　第2篇 数理逻辑 　　第3章 命题逻辑 　　3．1 命题 　　3．2 联结词 　　3．3 命题公式 　　3．4 等价 　　3．5 永真式与永假式 　　3．6 对偶 　　3．7 范式 　　3．8 习题 　　第4章 谓词逻辑 　　4．1 基本概念 　　4．2 谓词公式 　　4．3 永真式与蕴含式 　　4．4 前束范式 　　4．5 习题 　　第3篇 图 论 　　第5章 图 　　5．1 基本概念 　　5．2 图的连通性 　　5．3 图的矩阵表示 　　5．4 有向图 　　5．5 权图中的最优路线 　　5．6 习题 　　第6章 特殊图 　　6．9 欧拉图 　　6．2 哈密顿图 　　6．3 平面图 　　6．4 习题 　　第4篇 近世代数 　　第7章 代数系统 　　7．1 基本概念 　　7．2 运算的性质 　　7．3 特殊元素 　　7．4 同余、同态、同构 　　7．5 习题 　　第8章 群论 　　8．1 一般概念 　　8．2 群 　　8．3 子群与循环群 　　8．4 交换群与置换群 　　8．5 陪集与正规子群 　　8．6 群的划分与商群 　　8．7 习题 　　第9章 环、域、格 　　9．1 环 　　9．2 域 　　9．3 格 　　9．4 习题 　　附录 单射、满射、双射 　　参考答案 [1]
书 名: 离散数学基础
出版时间： 日
开本： 16开
定价: 15.00元
《离散数学基础(第2版)》内容简介：离散数学，是现代数学的一个重要分支，是计算机科学中基础理论的核心课程。离散数学是随着计算机科学的发展而逐步建立的。它形成于20世纪70年代初期，是一门新兴的工具性学科。为适应计算机科学教学的需要，组织编写了这本理工科院校计算机专业适用的基础教材。
内容包括：数理逻辑；谓词逻辑；集合代数；二元关系；函数；代数结构；格与布尔代数；图论等。
《离散数学基础(第2版)》特色是内容实用，叙述简捷，实例突出，非常适合大专院校师生和有关科技人员使用。
第l章 数理逻辑
1．1 命题与逻辑联结词
1．2 命题公式
1．3 真值表和等价公式
1．4蕴含式
1．5 其他联结词
1．6 对偶与范式
1．7 推理理论
第2章 谓词逻辑
2．1 谓词的概念与表示
2．2 命题函数与量词
2．3 谓词公式与变元的约束
2．4 谓词演算的等价式与蕴含式
2．5 谓词演算的推理理论
第3章 集合代数
3．1 集合的基本概念
3．2 集合的计数
第4章 二元关系
4．1 序偶与笛卡尔积
4．2 二元关系
4．3 关系的运算
4．4 关系的性质
4．5 关系的闭包运算
4．6 等价关系与划分
4．7 偏序关系
5．1函数的概念
5．2函数的复合与反函数
第6章 代数结构
6．1 二元运算及其性质
6．2 代数系统
6．6 陪集与格拉朗日定理
6．7 群的同态与同构
6．8 环与域
第7章 格与布尔代数
7．1 格的概念
7．2 分配格与有补格
7．3布尔代数
第8章 图论
8．1 图的基本概念
8．2 路径与回路
8．3 图的矩阵表示
8．4 欧拉图与哈密尔顿图
8．5 二部图
8．6 平面图
．机工教育服务网[引用日期]偏序关系,Partial Order,音标,读音,翻译,英文例句,英语词典
说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置： ->
-> 偏序关系
1)&&Partial Order
This article provides an analytic methord of make Hasse Chart from Partial Order -- 揌asse Matrix? By using Hasse Matrix, Hasse Chart of Partial Order will be drawn conveniently, so that, it provides a theoretic basis and method for computer in solving such issues.
本文提出一个由偏序关系作哈斯图的解析方法——哈斯矩阵。
This paper is devoted to application of evolutionary technique based on partial order to conceptual design.
本文论述了基于偏序关系的进化技术在计算机辅助概念设计中的应用,为了说明基于偏序关系的进化技术在开发面向用户的进化系统中的有效性,我们给出了一个计算机辅助概念设计系统,它可以辅助设计师更好地完成概念创新设计。
2)&&partial order relation
A partial order decision table based on partial order relation was introduced.
介绍了基于偏序关系的偏序决策表,研究了偏序决策表各条件分类和决策分类集合之间的关系,提出了从各分类中计算偏序决策表核及属性约简方法,通过实例,验证了这些方法的有效性。
In the paper,partial order relation is introduced into the incomplete formal context,three derivative formal contexts are defined in the original formal context according to the partial order set,using the derivative formal contexts depict to some basic concepts of the original formal context,this depicts are advantageous for the people to thoroughly comprehend to the formal concept analysis.
将偏序关系应用到形式概念分析中,定义了三个基于偏序集的衍生形式背景,利用衍生形式背景对原形式背景中的概念、内涵、可约对象、可约属性及蕴含规则进行了刻画,这种刻画更有利于人们对形式概念分析的深入理解。
According to the standard rough set theory,different classifications are made by the properties of partial order relation,then to represent lower and upper approximation set,and make rough set model based on partial order relation.
在标准Rough集理论的指导下,利用偏序关系性质构造了不同分类,并以此为基础探讨了上、下近似集,从而构建了基于偏序关系的Rough集模型。
3)&&partial ordering relation
In terms of the concept of ordering relations of interval numbers based on probability,as well as the practical sense of vote models of Vague sets,the definition of a partial ordering relation of Vague values in the closed subinterval set is given,with which we provide the necessary proofs of some primary properties of Vague relations.
从基于可能度的区间数序关系的概念以及Vague集投票模型的实际意义两个方面,引入闭子区间集中Vague值的偏序关系的定义,并利用偏序关系证明了Vague关系的一些主要性质。
A partial ordering relation is presented in the incomplete interval-valued information system(IIIS) with the purpose of classification,and practical approaches are given to reduce the partial ordering relation.
针对不完备区间值信息系统,提出了一种用于分类的偏序关系,并给出了计算这种偏序关系约简的实际操作方法。
This paper builds modified object lattice by introducing two partial ordering relations ≤\' and ■\' and a new inter-section ∩\',followed by generating a concept lattice with the modified object lattice.
通过在对象集内引入两个偏序关系≤′和■′及一种新的交运算∩′来建立改进的对象格,然后通过此对象格产生概念格。
4)&&partially ordered relation
There is a bit difficult in judging covering assembly in partially ordered relation on a basis of its definition in discrete mathematic.
直接根据现有离散数学教材中偏序关系中“盖住”的定义,来判定偏序关系中的盖住集,有时比较困难。
The main purpose of this paper is to discuss order structures of transitive,quasiordered and partially ordered relations on a set X.
该文主要讨论给定集Ｘ上的传递关系、拟序关系和偏序关系全体的序结构。
5)&&partial ordering
In this paper,from set and the basic nature of 2-tuple relation,we can prove that part-of relation and collocation relation can be expressed as the relation of partial ordering.
文中利用集合及其上二元关系的基本性质证明part-of关系和搭配关系都可以表示为偏序关系,并通过小句联结律证明搭配关系可以化归为part-of关系,从而为关系词本体建模及以此为基础的复句本体建模中搭配关系的处理提供理论基础。
6)&&preference relation
Aiming at this,this paper appends additional information——preference relation into information system and uses it to guide the procedure of finding an reduct,which will produce optimal reduct under preference.
以此为研究目标,通过在信息系统上增加额外的信息-偏序关系,利用此关系指导属性约简的过程,求出该偏序关系下的最优约简,并运用该最优约简对原信息系统进行维约简。
补充资料：偏序
设a是一个非空集，p是a上的一个关系，若p适合下列条件：（1）对任意的a∈a,(a,a)∈p;（2）若（a,b)∈p且（b,a)∈p,则a=b;（3）若（a,b)∈p,(b,a)∈p,则（a,c)∈p,则称p是a上的一个偏序关系。带偏序关系的集合a称为偏序集或半序集。若p是a上的一个偏序关系，我们用a≤b来表示（a,b)∈p。eg. 1、实数集上的小于等于关系是一个偏序关系。2、设s是集合，p（s）是s的所有子集构成的集合，定义p（s）中两个元素a≤b当且仅当a是b的子集，即a包含于b，则p（s）在这个关系下成为偏序集。3、设n是正整数集，定义m≤n当且仅当m能整除n，不难验证这是一个偏序关系。注意它不同于n上的自然序关系。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。离散数学___等价关系与偏序关系_图文_百度文库
两大类热门资源免费畅读
续费一年阅读会员，立省24元！
评价文档：
离散数学___等价关系与偏序关系
上传于||暂无简介
大小：481.50KB
登录百度文库，专享文档复制特权，财富值每天免费拿！
你可能喜欢扫扫二维码，随身浏览文档
手机或平板扫扫即可继续访问
4.5 等价关系与偏序关系
举报该文档为侵权文档。
举报该文档含有违规或不良信息。
反馈该文档无法正常浏览。
举报该文档为重复文档。
推荐理由：
将文档分享至：
分享完整地址
文档地址：
粘贴到BBS或博客
flash地址：
支持嵌入FLASH地址的网站使用
html代码：
&embed src='/DocinViewer-4.swf' width='100%' height='600' type=application/x-shockwave-flash ALLOWFULLSCREEN='true' ALLOWSCRIPTACCESS='always'&&/embed&
450px*300px480px*400px650px*490px
支持嵌入HTML代码的网站使用
您的内容已经提交成功
您所提交的内容需要审核后才能发布，请您等待！
3秒自动关闭窗口离散数学题：链是一个偏序集,...链是一个偏序集,对于任意的l1,l2∈L,或者l1≤l2,或者l2≤l1,试证明每一个链都形成一个分配格._百度作业帮
离散数学题：链是一个偏序集,...链是一个偏序集,对于任意的l1,l2∈L,或者l1≤l2,或者l2≤l1,试证明每一个链都形成一个分配格.
离散数学题：链是一个偏序集,...链是一个偏序集,对于任意的l1,l2∈L,或者l1≤l2,或者l2≤l1,试证明每一个链都形成一个分配格.
证明 设a,b∈L,因为是一个链,即任意两个元素均可比较,故有a≤b,或者b≤a,如果是前者,则a∨b= b,a∧b= a,如果是后者,则a∨b= a,a∧b= b,即任意两个元素均存在最小上界和最大下界,故是格.设a,b,c∈L,分如下两种情况讨论：⑴如果a≤b,a≤c,则a∨b= b,a∨c = c,（a∨b）∧（a∨c ）= b∧c,另一方面,由a≤b,a≤c得a≤b∧c,得a∨（b∧c）= b∧c,于是有（a∨b）∧（a∨c ）= a∨（b∧c）⑵如果b≤a或c≤a,则a∨b= a或a∨c =a,故由吸收律得（a∨b）∧（a∨c ）= a另一方面,由b≤a或c≤a得b∧c ≤a,即a∨（b∧c）= a,于是也有（a∨b）∧（a∨c ）= a∨（b∧c）分配律成立,故是分配格.