>您现在的位置:情感电台 > 情感障碍

集合论与离散数学各部分内容的关系4600字 如何赏析古诗

2019-07-03 19:20作者:admin

集合论与离散数学各部分内容的关系4600字 如何赏析古诗

  关于命题公式的类型,换个角度从主析取范式来说明.具有n个命题变元的合式公式,共有2n个极小项,不同的n元合式公式的主析取范式,实质上是若干极小项的组合,若将所有极小项看做一个全集E,那么任何一个n元合式公式均由的一个子集构成.若主析取范式包含了所有的极小项,则是永真式;若为空则为矛盾式;若为非空子集,则为可满足式.主合取范式与集合的关系可类似说明.  表1命题公式类型与集合的关系  讨论谓词命题所必需的论域实质即为集合,尤其在证明谓词公式的等值性时,该论域均被设定为有限集合,并采用罗列方法列出其元素.比如,在说明全称量词和存在量词时,一般设定定义域为D={a1,a2,…,an},对于任意的谓词A(x),在该定义域下,为论述命题公式与谓词公式的关系时,需用到如下两个公式:  xA(x)A(a1)A(a2)…A(an);(1)  xA(x)A(a1)A(a2)…A(an).(2)  对于论域的同样处理方式还出现在对量词否定等值式、量词辖域收缩与扩张等值式、量词分配等值式的证明中.  、图论与集合论  图的定义离不开集合论知识.图论中的图是对现实问题的抽象化,抽象图包含了两个相关联的集合,顶点集和边集.如需借助计算机处理与该图相关的问题,则需借助集合论工具,以集合为单位,先后提供顶点信息、边信息甚至边上的权重信息.进一步而言,若假设G=V,E,则空图、零图、平凡图、子图、真子图、生成子图等均等价于与子集相关的某种关系(见表2),对于图G上的子图G1、真子图G2、生成子图G3、顶点导出子图G4、边导出子图G5间还存在如下关系:G1G,G2G1,G3G1,G2G3,G4G1,G5G1等.  表2各类子图与集合的关系  3、集合论是讨论关系的根基  关系,始于集合中元素,产生于元素之间,本身即定义在集合之上.只有在正确理解集合、元素概念的基础上,才能准确地认识关系.数字或者字母可以作为集合的元素,但绝不仅限于此.集合的元素可以是任何类型的事物,一个集合也可以作为另外一个集合的元素,表3所示实例充分地说明了集合的元素类型,其中a为{a}的元素,{{a}}为{{{a}}}的元素.从这个特殊实例出发,让学生领悟集合与元素的关系,以及一个集合是如何成为另外一个集合的元素的.  表3元素实例  定义在集合基础之上的幂集,充分说明了集合何时为集合、何时为元素.对于任一有限集合A,子集A面对集合A时为一集合,且与A存在包含关系AA,面对A的幂集P(A)时,摇身一变成为一元素,与P(A)存在属于关系AP(A).  另外,关系和等价关系的定义也同样阐述了同样的内在联系.关系是笛卡尔积的一个子集.每一个子集代表一个关系.若为空集,则是空关系.若为全集,则为全域关系.特殊地,若考虑有限集合A上的二元关系R,则R为全域关系AA的一个子集(RAA),亦为笛卡尔积AA的幂集的一个元素(RP(AA)).幂集较为恰当地充当了集合与关系的桥梁.幂集产生于集合之上,服务于关系的定义.  等价关系也存在将集合变为其它集合的元素的功能,定义在集合A上的R可将集合A分为若干不相交的子集,这里的每一子集对于商集A/R而言,均为其中一元素.  4、集合论是代数系统的应用实例  在代数系统中,集合以及集合间的运算是以代数系统的一个应用实例形式而存在的.在代数系统中,集合论的作用不再是表达的工具,而是内容的支撑,这是两者间的独特关系.例如,集合A的、、运算为幂集P(A)上的二元运算,这些运算均具有可交换性和可结合性质;、运算具有幂等律、吸收律、互相可分配性质、在幂集P(A)上均存在单位元和零元;运算满足消去律;P(A),,,~为代数系统,P(A),为可交换半群和独异点,P(A),,,,~,A为布尔代数[1].  5、结语  笔者在实际教学中,经由多次授课《离散数学》课程,深刻体会到集合论在整个《离散数学》课程体系中的重要作用.可以说,集合论贯彻了整个《离散数学》的始终.《离散数学》各个篇章也不是所谓的是各自独立的,而是在散乱的表象下,有着一条或多条贯彻始终的主线.也正因为集合论的重要性,才需授课教师以及学生增加对其的重视.  当然,对于授课教师而言,我们在此提出集合论的重要性,绝不是建议简单地直接增加该部分内容的授课学时.而是应该一方面加深学生对集合论初步知识以及相关概念的理解和把握,另一方面,在其它部分使用到集合论知识时,通过具体内容引导出集合论的具体使用方法.    [1]耿素云,屈婉玲,张立昂.离散数学[M].3版.北京:清华大学出版社,2013.  [2]郑艳梅,李建江,芦碧波,等.不同学期的离散数学课程教法[J].计算机,2016,256(4):136-138.  [3]陈振洲.《离散数学》教学改革探讨[J].现代计算机(专业版),2008(1):80-81.  [4]郑艳梅.国内外离散数学教材内容比较分析[J].计算机教育,2017(2):149-152.  [5]左孝凌,李为监,刘永才.离散数学[M].上海:上海科学技术文献出版社,1982.。

随机推荐

图文聚集

热门排行

最新文章