摘 要: 在《离散数学》课程中, 集合论绝不像表面显现的那么简单, 相反地, 它可谓一根主线贯穿了整个《离散数学》课程, 在该课程的数理逻辑、关系、图论、代数系统等部分均发挥着表达工具或内容支撑的作用.在本文中, 我们就集合论在《离散数学》各部分内容中的作用进行了探索, 希望所得结论能引起各位《离散数学》授课教师的重视.
关键词: 离散数学; 集合论; 数理逻辑; 图论; 代数系统;
Abstract: In the module of Discrete Mathematics, set theory is by no means as simple as it looks like. On the contrary, It appears throughout this module and plays roles as expression tool and content in other parts of this module such as mathematical logic, relation, graph theory, algebraic system and so on. In this paper, we will discuss the application of set theory in various chapters of Discrete Mathematics and conclude the importance of set theory in learning this module. We hope it can attract the attention of teachers of Discrete Mathematics.
Keyword: discrete mathematics; set theory; graph theory; mathematical logic; algebraic system;
1、 引 言
目前, 几乎国内外所有大学均将《离散数学》作为计算机相关专业的核心课程[1].《离散数学》教学不是简单地传授给学生《离散数学》知识, 更重要的是能够培养学生的数学思维能力和动手能力[2].《离散数学》的主要内容包括数理逻辑、集合论、数论、抽象代数和图论等.计算机的发展与《离散数学》各部分均有非常密切的联系, 可以说计算机离不开《离散数学》, 《离散数学》在计算机相关专业中有着特别重要的作用[3].经由本门课程, 学生学习与计算机相关的研究离散量的数学知识, 为后续学习专业课程打下夯实的数学基础.
《离散数学》的内容, 在不同教材中, 所包含内容不完全一致[4].比如, 在左孝凌所着《离散数学》中, 共分为五个部分:数理逻辑、集合论、代数系统、图论以及计算机科学中的应用[5].在耿素云等所着《离散数学》教材中, 共分六部分:数理逻辑、集合论、图论、代数结构、组合分析初步以及形式语言与自动机初步[1].虽然不同教材各有侧重, 但是集合论在其中地位不可动摇, 均占据了大分量篇幅.
集合论部分对学生而言, 既熟悉又陌生, 也恰是这种既有模糊认识, 但又未能准确且全面把握与集合论相关内容的现实情况, 导致学生在初学集合论时, 掉以轻心, 未能准确掌握其相关概念, 以至于在学习后续关系内容时, 显得很是吃力.不单单是学生对集合论的基础知识未能上心, 部分授课教师也未能重视该部分基础知识的重要性, 授课时串讲而过, 只是罗列与集合相关概念, 比如元素、子集、空集、全集等.继而使得在开讲集合上的二元关系或者笛卡尔积集内容时, 学生听得一头雾水, 似懂非懂, 需要回头温习集合论相关内容.这种现状与集合论在整个《离散数学》课程中的重要地位是不符的.
纵观整个《离散数学》课程, 大家会发现集合论在整个课程中占据着至关重要的地位, 可以说从数理逻辑, 到关系, 再到图论, 最后到代数系统, 一直都有集合论的身影, 只是在不同地方以不同的形式出现.下面我们将分节逐一详细介绍集合论与各部分内容的关系.
2、 集合论是表示工具
2.1、 数理逻辑与集合论
在讨论命题公式的类型时, 命题公式的类型与使得其值为真的集合直接关联 (见表1) .设A为一个命题公式, 若A在所有赋值下取值均为真, 则称A为永真式或重言式.从集合论的角度而言, 若将所有的赋值看做一个全集E, 也即使得A成真的赋值为全集, 成假的赋值为空集.若A在所有赋值下取值均为假, 则称A为矛盾式或永假式.也即使得A成真的赋值为空集, 成假的赋值为全集.若A至少存在一组成真赋值, 则称A是可满足式.也即使得A成真的赋值E为的一个非空子集X, 成假的赋值为其补集.
关于命题公式的类型, 换个角度从主析取范式来说明.具有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)
对于论域的同样处理方式还出现在对量词否定等值式、量词辖域收缩与扩张等值式、量词分配等值式的证明中.
2.2、 图论与集合论
图的定义离不开集合论知识.图论中的图是对现实问题的抽象化, 抽象图包含了两个相关联的集合, 顶点集和边集.如需借助计算机处理与该图相关的问题, 则需借助集合论工具, 以集合为单位, 先后提供顶点信息、边信息甚至边上的权重信息.进一步而言, 若假设G=<V, E>, 则空图、零图、平凡图、子图、真子图、生成子图等均等价于与子集相关的某种关系 (见表2) , 对于图G上的子图G1、真子图G2、生成子图G3、顶点导出子图G4、边导出子图G5间还存在如下关系:G1?G, G2?G1, G3?G1, G2∩G3≠?, G4?G1, G5?G1等.
表2 各类子图与集合的关系
3、 集合论是讨论关系的根基
关系, 始于集合中元素, 产生于元素之间, 本身即定义在集合之上.只有在正确理解集合、元素概念的基础上, 才能准确地认识关系.数字或者字母可以作为集合的元素, 但绝不仅限于此.集合的元素可以是任何类型的事物, 一个集合也可以作为另外一个集合的元素, 表3所示实例充分地说明了集合的元素类型, 其中a为{a}的元素, {{a}}为{{{a}}}的元素.从这个特殊实例出发, 让学生领悟集合与元素的关系, 以及一个集合是如何成为另外一个集合的元素的.
表3 元素实例
定义在集合基础之上的幂集, 充分说明了集合何时为集合、何时为元素.对于任一有限集合A, 子集A′面对集合A时为一集合, 且与A存在包含关系A′?A, 面对A的幂集P (A) 时, 摇身一变成为一元素, 与P (A) 存在属于关系A′∈P (A) .
另外, 关系和等价关系的定义也同样阐述了同样的内在联系.关系是笛卡尔积的一个子集.每一个子集代表一个关系.若为空集, 则是空关系.若为全集, 则为全域关系.特殊地, 若考虑有限集合A上的二元关系R, 则R为全域关系A×A的一个子集 (R?A×A) , 亦为笛卡尔积A×A的幂集的一个元素 (R∈P (A×A) ) .幂集较为恰当地充当了集合与关系的桥梁.幂集产生于集合之上, 服务于关系的定义.
等价关系也存在将集合变为其它集合的元素的功能, 定义在集合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.
随着国内高等教育从精英式教育走向大众化教育, 各个高校都在积极探索如何强化教学管理以加强学风建设和提高教学质量.2006年, 江西理工大学首创性提出学业预警制度, 并获得良好的效果和认同....
自20世纪50年代以来, 数学知识一直出现新的观点, 它已经从单纯的知识积累中发生了革命性的变化。离散数学是数学的一个重要分支, 内容包括数理逻辑、集合论、代数系统、图论以及组合理论等, 主要应用在计算机等学科。...
离散数学是现代数学的一个重要分支。《离散数学》课程作为信息科学的核心基础理论课程,主要研究离散量的结构及其相互关系,涉及的内容较广.国内外几乎所有大学都将《离散数学》作为计算机专业的核心课程,它不仅为人工智能、数字逻辑、数据结构、操作系...
1概述自从1978年高考恢复以来,我国的高等教育得到了长足的发展,特别是进入21世纪,随着国家经济的高速增长,高等教育也在各个方面得以迅速发展。尽管高等教育模式已持续发展30多年,但是高教课堂上的教与学之间的关系依然极其复杂,并且模式也随着社会的...
20世纪中叶以来, 随着计算机的迅猛发展, 核心数学呈现出新的迹象。一种异于微积分的数学新范式———离散数学喷薄而出, 成为推动当代数学与科学发展的一种主导力量。离散数学是数学研究范式的一次重大转向。...
1、背景离散数学是现代数学的一个重要分支,主要研究离散量的结构及其相互间关系[1-2]。离散数学为计算机专业后续课程(数据结构、编译原理、数据库原理、人工智能、信息管理与检索等)的学习和掌握,在知识基础和思维方式等方面提供了必要的准备,在学生...
1、引言离散数学课程中要点的离散性、知识点的分散性和探讨问题的特殊性,使相当大的一部分学生在刚刚接触该类课程时,对其中涉及到的一些概念和处理问题的方法往往感到疑惑.若仅仅采用传统的理论教学方法,会造成学生对该课程的学习兴趣不高,将会极大的影...
离散数学是现代数学的一个重要分支,主要研究离散量的结构和相互间的关系,在数学应用领域有着十分重要的地位与作用,计算机科学的许多后续理论课程都是以离散数学为基础的,是计算机科学与技术专业的核心必修课程。作者在教学过程中发现学生在学习离散数学...
0引言在众多计算机科学与技术专业基础课程中,离散数学是其中较为重要的一门核心课程,同时,它是计算机科学的基础理论领域的重要组成部分。通过离散数学知识的学习,对培养学生的学科素质、掌握正确的学科方法有着积极重要的作用。但同时,这门课程又让...
1、范式回顾及S-c:VMGSGMV范式的提出学者乔贝恩(JoeS.Bain)在1930年代,提出SCP(Structure-Conduct-Performance)范式,结构-行为-绩效范式。其基本含义是,结构决定企业在市场中的行为,而企业行为又决定其在外部环境发生变化的情况下的经营绩效;学...