门户网站个人可以做,app系统开发公司,seo在线培训机构,360建筑网官网怎么登录申华 , 张胜元 - 《大学教育》 - 2013 离散数学本质上是一门数学课程#xff0c;是学生数学知识结构和数学素质的重要组成部分。数学这门学科体系虽然很庞大#xff0c;但大致可分为连续型、离散型和随机型这三大类。在大多数的理工科专业的课程设计中#xff0c;数学…申华 , 张胜元 - 《大学教育》 - 2013 离散数学本质上是一门数学课程是学生数学知识结构和数学素质的重要组成部分。数学这门学科体系虽然很庞大但大致可分为连续型、离散型和随机型这三大类。在大多数的理工科专业的课程设计中数学类课程通常包括高等数学、线性代数、离散数学、概率论与数理统计等。高等数学能提供处理连续型的数学问题需要的数学工具线性代数与离散数学则提供处理离散型数学问题的数学工具而概率与统计则提供处理随机型数学问题的数学工具。 正如徐洁磐在文中指出的作为计算机学科工具离散建模是离散数学区别高等数学的根本之处也是离散数学与计算机紧密关联之处也是使离散数学成为计算机专业核心课程的原因之一。从学生角度看离散数学具有抽象、概念多、知识点零散等特点在学习中容易遇到困难极大地影响了他们学习的积极性。本文探讨离散数学中的数学本质目的是理顺这些概念和知识点的关系进而达到解决学生学习困难的目的。 离散数学的内容主要包括数理逻辑、集合论、代数结构和图论四部分其中集合论部分起着承前启后的作用。数理逻辑和集合论这两部分内容如果能处理得好对整个课程的教学就会起到至关重要的作用。已有部分研究论文对数理逻辑和集合论的教学进行研讨本文就数理逻辑与集合论的教学内容进行深入分析弄清它们的数学本质和相互联系理清教学思路。教学实践表明这些教学分析能使教师在讲授过程中教学内容主线清晰、教学目标明确进而有效提高教学质量和学生的数学素质。 一、数理逻辑部分的数学本质 其一命题逻辑部分的数学本质是逻辑数学化。 在教学过程中在引入命题逻辑的教学之前可以让学生比较“人”与“计算机”各自的长处。大部分学生都能得出这样的结论人长于“智能”而计算机长于“计算”。那么要让计算机增长“智能”主要方向就是把“智能”计算化把通过“智能”思考的问题转化为通过计算进行判定的问题。而智能的基础是逻辑推理于是“智能”计算化首先就是要逻辑数学化。因此数理逻辑是计算机的“人工智能”重要的基础之一。 离散数学中命题逻辑这部分内容的数学本质是逻辑数学化或者具体地说是逻辑代数化。代数方法的基本要素是对象和运算代数化的基本过程模式是符号化对象、运算、运算律、演算、标准型、应用。这种思想方法只要提醒学生回顾在中学学过的代数内容就能很快接受。再看命题逻辑这部分的教学内容基本就是按照这样的模式展开的命题符号化对象、逻辑运算联结词、运算律基本等值式、等值演算、标准型范式、应用解判定问题、证明等值式、实际应用、推理理论等。因而命题逻辑这部分内容的知识点并不零散贯穿着代数化这条主线。 教学实践表明通过逻辑代数化这个主线串联命题逻辑这部分主要内容教学目标清晰能得到很好的教学效果同时学生还能从中学习领会代数化的思想方法提高了他们的数学素质和应用数学解决实际问题的能力。 在命题逻辑的教学过程中除了强调代数化的思想方法还必须强调“标准型”范式是这部分的核心内容。一方面范式是等值演算的终极目标另一方面范式是介于命题公式和真值表之间的桥梁因此有着极高的理论与应用价值。 其二谓词逻辑部分的数学本质是引入变量与函数的思想。 从数学本质上看谓词逻辑就是把变量与函数的思想引入逻辑。在这样的视觉下那些基本概念就变得很清晰个体变项是变量、谓词是函数、个体域是定义域、属性谓词是一元函数、关系谓词是多元函数...。然后再一次进行代数化过程符号化谓词、运算联结词、运算律主要增加了量词等值式、等值演算、标准型前束范式、应用判定问题、证明等值式、实际应用、谓词逻辑推理理论等。 当然谓词逻辑内容远比命题逻辑深刻和复杂在本科的离散数学中这部分内容只能算是谓词逻辑的基础了。 二、集合论部分的数学本质 通常离散数学中集合论部分也包含两章集合论基本概念、二元关系与函数。由于中学阶段已经有集合论的简单内容所以这部分内容学生并不会觉得陌生。 集合论是整个数学的基石几乎所有的数学概念都能用集合论语言表达数学在集合论基础上形成了一个独立的科学体系。实际上从集合和二元关系这部分内容基本上也可以看出数学这个科学体系的构建过程。 首先集合论这章内容也是一个代数化的过程对象集合、运算集合运算、运算律集合恒等式、演算、应用计数、证明恒等式、实际应用等。这里缺少了一块标准型实际上集合的演算也是可以有标准型的只是这里的标准型没有逻辑演算的范式那么重要而已。从内容与结构都可以看出集合论与命题逻辑这两部分内容有很大的相似性这会在后文进行探讨。 有了集合这个基本语言就可定义二元关系。接着是关系的运算与运算性质这部分又是代数化方法。然后是三种特殊的关系等价关系、偏序关系与函数。等价关系的意义在于“分类”这既是数学的基本思想方法之一也是数据挖掘的常见任务而偏序关系的意义在于“排序”这是计算机算法中最基本的研究对象。 有了函数的定义分析学可以就此展开而用函数定义二元运算后于是代数学的基础有了。有了分析学、代数学数学这个科学体系的基本框架也就基本搭建好了。 集合论是数学之本。从集合到关系、再到函数与运算构建了数学学科基础。这就是集合论这部分的数学本质。弄清楚这些教师就能做到胸中有“数”、总揽全局。而给学生介绍这些数学本质学生也能初步了解这部分内容的结构、意义和价值对这部分内容的学习和掌握是有很大帮助的。而且经过这两个部分的学习学生逐步熟悉和掌握代数的思想和方法对后续抽象代数部分的学习在心理上和知识上都有了一定的准备。 三、数理逻辑与集合论基本内容的内在联系 前文提到命题逻辑和集合论这两部分内容有很大的相似性。具体地说这两部分的运算与运算律具有很强的对应关系。比如逻辑运算{∧∨}与集合运算{∩∪}之间的一一对应关系。大多数教师都能认识这点并在教学中加以利用。例如在讲授逻辑运算的运算律时提醒学生注意观察逻辑运算的运算律与集合运算的运算律之间的对应关系这有助于学生理解并掌握逻辑运算的运算律。有的离散数学的教材也把集合论这部分内容放在数理逻辑之前这样做虽然破坏了逻辑-集合-代数这样的连贯性但从学生有初步认知的集合论开始然后再利用集合论与命题逻辑在内容上的相似性辅助逻辑部分的教学也是有其可取之处的。 实际上用命题逻辑的工具可以推导出集合运算及其一些运算律给定集合A和B假设全集是E。对于任意给定的元素x∈E用p表示命题“x∈A”q表示命题x∈B则命题公式p表示的命题是“x∈A”、p∧q表示“x∈B∩A”、p∨q表示“x∈A∪B”。这就是逻辑运算与集合运算的对应与转换关系。进一步地永真式重言式1表示x∈E、永假式矛盾式0表示“x∈Φ”那么从命题逻辑的一些基本等值式就能直接推导出集合论中的一些基本恒等式如结合律、交换律、分配律、德·摩根律等。 当然要更深入地探讨集合论的恒等式和逻辑运算的等值式之间的关系需要用到谓词逻辑工具不过这已超出了教学研究范畴因此本文不在此进一步展开阐述有兴趣的读者可自行探究。 四、结语 笔者认为强调离散数学在计算机科学领域的应用是必要的有助于提高学生的学习积极性和应用意识但离散数学本身承载的数学本质也不应被忽视毕竟它是一门重要的数学类课程。本文从数理逻辑与集合论模块的教学谈离散数学的一些数学本质目的是在离散数学的教学过程中在把握其数学本质的基础上充分结合其应用性这样既能有效提高教学效果又能培养学生的代数思维习惯提高他们的离散建模能力。转载于:https://www.cnblogs.com/hjlweilong/p/9493751.html
