离散数学总结
离散数学总结

离散数学总结离散数学学习总结一、课程内容介绍:1.集合论部分:集合论是离散数学中第一个抽象难关,在老师的生动讲解下,深入浅出,使得集合论成了相当有趣的知识。
只是对于以后的应用还不是很了解,感觉学好它很重要。
直观地说,把一些事物汇集到一起组成一个整体就叫集合,而这些事物就是这个集合的元素或成员。
例如:方程x2-1=0的实数解集合;26个英文字母的集合;坐标平面上所有点的集合;集合通常用大写的英文字母来标记,例如自然数集合N(在离散数学中认为0也是自然数),整数集合Z,有理数集合Q,实数集合R,复数集合C等。
表示一个集合的方法有两种:列元素法和谓词表示法,如果两个集合的交集为,则称这两个集合是不相交的。
例如B和C 是不相交的。
两个集合的并和交运算可以推广成n个集合的并和交:A1∪A2∪…∪An={x|x∈A1∨x∈A2∨…∨x∈An}A1∩A2∩…∩An={x|x∈A1∧x∈A2∧…∧x∈An}2.关系二元关系也可简称为关系。
对于二元关系R,如果∈R,可记作xRy;如果R,则记作x y。
例如R1={<1,2>,},R2={<1,2>,a,b}。
则R1是二元关系,R2不是二元关系,只是一个集合,除非将a和b定义为有序对。
根据上面的记法可以写1R12,aR1b,aR1c等。
给出一个关系的方法有三种:集合表达式,关系矩阵和关系图。
设R是A上的关系,我们希望R具有某些有用的性质,比如说自反性。
如果R不具有自反性,我们通过在R中添加一部分有序对来改得到新的关系R',使得R'具有自反性。
但又不希望R'与R相差太多,换句话说,添加的有序对要尽可能的少。
满足这些要求的R'就称为R的自反闭包。
通过添加有序对来构造的闭包除自反闭保外还有对称闭包和传递闭包。
3.代数系统代数结构也叫做抽象代数,主要研究抽象的代数系统。
抽象的代数系统也是一种数学模型,可以用它表示实际世界中的离散结构。
离散知识点公式总结

离散知识点公式总结1. 集合论集合是离散数学中的基本概念,它是由一些确定的对象所组成的一个整体。
集合之间的运算包括并集、交集、差集、补集等。
其相关公式如下:- 并集:对于集合A和B,它们的并集定义为包含A和B中所有元素的集合,记作A∪B。
公式:A∪B={x|x∈A或x∈B}- 交集:对于集合A和B,它们的交集定义为同时属于A和B的所有元素的集合,记作A∩B。
公式:A∩B={x|x∈A且x∈B}- 差集:对于集合A和B,A与B的差集定义为属于A但不属于B的元素所组成的集合,记作A-B。
公式:A-B={x|x∈A且x∉B}- 补集:对于集合A,相对于全集合U而言,A的补集定义为全集合中不属于A的元素所组成的集合,记作A'。
公式:A'={x|x∈U且x∉A}2. 关系和函数关系是一种描述元素之间的对应关系的数学工具,而函数则是一种特殊的关系。
在离散数学中,关系和函数的定义和性质是非常重要的内容。
其相关公式如下:- 关系R:对于集合A和B,关系R定义为A和B的笛卡尔积中的元素对所组成的集合。
公式:R={(a,b)|a∈A且b∈B}- 函数f:对于集合A和B,如果f是从A到B的一个映射,那么对于任意元素a∈A,都有唯一的元素b∈B与之对应。
公式:f:A→B3. 图论图论是离散数学中的一个重要分支,它研究的是由顶点和边组成的数学结构。
图论的基本概念包括图的类型、路径和回路、连通性、树等。
其相关公式如下:- 有向图:对于图G=(V,E),如果E中的边是有方向的,则称G为有向图。
公式:G=(V,E),E={(u,v)|u,v∈V,u→v}- 无向图:对于图G=(V,E),如果E中的边是无方向的,则称G为无向图。
公式:G=(V,E),E={{u,v}|u,v∈V,u≠v}- 路径:在图G中,顶点v1,v2,...,vn的一个路径是图G中的一个顶点序列,其中相邻的顶点用一条边连接。
公式:v1,v2, (v)- 回路:在图G中,如果一条路径的起点和终点是同一个顶点,则称其为回路。
离散数学知识点总结

