离散数学课程总结

合集下载
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
离散数学课程总结
姓名:
Leabharlann Baidu学号:
班级:级计科系软件工程( )班
近年来,计算机科学与技术有了飞速发展,在生产与生活的各个领域都发挥着越来越重要的作用。离散数学是研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要分支。它在各学科领域,特别在计算机科学与技术领域有着广泛的应用,同时离散数学也是计算机专业的许多专业课程。
三、对老师的建议
老师讲课很认真,对每一个知识点讲的也很是详细,但是我觉得老师不够严厉。另外,我希望老师可以穿插介绍一些知识点在计算机科学中的应用,将之与离散数学理论结合介绍给学生,使学生更重视这一课程的学习。
1.在命题逻辑的基本概念中学习了命题的真值及真值表、命题与联结词、命题及其分类、联结词与复合命题、命题公式及其赋值。
2.在命题逻辑的等值演算中主要学习了等值式与基本的等值式模式、等值演算与置换规则、析取范式与合取范式,极大值和极小值,主析取范式与主合取范式、联结词完备集。
3.在命题逻辑的推理理论中主要学习了推理的正确与错误、推理的形式结构、判断推理正确的方法、推理定律;自然推理系统P、形式系统的定义与分类、自然推理系统P,在P中构造证明:直接证明法、附加前提证明法、归谬法。
4.在一阶逻辑基本概念中主要学习了一阶逻辑命题符号化、个体词、谓词、量词、一阶逻辑公式及其解释、一阶语言、合式公式及合式公式的解释、永真式、矛盾式、可满足式。
5.在一阶逻辑等值演算与推理中主要学习了一阶逻辑等值式与基本等值式、置换规则、换名规则、代替规则、前束范式、自然推理系统N及其推理规则。
第二部分:集合论
在集合论中,主要学习了集合代数、二元关系和函数。
1.在集合代数中,学习了集合的基本概念:属于、包含、空集、元集、幂集、全集;集合的基本运算:并、交、补相对、对称差等;集合恒等式:集合运算的主要算律、恒等式的证明方法。
2.在二元关系中学习了有序对与笛卡儿积、二元关系的定义与表示法、关系的运算、关系的性质、关系的闭包、等价关系与划分、偏序关系。
一、课程总结
本书的主要内容有数理逻辑、集合论、代数结构、组合数学、图论以及初等数论六部分,而我们主要学习的有第一部分数理逻辑、第二部分集合论以及第五部分图论,第三部分代数结构也学习了一部分。
第一部分:数理逻辑
数理逻辑是研究推理的数学分支,推理有一些列的陈述句组成。在数理逻辑中,主要学习了命题逻辑的基本概念、命题逻辑的等值演算、命题逻辑的推理理论、一阶逻辑基本概念、一阶逻辑等值演算与推理。
另外,离散这门课程我觉得每一个部分之间并没有什么太大的联系,可以说都是独立的,所以我们可以对内容侧重讲解,虽然说这对以后的数据结构有一定的影响。所以更应该对一些有用的内容进行选择性的部分详细讲解。
更重要的一点就是加强实践,因为本书多是概念,我们不能仅仅只是纸上谈兵,例如在数理逻辑中,我们可能对一些命题逻辑公式熟练于心,但是解决实际问题时可能有各种问题。因此我们要加强训练,多做一些证明题,这样才能把理念用于实践之中。后面的图论就更不用说了,只有结合实际的题目才能够掌握和理解。
第三部分:代数结构
在代数结构中,主要学习了代数系统、群与环。
1、在代数系统中学习了二元运算及其性质:一元和二元运算定义及其实例、二元运算的主要性质、代数系统:代数系统定义及其实例、子代数、积代数。
2、在群与环中学习了群的定义与性质:半群、独异点、群、阶。
第五部分:图论
在图论中主要学习了图的基本概念、欧拉图与哈密顿图、树。
1.在图的基本概念中学习了图、通路与回路、图的连通性,图的矩阵表示、图的运算。
2.在欧拉图与哈密顿图中学习了欧拉图、哈密顿图。
3.在树中学习了无向树及其性质、生成树、根数及其应用。
二、对课程的建议
离散数学是建立在大量定义、定理之上的逻辑推理学科,因此对概念的理解是学习这门课程的核心。在学习这些概念的基础上,要特别注意概念之间的联系,而描述这些联系的实体则是大量的定理和性质。在考试中有一部分内容是考查学生对定义和定理的识记、理解和运用,因此要真正理解离散数学中所给出的每个基本概念真正的含义。
相关文档
最新文档