离散数学知识点总结离散数学是一门研究离散对象及其关系、运算规则的数学学科。
它在计算机科学、信息学等领域中扮演着重要的角色,是这些领域的基础知识之一。
本文将对离散数学的一些重要知识点进行总结。
一、集合论集合论是离散数学的基础,它研究的是元素的集合以及集合之间的关系。
在集合论中,我们需要了解集合的运算、集合的关系、集合的分割等概念。
集合的运算包括交集、并集、差集和补集等,而集合的关系则包括子集、包含关系等。
此外,集合的分割也是一个重要的概念,它将一个集合划分为不相交的子集。
二、图论图论是离散数学中的重要分支,它研究的是图的性质和图之间的关系。
图由节点和边组成,节点表示对象,边表示对象之间的关系。
图论的核心概念包括图的表示方法、图的遍历算法、最短路径算法等。
在实际应用中,我们可以利用图论来解决线路规划、网络优化等问题。
三、逻辑与真值表逻辑是离散数学的重要组成部分,它研究的是命题之间的关系,以及命题的真值。
逻辑的核心概念包括命题、谓词、命题逻辑和一阶谓词逻辑等。
命题逻辑研究的是命题之间的关系,通过真值表可以展示命题的真值。
一阶谓词逻辑则考虑了命题中的变量、量词等。
四、组合数学组合数学是研究离散对象组合方式的数学学科。
它包括排列、组合、二项式系数等概念。
排列是指从一组对象中取出一些对象按照一定的顺序排列,而组合则是指从一组对象中取出一些对象作为一个集合。
二项式系数是组合数学中常用的工具,它表示在一组对象中选择出一个子集的方式数目。
五、数论数论是离散数学中研究自然数的性质和关系的学科。
它研究整数、素数、同余关系等。
数论的核心概念包括质数与合数、素数分解、同余关系和模运算等。
数论在加密算法、密码学中有广泛的应用,对于保证数据安全性至关重要。
总结起来,离散数学是一门研究离散对象及其关系、运算规则的数学学科,其中包括集合论、图论、逻辑与真值表、组合数学和数论等重要知识点。
它在计算机科学、信息学等领域中具有重要的应用价值。
考试必备离散数学概念总结

1.1、单个命题变项和命题常项是合式公式, 称作原子命题公式2.1、若等价式A↔B是重言式,则称A与B等值,记作A⇔B,并称A⇔B是等值式2.2、(1) 文字——命题变项及其否定的总称2.3、设C1=l∨C1', C2=lc∨C2', C1'和C2'不含l和lc, 称C1∨'C2'为C1和C2(以l和lc为消解文字)的消解式或消解结果, 记作Res(C1,C2)2.4、设S是一个合取范式, C1,C2,⋯,Cn是一个简单析取式序列. 如果对每一个i(1≤i≤n), Ci是S的一个简单析取式或者是Res(Cj,Ck)(1≤j<k<i), 则称此序列是由S导出Cn的消解序列. 当Cn=λ时, 称此序列是S的一个否证.3.1、设A1, A2, …, Ak, B为命题公式. 若对于每组赋值,A1∧A2∧…∧Ak为假,或当A1∧A2∧…∧Ak为真时,B也为真,则称由前提A1, A2, …, Ak推出结论B的推理是有效的或正确的, 并称B是有效结论.4.1、个体词——所研究对象中可以独立存在的具体或抽象的客体个体常项:具体的事物,用a, b, c表示个体变项:抽象的事物,用x, y, z表示个体域(论域)——个体变项的取值范围4.2、谓词——表示个体词性质或相互之间关系的词谓词常项:如, F(a):a是人谓词变项:如, F(x):x具有性质F一元谓词(n=1)——表示性质多元谓词(n≥2)——表示事物之间的关系0元谓词——不含个体变项的谓词, 即命题常项或命题变项4.3、设L是一个非逻辑符集合, 由L生成的一阶语言L 的字母表包括下述符号:非逻辑符号(个体常项符号、函数符号、谓词符号)和逻辑符号(个体变项符号、量词符号、联结词符号、括号与逗号)4.4、设R(x1, x2, …, xn)是L的任意n元谓词,t1, t2, …, tn 是L的任意n个项,则称R(t1,t2, …, tn)是L的原子公式.4.5、在公式∀xA 和∃xA 中,称x为指导变元,A为相应量词的辖域. 在∀x和∃x的辖域中,x的所有出现都称为约束出现,A中不是约束出现的其他变项均称为是自由出现.4.6、若公式A中不含自由出现的个体变项,则称A为封闭的公式,简称闭式.6.1、A⊆B⇔∀x ( x∈A →x∈B )6.2、A = B⇔A⊆B∧B⊆A6.3、A⊂B⇔A⊆B∧A≠BA⊈B⇔∃x ( x∈A ∧x∉B )6.4、幂集:P(A)={ x | x ⊆A } (一定包含空集)6.5、并A⋃B = {x | x∈A∨x∈B}交A⋂B = {x | x∈A∧x∈B}相对补A-B = {x | x∈A∧x∉B}对称差A⊕B = (A-B)⋃(B-A)绝对补~A = E-A6.6、广义并⋃A = { x | ∃z ( z∈A∧x∈z )}广义交⋂A= { x | ∀z ( z∈A →x∈z )}7.1、设A,B为集合,A与B的笛卡儿积记作A⨯B,且A⨯B = {<x,y>| x∈A∧y∈B}.7.2、设A,B为集合, A×B的任何子集所定义的二元关系叫做从A到B的二元关系, 当A=B时则叫做A上的二元关系.(计数:|A|=n, |A×A|=n^2, 所以A上有2^(n^2)个不同的二元关系。
离散数学知识点总结

注意/技巧:析取符号为V,大写字母Vx + y = 3不是命题前件为假时,命题恒为真运用吸收律命题符号化过程中要注意命题间的逻辑关系,认真分析命题联结词所对应的自然语言中的联结词,不能只凭字面翻译。
也就是说,在不改变原意的基础上,按照最简单的方式翻译通用的方法:真值表法VxP(x)蕴含存在xP(x)利用维恩图解题证明两个集合相等:证明这两个集合互为子集常用的证明方法:任取待证集合中的元素<,>构造相应的图论模型第一章命题逻辑命题和联结词命题的条件:表达判断的陈述句、具有确定的真假值。
选择题中的送分题原子命题也叫简单命题,与复合命题相对简单联结词的真值表要记住非(简单)合取(当且仅当P,Q都为真时,命题为真)析取(当且仅当P,Q都为假时,命题为假),P,Q可以同时成立,是可兼的或条件(→)(当且仅当P为真,Q为假时,命题为假)P是前件,Q是后件只要P,就Q等价于P→Q只有P,才Q等价于非P→非Q,也就是Q→PP→Q特殊的表达形式:P仅当Q、Q每当P双条件(↔)(当且仅当P与Q具有相同的真假值时,命题为真,与异或相反)命题公式优先级由高到低:非、合取和析取、条件和双条件括号省略条件:①不改变先后次序的括号可省去②最外层的括号可省去重言式(永真式)、矛盾式(永假式)、偶然式可满足式:包括重言式和偶然式逻辑等价和蕴含(逻辑)等价:这是两个命题公式之间的关系,写作“⇔”,要与作为联结词的↔区分开来。
如果命题公式A为重言式,那么A⇔T常见的命题等价公式:需要背过被标出的,尽量去理解。
关键是掌握公式是将哪个符号转换为了哪个符号,这对于解证明题有很大的帮助!验证两个命题公式是否等价:当命题变元较少时,用真值表法。
当命题变元较多时,用等价变换的方法,如代入规则、替换规则和传递规则定理:设A、B是命题公式,当且仅当A↔B是一个重言式时,有A和B逻辑等价。
蕴含:若A→B是一个重言式,就称作A蕴含B,记作A⇒B常见的蕴含公式的运用方法同上面的命题等价公式证明A⇒B:①肯定前件,推出后件为真②否定后件,推出前件为假当且仅当A⇒B且B⇒A时,A⇔B,也就是说,要证明两个命题公式等价,可以证明它们相互蕴含联结词的完备集新的联结词:条件否定、异或(不可兼或)、或非(析取的否定)、与非(合取的否定)任意命题公式都可由仅含{非,析取}或{非,合取}的命题公式来等价地表示全功能联结词集合极小全功能联结词集合对偶式对偶式:将仅含有联结词非、析取、合取(若不满足,需先做转换)的命题公式A中的析取变合取,合取变析取,T变F,F变T得到的命题公式A*称为A的对偶式范式析取式:否定+析取合取式:否定+合取析取范式:(合取式)析取(合取式)……析取(合取式)。
离散数学知识点总结

离散数学知识点总结 一、各章复习要求与重点第一章 集 合[复习知识点]1、集合、元素、集合的表示方法、子集、空集、全集、集合的包含、相等、幂集2、集合的交、并、差、补等运算及其运算律(交换律、结合律、分配律、吸收律、 De Morgan 律等),文氏(V enn )图3、序偶与迪卡尔积本章重点内容:集合的概念、集合的运算性质、集合恒等式的证明 [复习要求]1、理解集合、元素、子集、空集、全集、集合的包含、相等、幂集等基本概念。
2、掌握集合的表示法和集合的交、并、差、补等基本运算。
3、掌握集合运算基本规律,证明集合等式的方法。
4、了解序偶与迪卡尔积的概念,掌握迪卡尔积的运算。
[本章重点习题]P5~6,4、6; P14~15,3、6、7; P20,5、7。
[疑难解析] 1、集合的概念因为集合的概念学生在中学阶段已经学过,这里只多了一个幂集概念,重点对幂集加以掌握,一是掌握幂集的构成,一是掌握幂集元数为2n 。
2、集合恒等式的证明通过对集合恒等式证明的练习,既可以加深对集合性质的理解与掌握;又可以为第三章命题逻辑中公式的基本等价式的应用打下良好的基础。
实际上,本章做题是一种基本功训练,尤其要求学生重视吸收律和重要等价式在B A B A ~⋂=-证明中的特殊作用。
[例题分析]例1 设A ,B 是两个集合,A={1,2,3},B={1,2},则=-)()(B A ρρ 。
解}}3,2,1{},3,2{},3,1{},2,1{},3{},2{},1{,{)(φρ=A}}2,1{},2{},1{,{)(φρ=B于是}}3,2,1{},3,2{},3,1{},3{{)()(=-B A ρρ例2 设{}{}Φ=,,,,b a b a A ,试求:(1){}b a A ,-; (2)Φ-A ; (3){}Φ-A ; (4){}{}A b a -,; (5)A -Φ; (6){}A -Φ。
解 (1){}{}{}Φ=-,,,b a b a A (2)A A =Φ- (3){}{}{}b a b a A ,,,=Φ- (4){}{}Φ=-A b a , (5)Φ=-ΦA (6){}Φ=-ΦA 例3 试证明()()()()B A B A B A B A ~~~~⋂⋃⋂=⋃⋂⋃ 证明()()()()()()()()()()()()()()()()()()B A B A B A B A B B B A A B A A B B A A B A B A B A ~~~~~~~~~~~~~⋂⋃⋂=Φ⋃⋂⋃⋂⋃Φ=⋂⋃⋂⋃⋂⋃⋂=⋂⋃⋃⋂⋃=⋃⋂⋃第二章 二元关系[复习知识点]1、关系、关系矩阵与关系图2、复合关系与逆关系3、关系的性质(自反性、对称性、反对称性、传递性)4、关系的闭包(自反闭包、对称闭包、传递闭包)5、等价关系与等价类6、偏序关系与哈斯图(Hasse )、极大/小元、最大/小元、上/下界、最小上界、最大下界7、函数及其性质(单射、满射、双射)8、复合函数与反函数本章重点内容:二元关系的概念、关系的性质、关系的闭包、等价关系、半序关系、映射的概念 [复习要求]1、理解关系的概念:二元关系、空关系、全关系、恒等关系;掌握关系的集合表示、关系矩阵和关系图、关系的运算。
离散数学知识点总结及应用

离散数学知识点总结及应用
知识点1: 集合论
- 集合的定义和表示方法
- 集合的运算:并、交、差、补
- 集合的基本性质和定律
知识点2: 逻辑与命题
- 命题的定义和特性
- 命题的联结词:与、或、非
- 命题的真值表和逻辑运算
- 命题的充分条件和必要条件
知识点3: 关系与函数
- 关系的定义和性质
- 关系的类型:自反、对称、传递、等价
- 函数的定义和基本概念
- 函数的特性和图像
知识点4: 图论
- 图的基本概念和术语
- 图的存储结构:邻接矩阵、邻接表
- 图的遍历算法:深度优先搜索、广度优先搜索
- 最短路径算法:Dijkstra算法、Floyd-Warshall算法
知识点5: 组合数学
- 排列和组合的基本概念
- 排列和组合的计算方法
- 随机变量和概率分布
- 组合数学在密码学等领域的应用
知识点6: 布尔代数
- 布尔代数的基本运算:与、或、非
- 布尔函数的最小化方法
- 布尔代数的应用:逻辑电路设计、编码器等
知识点7: 计算理论
- 自动机的基本概念和分类
- 正则语言和正则表达式
- 文法的定义和性质
- 上下文无关文法和巴科斯范式
知识点8: 数论
- 整数的性质和基本运算
- 质数和分解定理
- 同余关系和同余方程
- 数论在加密算法中的应用
以上是离散数学中的一些主要知识点和应用场景的简要总结,希望对你的研究有所帮助。
离散数学项目总结(优秀5篇)

离散数学项目总结(优秀5篇)离散数学项目总结(优秀5篇)离散数学项目总结要怎么写,才更标准规范?根据多年的文秘写作经验,参考优秀的离散数学项目总结样本能让你事半功倍,下面分享【离散数学项目总结(优秀5篇)】相关方法经验,供你参考借鉴。
离散数学项目总结篇1离散数学项目总结背景介绍离散数学是计算机科学的基础学科,在算法、数据结构和操作系统等领域中有着广泛的应用。
本次离散数学项目旨在通过实践操作,提高学生对离散数学知识的理解和应用能力。
项目目标本次项目的主要目标是掌握离散数学的基本概念和原理,包括集合论、图论、逻辑学等。
同时,通过项目实践,提高学生对离散数学的运用能力,为后续的计算机科学学习打下基础。
项目内容1.集合论集合论是离散数学的基础,本次项目要求学生掌握集合的概念、性质和运算,并能够运用集合论解决实际问题。
2.图论图论是研究图形的数学理论,本次项目要求学生掌握图的基本概念、图的表示方法和图的性质,并能够运用图论解决实际问题。
3.逻辑学逻辑学是计算机科学的基础,本次项目要求学生掌握逻辑学的基本概念和推理方法,并能够运用逻辑学解决实际问题。
项目实施过程1.集合论首先,学生对集合的概念、性质和运算进行学习和理解,并在此基础上进行实际问题的解决。
例如,要求学生运用集合论解决一个班级的学生管理问题,通过对学生的集合表示和运算,实现对学生管理的自动化和智能化。
2.图论然后,学生对图的基本概念、图的表示方法和图的性质进行学习和理解,并在此基础上进行实际问题的解决。
例如,要求学生运用图论解决一个城市交通问题,通过对城市交通网络的图的表示和运算,实现城市交通的优化和智能化。
3.逻辑学最后,学生对逻辑学的基本概念和推理方法进行学习和理解,并在此基础上进行实际问题的解决。
例如,要求学生运用逻辑学解决一个软件开发过程中的问题,通过对软件开发过程中的逻辑推理,实现软件开发的自动化和智能化。
项目总结通过本次项目,学生加深了对离散数学的理解和运用能力,掌握了集合论、图论、逻辑学等基本概念和原理,提高了对离散数学的运用能力。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
离散数学学习总结
一、课程内容介绍:
1.集合论部分:
集合论是离散数学中第一个抽象难关,在老师的生动讲解下,深入浅出,使得集合论成了相当有趣的知识。
只是对于以后的应用还不是很了解,感觉学好它很重要。
直观地说,把一些事物汇集到一起组成一个整体就叫集合,而这些事物就是这个集合的元素或成员。
例如: 方程x2-1=0的实数解集合;
26个英文字母的集合;
坐标平面上所有点的集合;
集合通常用大写的英文字母来标记,例如自然数集合N(在离散数学中认为0也是自然数),整数集合Z,有理数集合Q,实数集合R,复数集合C等。
表示一个集合的方法有两种:列元素法和谓词表示法,
如果两个集合的交集为,则称这两个集合是不相交的。
例如B和C 是不相交的。
两个集合的并和交运算可以推广成n个集合的并和交:
A1∪A2∪…∪An={x|x∈A1∨x∈A2∨…∨x∈An}
A1∩A2∩…∩An={x|x∈A1∧x∈A2∧…∧x∈An}
2.关系
二元关系也可简称为关系。
对于二元关系R,如果<x,y>∈R,可记作xRy;如果<x,y>R,则记作x y。
例如R1={<1,2>,<a,b>},R2={<1,2>,a,b}。
则R1是二元关系,R2不是二元关系,只是一个集合,除非将a和b定义为有序对。
根据上面的记法可以写1R12,aR1b,aR1c等。
给出一个关系的方法有三种:集合表达式,关系矩阵和关系图。
设R是A上的关系,我们希望R具有某些有用的性质,比如说自反性。
如果R不具有自反性,我们通过在R中添加一部分有序对来改造R,
得到新的关系R',使得R'具有自反性。
但又不希望R'与R相差太多,换句话说,添加的有序对要尽可能的少。
满足这些要求的R'就称为R的自反闭包。
通过添加有序对来构造的闭包除自反闭保外还有对称闭包和传递闭包。
3.代数系统
代数结构也叫做抽象代数,主要研究抽象的代数系统。
抽象的代数系统也是一种数学模型,可以用它表示实际世界中的离散结构。
例如在形式语言中常将有穷字符表记为∑,由∑上的有限个字符(包括0个字符)可以构成一个字符串,称为∑上的字。
∑上的全体字符串构成集合∑*。
设α,β是∑*上的两个字,将β连接在α后面得到∑*上的字
αβ。
如果将这种连接看作∑*上的一种运算,那么这种运算不可交换,但是可结合。
集合∑*关于连接运算就构成了一个代数系统,它恰好是抽象代数系统--半群的一个实例。
抽象代数在计算机中有着广泛的应用,例如自动机理论、编码理论、形式语义学、代数规范、密码学等等都要用到抽象代数的知识。
代数结构的主要研究对象就是各种典型的抽象代数系统。
构成一个抽象代数系统有三方面的要素:集合、集合上的运算以及说明运算性质或运算之间关系的公理。
请看下面的例子。
整数集合Z和普通加法+构成了代数系统〈Z,+〉,n阶实矩阵的集合Mn(R)与矩阵加法+构成代数系统〈Mn(R),+〉。
幂集P(B)与集合的对称差运算也构成了代数系统<P(B),>。
类似这样的代数系统可以列举出许多许多,他们都是具体的代数系统。
考察他们的共性,不难发现他们都含有一个集合,一个二元运算,并且这些运算都具有交换性和结合性等性质。
为了概括这类代数系统的共性,我们可以定义一个抽象的代数系统<A,>,其中 A是一个集合,是A上的可交换、可结合的运算,这类代数系统实际上就是交换半群。
为了研究抽象的代数系统,我们需要先定义一元和二元代数运算以及二元运算的性质,并通过选择不同的运算性质来规定各种抽象代数系统的定义。
在此基础上再深入研究这些抽象代数系统的内在特性和应用。
4.图论部分
图论是作为我们计算机专业的一门很有用处的知识,也是新兴的一个数学分支,在计算机迅速发展的同时,图论也迅速发展。
因此,图论给我们以一种神奇的感觉,在学习图论中,老师总是把图论分析得很透彻,学起来很有趣,同时也很简单。
图论在数据结构方面的应用极其广泛,对我们学计算机专业的人来说,是一门必须要学好的知识。
一个图可以用一个图形表示,定义中的结点对可以是有序的,也可以是无序的,若边所对误码的结点对(a,b)是有序的,刚称L是有向边,a称为L的起点,b称为L的终点,若边L所对应的结点对(a,b)是无序的,则称L是无向边。
5.数理逻辑部分
数理逻辑作为离散数学的最后一部分,充满着对逻辑思维的挑战,同时锻炼了我们思考问题的严密性,当然最重要的是学会如何用数学方法去分析逻辑问题。
数理逻辑又称符号逻辑,它是用数学方法支研究抽象思维的规律的应用学科,1.命题:把能判断真假的陈述句称为命题,作为命题的陈述句表达的判断结果称为命题的真值。
命题公式、对偶与范式、命题演算的推理等等。
二、学习总结与体会
在本学期一开始学习这门课程时,老师就明确的告诉我们这门课程很重要,是我们大学中专业课程的核心课程,同时由于难度系数较高,故本门课程较为难学。
总的来说,一个学期下来,自认为比较好地掌握了离散数学的基础知识,并在平时的各方面得到了很好的应用。
对于离散数学,在刚开始学习的不知道他的重要性,以为他与高等数学一样,或者学习的时候的时候,一定要有高等数学的知道,其实不然,当我开始学习之后才知道,只有掌握了高等数学以及线性代数等相关知道才能更好的学习离散数学。
而且,作为计算机科学专业的学生,离散数学当中所涉及到相关知道,对于我们是至关重要的。
比如,关系、群、路径、图的矩阵表示、树等内容,都是在计算机程序设计以及相关
信息当中要用到的内容。
所以学习了离散数学课之后,我的收获是很多的。
对于一些数学相关的知识有了不同的理解,学会了用不同的方法去解决程序设计方法以及将计算机和数学有机联系起来,不过在学习的过程中也遇到了一些难题,最为突出的,就是书本上的和老师讲解的都还是比较的简单,自己在课堂上也能听懂,但是到具体的应用就很困难了。
特别是不看书,就很多的东西都还给了老师,所以,我会严格的要求自己,学过的东西,都要下来练习,尽量的多做一些习题,尽量的把学过的数学基础知识练熟悉,这样才能够提高自己专业知识,提高自己解决问题的能力。
有一点让我遗憾的是没有学完这门课程,但在这门课程快要结束的时候,我总结了学习中遇到的一些问题,最为突出的是,书本上的知识与老师讲的都比较容易懂,可是在真正运到实际生活中时,就不能将老师所讲的知识点与书上所罗列的。
因此,针对这一情况,在以后的学习中我会严格要求自己,多参加实践,只有这样,,才能够提高运用知识,解决问题的能力。
三、教学建议
1.在课程开设方面,对于离散数学等相关基础、重要的课程,应当在大一或大二开设,不应放在大三下期,这样对于我们学习时也有一定的帮助。
我希望这一本书上能多一些练习题,以便我们学过了,下课了也有很多的练习题做,来巩固课堂上的新内容。
同时,我也希望在有些程序部分,能给出详细的注释语句。
2.相互学习,教师应当努力使现代教学手段与传统教学手段有机结合,相互取长补短。
在教学实施中既能发挥教学手段的优势,又能善于运用传统方式,使教学效果达到最佳。
建议能给一些学生练习的时间,这样我们才能对学过的新内容有一个巩固的时间,其实这样更有助于以后的教学,前面的基础知识打牢了,后面的学习更愉快。
3.提升技能:教师应重新认识离散数学与计算机联系。
同时,要始终把学生放在讲课对象的中心位置,特别是在课余时间,建议由老师组
织学生进行分组,大家共同学习,由于现今的大学学习较为分散,很多时候同学们都不同在课堂上完成任务,只能下来之后继续完成,所以组建学习小组后,通过完成任务等方式,让学生学习到更多的知识点。
学会更多的内容。
4.任务引领:充分调动学习学习积极性让学习在完成任务的过程当中,充分学习到多媒体课件的制作以及多媒体信息的处理等等。