北京大学远程教育离散数学语音答疑提纲下(全书考试内容) 2
离散数学习题解答北京大学出版社
习题一1.下列句子中,哪些是命题?在是命题的句子中,哪些是简单命题?哪些是真命题?哪些命题的真值现在还不知道?(1)中国有四大发明.答:此命题是简单命题,其真值为1.(2)5是无理数.答:此命题是简单命题,其真值为1.(3)3是素数或4是素数.答:是命题,但不是简单命题,其真值为1.x+<(4)235答:不是命题.(5)你去图书馆吗?答:不是命题.(6)2与3是偶数.答:是命题,但不是简单命题,其真值为0.(7)刘红与魏新是同学.答:此命题是简单命题,其真值还不知道.(8)这朵玫瑰花多美丽呀!答:不是命题.(9)吸烟请到吸烟室去!答:不是命题.(10)圆的面积等于半径的平方乘以π.答:此命题是简单命题,其真值为1.(11)只有6是偶数,3才能是2的倍数.答:是命题,但不是简单命题,其真值为0.(12)8是偶数的充分必要条件是8能被3整除.答:是命题,但不是简单命题,其真值为0.(13)2008年元旦下大雪.答:此命题是简单命题,其真值还不知道.2.将上题中是简单命题的命题符号化.解:(1)p:中国有四大发明.(2)p:是无理数.(7)p:刘红与魏新是同学.(10)p:圆的面积等于半径的平方乘以π.(13)p:2008年元旦下大雪.3.写出下列各命题的否定式,并将原命题及其否定式都符号化,最后指出各否定式的真值.(15是有理数.5.p5.q5.其否定式q的真值为1.(225不是无理数.答:是有理数. p 不是无理数. q 是有理数. 其否定式q 的真值为1.(3)是自然数.答:否定式:不是自然数. p :是自然数. q :不是自然数. 其否定式q 的真值为1. (4)ln1是整数.答:否定式:ln1不是整数. p :ln1是整数. q :ln1不是整数. 其否定式q 的真值为1.4.将下列命题符号化,并指出真值. (1)2与5都是素数答:p :2是素数,q :5是素数,符号化为p q ∧,其真值为1.(2)不但π是无理数,而且自然对数的底e 也是无理数.答:p :π是无理数,q :自然对数的底e 是无理数,符号化为p q ∧,其真值为1. (3)虽然2是最小的素数,但2不是最小的自然数.答:p :2是最小的素数,q :2是最小的自然数,符号化为p q ∧⌝,其真值为1. (4)3是偶素数.答:p :3是素数,q :3是偶数,符号化为p q ∧,其真值为0. (5)4既不是素数,也不是偶数.答:p :4是素数,q :4是偶数,符号化为p q ⌝∧⌝,其真值为0. 5.将下列命题符号化,并指出真值. (1)2或3是偶数. (2)2或4是偶数. (3)3或5是偶数.(4)3不是偶数或4不是偶数. (5)3不是素数或4不是偶数.答: p :2是偶数,q :3是偶数,r :3是素数,s :4是偶数, t :5是偶数 (1) 符号化: p q ∨,其真值为1. (2) 符号化:p r ∨,其真值为1. (3) 符号化:r t ∨,其真值为0. (4) 符号化:q s ⌝∨⌝,其真值为1.(5) 符号化:r s ⌝∨⌝,其真值为0. 6.将下列命题符号化.(1)小丽只能从筐里拿一个苹果或一个梨.答:p :小丽从筐里拿一个苹果,q :小丽从筐里拿一个梨,符号化为: p q ∨. (2)这学期,刘晓月只能选学英语或日语中的一门外语课.答:p :刘晓月选学英语,q :刘晓月选学日语,符号化为: ()()p q p q ⌝∧∨∧⌝. 7.设p :王冬生于1971年,q :王冬生于1972年,说明命题“王冬生于1971年或1972年”既可以化1 1 0 1根据真值表,可以判断出,只有当p与q同时为真时两种符号化的表示才会有不同的真值,但结合命题可以发现,p与q不可能同时为真,故上述命题有两种符号化方式.8.将下列命题符号化,并指出真值.(1)只要,就有;(2)如果,则;(3)只有,才有;(4)除非,才有;(5)除非,否则;(6)仅当.答:设p:,则:;设q:,则:.符号化真值(1) 1(2) 1(3)0(4)0(5)0(6) 19.设p:俄罗斯位于南半球,q:亚洲人口最多,将下面命题用自然语言表述,并指出其真值:(1);(2);;(3);(4);(5);(6);(7).自然语言真值(1)只要俄罗斯位于南半球,亚洲人口就最多 1(2)只要亚洲人口最多,俄罗斯就位于南半球0(3)只要俄罗斯不位于南半球,亚洲人口就最多 1(4)只要俄罗斯位于南半球,亚洲人口就不是最多 1(5)只要亚洲人口不是最多,俄罗斯就位于南半球 1(6)只要俄罗斯不位于南半球,亚洲人口就不是最多0(7)只要亚洲人口不是最多,俄罗斯就不位于南半球 1 10.设p:9是3的倍数,q:英国与土耳其相邻,将下面命题用自然语言表述,并指出真值:(1);(2);(3);(4).答:根据题意,p为真命题,q为假命题.自然语言真值(1)9是3的倍数当且仅当英语与土耳其相邻0(2)9是3的倍数当且仅当英语与土耳其不相邻 1(3)9不是3的倍数当且仅当英语与土耳其相邻 1(4)9不是3的倍数当且仅当英语与土耳其不相邻011.将下列命题符号化,并给出各命题的真值:(1)若2+2=4,则地球是静止不动的;(2)若2+2=4,则地球是运动不止的;(3)若地球上没有树木,则人类不能生存;(4)若地球上没有水,则是无理数.答:命题1 命题2 符号化真值(1)p:2+2=4 q:地球是静止不动的0 (2)p:2+2=4 q:地球是静止不动的 1 (3)p:地球上有树木q:人类能生存 1 (4)p:地球上有树木q:人类能生存 1(1)2+2=4当且仅当3+3=6;(2)2+2=4的充要条件是3+36;(3)2+24与3+3=6互为充要条件;(4)若2+24,则3+36,反之亦然.答:设p:2+2=4,q:3+3=6.符号化真值(1) 113.将下列命题符号化,并讨论各命题的真值:(1)若今天是星期一,则明天是星期二;(2)只有今天是星期一,明天才是星期二;(3)今天是星期一当且仅当明天是星期二;(4)若今天是星期一,则明天是星期三.答:设p:今天是星期一,q:明天是星期二,r:明天是星期三.14.将下列命题符号化:(1)刘晓月跑得快,跳得高;(2)老王是山东人或者河北人;(3)因为天气冷,所以我穿了羽绒服;(4)王欢与李乐组成一个小组;(5)李欣与李末是兄弟;(6)王强与刘威都学过法语;(7)他一面吃饭,一面听音乐;(8)如果天下大雨,他就乘班车上班;(9)只有天下大雨,他才乘班车上班;(10)除非天下大雨,否则他不乘班车上班;(11)下雪路滑,他迟到了;(12)2与4都是素数,这是不对的;(13)“2或4是素数,这是不对的”是不对的.(12) p:2是素数q:4是素数-(13) p:2是素数q:4是素数-15.设p:2+3=5.q:大熊猫产在中国.r:太阳从西方升起.求下列符合命题的真值:(1)(2)(3)(4)解:p真值为1,q真值为1,r真值为0.(1)0,(2)0,(3)0,(4)116.当p,q的真值为0,r,s的真值为1时,求下列各命题公式的真值:(1)(2)(3)(4)解:(1)0,(2)0,(3)0,(4)117.判断下面一段论述是否为真:“是无理数.并且,如果3是无理数,则也是无理数.另外,只有6能被2整除,6才能被4整除.”解:p:是无理数q: 3是无理数r:是无理数s: 6能被2整除t:6能被4整除符号化为:,该式为重言式,所以论述为真。
北京大学离散数学教材 2
命题逻辑等值演算2学习目的本章主要涉及命题演算中两个重要内容之一:等值演算。
首先理解命题公式等值的含义,掌握构造真值表和不构造真值表两种方法证明等值式,熟练应用于命题公式的化简和范式表示基本内容z命题公式等值关系及其证明z联结词的全功能集z命题公式的范式表示等值关系基本概念等值的两种定义:z如果两个逻辑形式对其中的命题变项的任何取值,都具有相同的值,则称它们是相等的。
z A、B等值是指等价式A↔B为重言式,记为A⇔B。
可直接构造真值表证明两个命题形式的等值。
等值演算根据已知的等值式,可以推演出另外许多的等值式,这种推演过程称为等值演算。
这些已知等值式通常是经过证明了的常用等值式,其中许多是布尔代数或逻辑代数的主要组成部分,称为等值关系模式:(1) 双重否定律: A ⇔¬¬A(2) 等幂律:(2a) A ⇔ A∧A(2b) A ⇔ A∨A(3) 交换律:(3a) A∧B ⇔ B∧A(3b) A∨B ⇔ B∨A(3c) A∨B ⇔ B∨A(3d) A↔B ⇔ B↔A(4) 结合律:(4a) (A∧B)∧C ⇔ A∧(B∧C)(4b) (A∨B)∨C ⇔ A∨(B∨C)(4c) (A∨B) ∨C ⇔ A∨ (B∨C)(4d) (A↔B) ↔C ⇔ A↔ (B↔C)(5) 分配律:(5a) A∨(B∧C) ⇔ (A∨B)∧(A∨C)(5b) A∧(B∨C) ⇔ (A∧B)∨(A∧C)(5c) A∧(B∨C) ⇔ (A∧B) ∨ (A∧C)(6) 德•摩根律:(6a) ¬(A∧B) ⇔¬B∨¬A(6b) ¬(A∨B)⇔¬B∧¬A(7) 吸收律:(7a) A∨(A∧B)⇔A(7b) A∧(A∨B)⇔A(7c) A∨(¬A∧B)⇔A∨B(7d) A∧(¬A∨B)⇔A∧B(7e) (A∧B) ∨ (¬A∧C) ∨ (B∧C) ⇔ (A∧B) ∨ (¬A∧C) (8) 零律:(8a) A∨1 ⇔ 1(8b) A∧0 ⇔ 0(9) 同一律:(9a) A∨0 ⇔ A(9b) A∨0 ⇔ A(10)排中律:A∨¬A ⇔ 1(11)矛盾式:A∧¬A ⇔ 0(12)蕴涵等值式:A→B ⇔¬A∨B(13)等价等值式:(13a) A↔B ⇔ (A→B) ∧ (B→A)(13b) A↔B ⇔¬ (A∨B)(14)假言易位:A→B ⇔¬B→¬A(15)等价否定等值式:A↔B ⇔¬A↔¬B(16)否定等价等值式:¬ (A↔B) ⇔¬A↔B ⇔ A↔¬B(17)归谬律:(A→B) ∧ (A→¬B) ⇔¬A(18)输出律:(A∧B) → C ⇔ A → (B → C)(19) A ∨¬A ⇔ 0(20) A ∨ B ⇔ (A ∧¬B) ∨ (¬A ∧ B)通常在等值演算的过程中,还可以用到一些规则或定理:z置换规则设Φ是含有公式A的命题形式,Ψ是用公式B置换Φ中的公式A(不一定是每一处)而得到的命题形式,如果A ⇔ B,则Φ⇔Ψ。
电大离散数学(本)形考任务2知识讲解
离散数学集合论部分形成性考核书面作业本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握.本次形考书面作业是第一次作业,大家要认真及时地完成集合论部分的综合练习作业.要求:学生提交作业有以下三种方式可供选择:1. 可将此次作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完成作业后交给辅导教师批阅.2. 在线提交word文档3. 自备答题纸张,将答题过程手工书写,并拍照上传.一、填空题1.设集合{1,2,3},{1,2}A B==,P(A)-P(B )={{3},{1,3},{2,3},{1,2,3}},A⨯B={<1,1>,<1,2>,<2,1>,<2,2>,<3,1>,<3,2>} .2.设集合A有10个元素,那么A的幂集合P(A)的元素个数为1024 .3.设集合A={0, 1, 2, 3},B={2, 3, 4, 5},R是A到B的二元关系,∈xyR⋂<且=且>∈∈{B,,xAyAyBx}则R的有序对集合为{<2,2>,<2,3>,<3,2>,<3,3>}.4.设集合A={1, 2, 3, 4 },B={6, 8, 12},A到B的二元关系R=}yyx∈=<那么R-1={<6,3>,<8,4>}.>∈A2,x,,xy{B5.设集合A={a, b, c, d},A上的二元关系R={<a, b>, <b, a>, <b, c>, <c, d>},则R具有的性质是没有任何性质.6.设集合A={a, b, c, d},A上的二元关系R={<a, a >, <b, b>, <b, c>, <c, d>},若在R中再增加两个元素<c,b> <d,c> ,则新得到的关系就具有对称性.7.如果R1和R2是A上的自反关系,则R1∪R2,R1∩R2,R1-R2中自反关系有 2 个.8.设A={1, 2}上的二元关系为R={<x, y>|x∈A,y∈A, x+y =10},则R的自反闭包为<1,1>,<2,2> .9.设R是集合A上的等价关系,且1 , 2 , 3是A中的元素,则R中至少包含<1,1>,<2,2>,<3,3> 等元素.10.设A ={1,2},B ={a ,b },C ={3,4,5},从A 到B 的函数f ={<1, a >, <2, b >},从B 到C 的函数g ={< a ,4>, < b ,3>},则Ran(g ︒ f )= {<1,b>,<2,a>} .二、判断说明题(判断下列各题,并说明理由.)1.若集合A = {1,2,3}上的二元关系R ={<1, 1>,<2, 2>,<1, 2>},则 (1) R 是自反的关系; (2) R 是对称的关系.解:(1)错误。
最新电大《离散数学》形考作业任务01-07网考试题及答案-
最新电大《离散数学》形考作业任务01-07网考试题及答案:最新电大《离散数学》形考作业任务01-07网考试题及答案 100%通过考试说明:《离散数学》形考共有7个任务。
任务3、任务5、任务7是主观题,任务2、任务4、任务6是客观题,任务2、任务4、任务6需在考试中多次抽取试卷,直到出现02任务_0001或02任务_0009、04任务_0001或04任务_0009、06任务_0001或06任务_0009试卷,就可以按照该套试卷答案答题。
做考题时,利用本文档中的查找工具,把考题中的关键字输到查找工具的查找内容框内,就可迅速查找到该题答案。
本文库还有其他教学考一体化答案,敬请查看。
01任务一、单项选择题(共 8 道试题,共 80 分。
)1. 本课程的教学内容分为三个单元,其中第三单元的名称是(). A. 数理逻辑 B. 集合论 C. 图论 D. 谓词逻辑 2. 本课程的教学内容按知识点将各种学习资源和学习环节进行了有机组合,其中第2章关系与函数中的第3个知识点的名称是(). A. 函数 B. 关系的概念及其运算 C. 关系的性质与闭包运算 D. 几个重要关系 3. 本课程所有教学内容的电视视频讲解集中在VOD点播版块中,VOD点播版块中共有()讲. A. 18 B. 20 C. 19 D. 17 4. 本课程安排了7次形成性考核作业,第3次形成性考核作业的名称是(). A. 集合恒等式与等价关系的判定 B. 图论部分书面作业 C. 集合论部分书面作业 D. 网上学习问答 5. 课程学习平台左侧第1个版块名称是:(). A. 课程导学 B. 课程公告 C. 课程信息 D. 使用帮助 6. 课程学习平台右侧第5个版块名称是:(). A. 典型例题 B. 视频课堂 C. VOD点播 D. 常见问题7. “教学活动资料”版块是课程学习平台右侧的第()个版块. A. 6 B. 7 C. 8 D. 9 8. 课程学习平台中“课程复习”版块下,放有本课程历年考试试卷的栏目名称是:(). A. 复习指导 B. 视频 C. 课件 D. 自测二、作品题(共 1 道试题,共 20 分。
2019春季学期离散数学语音答疑提纲下(全书考试内容).docx
2019春季学期《离散数学》语音答疑提纲(下)本次语音答疑分两步完成。
第一,回答全书各部分问题。
第二,指出全书考试范围,并给出例题,加以分析。
一. 2019春季学期期末考题在参考书中内容的分配:集合论部分(共 40分)集合的基本概念及运算 (第三章, 2 选择题 ;共 4 分).关系及函数 (第四章, 4选择题 -2关系, 2函数 ;1综合 .共20分).群论 (第九章, 2题单选 ;1综合 .共16分).图论部分(共 30分)图,图-树关系 (第五,七章, 8选择题 -图 2,图 -树关系 6;1综合 .共30分).逻辑学部分(共 30分)逻辑学 (第一,二章, 8选择题( 7题命题逻辑) ;1综合 .共 30分).二.参考书第五版各章节考试范围内的知识点及例题第三章集合的基本概念和运算1.集合的基本概念要求掌握:集合与元素的关系—属于或不属于;(***)集合与集合间的关系—子集与集合叫包含,相互包含叫相等;子集为集合的元素时也叫属于关系。
例题 1: 设集合 A ={1,{2},a,4,3},则有 2 ∈A[非];单项选择题:例题 2: A,B,C 为任意集合,则他们的共同子集是[ D ] A. A;B. B;C. C;D.。
例题 3:设集合 A ={1, {2},a,4,3},下面命题为真是[ B ] A.2 ∈A;B.1 ∈ A;C. 5∈A;D. {2}A。
例题 4: 设集合 A ={1, {2},a,4,3},则有 2 () A。
此题为填空题 ,把 2 与集合 A 的关系填在 () 内.***** 请比较例题 1, 3, 4,那个最容易;那个最难! *****2.集合的基本运算重点掌握:,并运算的”或”,交运算的”且”字的意义 .五大基本运算定义的表达式。
例如例题: N, Z+分别是自然数集合 ,正整数集合 ,则[ C ] A. N=Z+ +{0}B.N=Z+ + 0C.N=Z+∪{0}D. N=Z+.∪ 0 .(第四章关系及函数1.关系的基本概念重点掌握:关系的定义,关系来自有序对,有序对来自集合的笛卡儿积;A 到B 的二元关系以及 A 上的二元关系的条件;2.关系的五大性质及其判断—难点在于传递性的判断。
2018秋季学期离散数学语音答疑提纲下(全书考试内容)
2018秋季学期《离散数学》语音答疑提纲(下)本次语音答疑分两步完成。
第一,回答全书各部分问题。
第二,指出全书考试范围,并给出例题,加以分析。
一.2018秋季学期期末考题在参考书中内容的分配:集合论部分(共40分)集合的基本概念及运算(第三章,2 选择题;共 4 分).关系及函数(第四章,4选择题-2关系,2函数;1综合.共20分).群论(第九章,2题单选;1综合.共16分).图论部分(共30分)图,图-树关系(第五,七章,8选择题-图2,图-树关系6;1综合.共30分).逻辑学部分(共30分)逻辑学(第一,二章,8选择题(7题命题逻辑);1综合.共 30分).二.参考书第五版各章节考试范围内的知识点及例题第三章集合的基本概念和运算1.集合的基本概念要求掌握:集合与元素的关系—属于或不属于;(***)集合与集合间的关系—子集与集合叫包含,相互包含叫相等;子集为集合的元素时也叫属于关系。
例题1: 设集合 A ={1,{2},a,4,3},则有 2 ∈A [ 非 ];单项选择题:例题2: A,B,C 为任意集合,则他们的共同子集是 [ D ] A.A;B.B;C.C;D.Ø。
例题3:设集合 A ={1,{2},a,4,3},下面命题为真是 [ B ] A.2 ∈A; B.1 ∈ A; C.5 ∈A; D.{2} A。
例题4: 设集合 A ={1,{2},a,4,3},则有 2 ()A。
***** 请比较例题1,3,4,那个最容易;那个最难?!*****2.集合的基本运算重点掌握:五大基本运算定义的表达式。
例如,并运算的”或”,交运算的”且”字的意义.例题:N, Z+分别是自然数集合,正整数集合,则[ C ] A.N=Z+ +{0} B.N=Z+ + 0 C.N=Z+∪{0} D.N=Z+.∪0 .第四章关系及函数1.关系的基本概念重点掌握:关系的定义,关系来自有序对,有序对来自集合的笛卡儿积;A 到B 的二元关系以及 A 上的二元关系的条件;2.关系的五大性质及其判断—难点在于传递性的判断。
北大计算机自考 教材及大纲
专业:计算机及应用(独立本科段)序号课程代码课程名称考核方式教材名称出版社版本作者考试大纲教材开始使用日期102324离散数学笔试离散数学机械工业出版社2014年版辛运帏有2015-01-01 204737C++程序设计笔试c++程序设计机械工业出版社2008年版刘振安有2008-11-01 302326操作系统笔试操作系统中国人民大学出版社2007年版谭耀铭有2008-11-01 402331数据结构笔试数据结构外语教学与研究出版社2012年版苏仕华有2012-02-01 502325计算机系统结构笔试计算机系统结构机械工业出版社2012年版李学干有2012-10-01 604735数据库系统原理笔试数据库系统原理经济科学出版社2007年版丁宝康有2008-11-01 702333软件工程笔试软件工程机械工业出版社2011年版王立福有2011-01-01 804741计算机网络原理笔试计算机网络原理经济科学出版社2007年版杨明福有2008-11-01 904747Java语言程序设计(一)笔试Java语言程序设计(一)机械工业出版社2008年版夏宽理有2008-11-01 1000015英语(二)笔试英语(二)自学教程外语教学与研究出版社2012年版张敬源 张虹有2013-05-011103684综合英语(四)非笔试新通用大学英语综合教程1高等教育出版社2006年版《新通用大学英语》项目组有查看2010-01-01新通用大学英语综合教程3高等教育出版社2007年版《新通用大学英语》项目组有查看2010-01-01新通用大学英语综合教程2高等教育出版社2007年版《新通用大学英语》项目组有查看2010-01-011200023高等数学(工本)笔试高等数学(工本)北京大学出版社2006年版陈兆斗 高 瑞有2008-11-01 1302197概率论与数理统计(二)笔试概率论与数理统计(二)辽宁大学出版社2006年版孙洪祥 柳金甫有2008-11-01 1403708中国近现代史纲要笔试中国近现代史纲要高等教育出版社2015年版李捷 王顺生有2015-05-01 1503709马克思主义基本原理概论笔试马克思主义基本原理概论北京大学出版社2015年版卫兴华 赵家祥有2015-05-01 1600342高级语言程序设计(一)★笔试高级语言程序设计经济科学出版社2007年版迟成文有2008-11-01 1702318计算机组成原理★笔试计算机组成原理经济科学出版社2005年版胡越明有2008-11-01备注: 标有★符号的课程为专科接考本科的加考课;标有■符号的课考试时间为120分钟;标有▲符号的课考试时间为165分钟。
《离散数学》答疑库
《离散数学》答疑库1、什么是计算学科?答:计算学科(Computing Science)即我们所熟悉的计算机科学与技术(Computer Science and Technology)。
计算学科是对描述和变换信息的算法过程,包括其理论、分析、设计、效率分析、实现和应用等进行的系统研究的一门学科。
它涉及计算过程的分析如可计算性、算法,研究有关计算机的各种现象、揭示其规律与本质如计算机的设计和使用、可计算性硬件和软件的实际实现问题。
计算学科的基本问题是能行与效率的问题,即它的核心问题是“能行”问题(Practicability):1)、什么是(实际)可计算的?什么是(实际)不可计算的?2)、如何保证计算的自动性、有效性及正确性?2、计算科学是一门什么样的学科?是计算机科学是科学还是工程学科?答:计算学科(通常也称作计算机科学与技术)作为现代技术的标志,已成为世界各国经济增长的主要动力。
但如何认识这门学科,它究竟属于理科还是工科,属于科学还是属于工程的范畴,这是困扰国内外计算机科学界很长时间且争论不休的问题。
计算学科诞生于20世纪40年代初,它的理论基础可以说在这之前就已经建立起来了。
正是电子数字计算机的问世才这一门学科的在发展。
世人一般公认1946年2月14日研制成功的ENIAC(电子数字积分器和计算器,Electronic Numerical Integrator and Calculator)是世界上第一台通用电子数字计算机(事实上,早在1943年,英国数学家图灵领导制造出了一台名叫“巨人”(Colossus)的电子计算机,它专门用于译码。
由于英国政府的保密制度,故人们对它的成就了解甚少。
)。
美国的普渡大学于1962年开设了最早的计算机科学学位课程。
在计算机产生之初及随后的一、二十年时间里,计算机主要用于数值计算。
大多数科学家认为使用计算机仅为编程问题,不需作任何深刻的科学思考,计算机从本质上说是一种职业而一门学科。
《离散数学》课程考试大纲
《离散数学》课程考试大纲一、考试对象本课程考试大纲适用于计算机科学与技术(含卓越工程师班)、信息管理与信息系统、信息安全、软件工程、网络工程、数字媒体技术专业的学生。
二、考试依据本课程考试大纲是以本课程的教学大纲和指定的教材为依据制定的。
本课程指定的教材为古天龙等主编的、清华大学出版社出版的《离散数学》。
三、考核知识点和考核要求第1章集合考核知识点:1.集合,元素,集合的表示,全集,空集2.集合的包含、相等,子集,幂集3.集合的并、交、补、差、对称差等运算及其运算律4.容斥原理考核要求:1.理解集合的概念,容斥原理.2.理解集合的包含、子集、相等和幂集等概念,熟练掌握集合的表示方法和集合的并、交、补、差和对称差等运算,会用文氏图表示集合的各种运算.3.掌握用集合运算基本等值式证明集合恒等式的方法.4.掌握利用容斥原理进行计数的方法.第2章关系考核知识点:1.有序对和笛卡儿积2.关系及其运算性质3.二元关系的矩阵与图4.复合关系与逆关系5.二元关系的性质6.等价关系与等价类7.偏序关系与哈斯图,极大(小)元,最大(小 )元,上(下)界,上确界,下确界考核要求:1.了解有序对和笛卡儿积的概念,掌握笛卡儿积的运算.2.理解关系的概念:包括二元关系、空关系、全关系、恒等关系.掌握关系的集合表示、关系矩阵和关系图,掌握关系的运算.3.掌握求复合关系和逆关系的方法.4.理解关系的性质(自反性和反自反性、对称性和反对称性、传递性),掌握其判别方法.5.理解等价关系和偏序关系概念,掌握等价关系、偏序关系的判定,掌握等价类、划分的求法和作偏序关系哈斯图的方法.知道极大(小)元,最大(小)元的概念,会求极大(小)元、最大(小)元、最小上界和最大下界.第3章函数考核知识点:函数、函数的逆运算、函数的复合运算单射、满射和双射考核要求:1.理解函数概念:函数,函数的复合运算和函数的逆运算.2.理解单射、满射和双射等概念,掌握其判别方法.第4章代数系统考核知识点:1. 运算、运算的封闭性2. 代数系统、子代数系统3. 交换律、结合律、分配律、吸收律、等幂律、消去律4. 等幂元、幺元、零元、逆元、可消去元5. 同构、同态、同态核、同态的基本性质考核要求:1. 掌握代数系统的基本概念:运算、运算的封闭性、交换律、结合律、分配律、吸收律、等幂律、消去律、等幂元、幺元、零元、逆元、可消去元.2. 理解代数系统、子代数系统的概念.3. 掌握同构、同态的定义及基本性质;理解同态核.第5章典型的代数系统考核知识点:1. 半群、子半群、独异点、子独异点、群、子群2. 元素的阶、群的阶、群的性质、子群的性质3. 交换群、生成元、循环群考核要求:1.掌握半群、子半群、独异点、子独异点、群、子群的定义及基本性质.2.掌握群的阶、元素的阶、生成元;掌握子群的判定方法.3.理解交换群的定义,掌握循环群的定义与性质.第6章图考核知识点:1. 图、简单图、完全图、子图、生成子图、导出子图2. 顶点的度数、握手定理、图的同构、通路、回路、图的连通性、图的操作、关联矩阵、邻接矩阵、可达矩阵、边权矩阵、赋权图、最短路径,Dijkstra算法3. 欧拉图、哈密顿图、二部图考核要求:1.掌握图的基本概念:图、简单图、完全图、子图、生成子图、导出子图的定义.2.掌握顶点的度数、握手定理的应用;掌握图的同构;掌握通路、回路、图的连通性的概念及基本性质.3.理解图的操作;掌握关联矩阵、邻接矩阵,理解可达矩阵、边权矩阵;掌握赋权图及最短路径的概念,掌握用Dijkstra算法求赋权图中的最短路径;掌握欧拉图、哈密顿图的定义及判定定理;理解二部图的定义及判定定理.第7章树考核知识点:1.无向树、赋权树、生成树、最小生成树、求最小生成树的算法、2.有向树、根树、有序树、根树的遍历、二叉树、最优树、前缀码、最佳前缀码、Huffman算法考核要求:1.掌握无向树的定义及性质;掌握赋权树、生成树、最小生成树的定义及求最小生成树的算法.2.掌握有向树的定义及性质;掌握根树、有序树的定义,理解根树的遍历;掌握二叉树的定义及性质;掌握最优树、前缀码、最佳前缀码的定义,Huffman算法及其应用.第8章命题逻辑考核知识点:1.命题与联结词(否定、析取、合取、蕴含、等价),真值与真值表2.命题公式的等值式与蕴涵式,等值演算3.析取范式、合取范式、极小(大)项,主析取范式、主合取范式的概念与求法4.命题逻辑的推理理论考核要求:1.理解命题联结词概念,掌握命题符号化及判断语句是不是命题的方法.2.熟练掌握求给定公式真值表的方法.3.掌握基本等值式以及用真值表法和等值演算法判别公式类型和公式等值的方法.4.了解析取(合取)范式概念,理解极小(大)项的概念和主析取(合取)范式概念,熟练掌握用基本等值式或真值表将公式化为主析取(合取)范式的方法.5.掌握命题逻辑推理的的直接证明方法与间接证明方法.第9章谓词逻辑考核知识点:1.谓词,量词,个体词,个体域,变元2.谓词公式的解释3.前束范式的概念与求法4.谓词公式的等值式与蕴涵式5.谓词逻辑的推理理论考核要求:1.理解谓词、量词、个体词、个体域、全域、原子公式、谓词公式和变元等概念.掌握谓词公式的符号化.2.掌握在有限个体域下消去公式的量词和求公式在给定解释下真值的方法.3.掌握谓词演算的等值式和重言蕴含式.4.了解前束范式的概念,会求谓词公式的前束范式的方法.5.了解谓词逻辑推理的规则,掌握谓词逻辑推理的证明方法.四、考核方式和时间采用闭卷、笔试形式。
2018年10月高等教育自学考试离散数学
2018年10月高等教育自学考试离散数学
高等教育自学考试离散数学考试主要涉及以下知识点:
1. 命题逻辑:理解命题、真值表、联结词等基本概念,掌握命题逻辑推理的基本规则。
2. 集合论:理解集合、元素、子集、并集、交集、补集等基本概念,掌握集合的基本运算和性质。
3. 图论:理解图、路径、连通性等基本概念,掌握图的表示、图的遍历、最小生成树等算法。
4. 离散概率论:理解离散概率空间、概率分布、条件概率等基本概念,掌握概率的基本运算和性质。
5. 组合数学:理解排列、组合、二项式系数等基本概念,掌握常见的组合恒等式和计数原理。
6. 离散概率论与组合数学的综合应用:理解离散概率论与组合数学在实际问题中的应用,如概率算法、随机游走等。
7. 离散数学在其他领域的应用:了解离散数学在计算机科学、物理学、社会科学等领域的应用。
考试形式包括选择题和非选择题,其中选择题需要使用2B铅笔将相应代码涂黑,非选择题需要考生用文字或符号等方式进行解答。
考试时间为150分钟,满分100分。
以上内容仅供参考,具体考试内容和形式以当年实际情况为准。
建议查阅离散数学考试大纲或咨询相关教育机构以获取更详细的信息。
07秋离散数学语音答疑提纲上
《离散数学》语音答疑提纲(上)课件内容共七章,分成三个部分:第一部分为集合论。
包括以下三章:第一章集合的基本概念和运算(参考书第三章)。
第二章二元关系(参考书第四章)。
第三章群论初步(参考书第五、六章)。
第二部分为图论。
包含以下两章:第四章图(参考书第七、八章)。
第五章树(参考书第九章)。
第三部分为逻辑推理理论。
包含以下两章:第六章命题逻辑(参考书第一章)。
第七章谓词逻辑(参考书第二章)第一次答疑在9月 ?号,回答第一部分各种问题;到 12月?号回答全书各部分问题。
为使同学思路开阔,问题深入,按照以下每章列出的要点,当语音答嶷时间开始后,每章提出 3 至 5 个典型问题,启发学生思考,回答。
到第二学时,把提出的所有问题,加以分析,并解答。
第一部分集合论部分第一章集合的基本概念和运算1.集合的基本概念.(1) 必须懂得集合的定义,因为集合定义带有任意性.所谓任意性,是说把什麼划在某集合内,要根据研究问题的需要.(2) 集合内的成员称为集合的元素,所以,一定要了解元素与集合的关系:属于或不属于.这个问题很具体,集合内的成员当然属于该集合.(3) 子集:子集的概念是通过元素与集合的关系来定义的.所以,必须弄懂元素与集合的关系这个最基本的概念.集合与集合的关系也是通过这个概念定义的.子集的概念帮助了解幂集的概念.(4) 一个 n 元集合 A 的所有 m 元子集的集合(m=0,1,2,….n),被称为集合 A的幂集,表示成 P(A).不要忽视:幂集的元素都是集合.以上四点必须弄懂.为此,请看下麻面例题:例题1:集合 A={1,3,{2},1,Z}.这里,-2 及 2 都不属于 A 而分别属于整数集合 Z 及{2}.而{2}包含于 A 也不对,因为集合{2}的元素 2 不在集合A 中.2.集合的基本运算.要求掌握集合运算定义的表达式的意义.例如:”并”运算的”或”;”交”运算的”且”等的意义.例题1:正整数集合及自然数集合分别为Z+,N,而 N = Z+ + 0 对吗 ?3.集合的特殊运算集合的特殊运算的特殊性在于中学时期没有接触过,是个新东西.运算的结果也是个新东西.运算结果的新集合的元素与原来集合的元素完全不同.设 A,B 为任意集合,且 A 与 B 不同.请看下面概要:1)集合的笛卡儿积:AxB = {有序对<x,y>,x 来自于A,y 来自于 B}.特别要注意方向性,也就是有序性.2)集合的映射: f:A→B,即给集合 A 照全身照片.还要注意单值性.3)集合的二元运算: f:A*A→A,即给 A*A 照全身照片.注意封闭性,即照片落在集合 A 内.第二章二元关系(简称关系)及函数部分的具体概念1.关系的定义:请注意书上定义中的一个”都”字.元素都是有序对的集合,起名叫”关系” .当然,没有元素的集合,叫空关系.2.关系的由来:来自与集合的笛卡儿积.3.关系的第二层定义:A 到 B 的二元关系.在没有联系的集合之间,建立起关系.具体来说,这里的关系定义,受到集合 A,B 的元素的限制.4.A 上的二元关系:当集合 A=B 时,关系定义过度到A 上的二元关系的定义.并没有新的概念.5.关系的运算:求域,求逆,没有难点.求合成才是难点.合成运算有两点必须记住:第一,合成分左右;第二,合成的实质(有两句话—寻找过河的桥.所谓桥即是书上的用语”过度元素 t”;过河拆桥.因为合成完了,依然产生一个新集合,即新二元关系,此时的过度元素,即桥,不就成了第三者了吗).6.关系的性质:难点在传递性的判断.一个集合关系可以有三种表示方法:表达式法;矩阵法;图法.所以,认识他的性质,也要从三个侧面入手.参考书上有一个关系性质表.不懂之处,让我们在课程论坛上单独讨论它.7.集合的映射—也是集合间的变换,函数1)函数的定义:满足单值性的二元关系.2)集合 A 到 B 的映射:给集合 A 的各个部分都照在底板胶片 B 上.所以叫B 上 A.如同说”B 上这个人是 A”.3)A 上 A:就是当集合 A,B 相等时.4)函数的合成运算:f(x)。
《离散数学》期末复习答疑网上教学文本活动
《离散数学》期末复习答疑网上教学文本活动孙继荣:同学们好,我们现在开始《离散数学》期末复习答疑活动。
孙继荣:欢迎同学们踊跃参加孙继荣:能否给出一两套模拟题?在本课程教学辅导栏目中有好几套模拟题。
指导书上也有一套模拟试题。
另外,除了模拟题以外,中央电大在线的网上也做了题库,可以自动生成试卷,大家可以去做。
孙继荣:关于期末考试期末考核实行全省统一考核,根据本课程考试说明,由四川电大统一命题,统一考核时间,制定统一评分标准.开办试点的地方电大组织考核。
期末考核的考核内容和要求以考核说明为准;采用闭卷笔试,试卷满分100分;时限120分钟。
本学期的结业考核由形成性考核和期末考核构成.形成性考核由平时作业成绩构成,占结业考核成绩的20%, 期末考核成绩占结业考核成绩的80%。
孙继荣:考试中有无画图题目?画图的题肯定是应该有的。
孙继荣:试题类型及分数1、单项选择题和填空题,分数约占25%。
解答与计算题,分数约占56%;证明题,分数约占19%。
2、考核试卷分数分布:数理逻辑约30分,集合论约30分,图论约25分,代数系统约15。
3. 易、中、较难题目在试卷中占的比例是4:4:2。
孙继荣:课程性质本课程主要有数理逻辑、集合论、图论、代数系统等内容,是一门理论性较强,应用性较广的课程。
因此,通过本课程的学习,使学生掌握离散数学的基本概念和基本原理,进一步提高抽象思维和逻辑推理的能力。
孙继荣:学习建议离散数学是理论性较强的学科,学习离散数学的关键是对离散数学(集合论、数理逻辑和图论)有关基本概念的准确掌握,对基本原理及基本运算的运用,并要多做练习。
孙继荣:第一章 集合 复习知识点1、集合、元素、集合的表示方法、子集、空集、全集、集合的包含、相等、幂集2、集合的交、并、差、补等运算及其运算律(交换律、结合律、分配律、吸收律、 De Morgan 律等),文氏(Venn )图3、序偶与迪卡尔积孙继荣:第一章 集合 复习要求1、理解集合、元素、子集、空集、全集、集合的包含、相等、幂集等基本概念。
08秋远程离散数学B答(08.12北大)
北京大学现代远程教育2008年秋季学期期末考试试卷B离散数学(603标准答案)专业及层次:教学中心:姓名:标准答案学号:注意事项:1、本试卷满分100 分,考试时间90 分钟;2、请将答案一律写在试卷空白处。
统分栏:一二三四五六七总分25 15 6 15 15 16 15 100一、选择题(4 个备选中只有 1 个正确,填入括号内。
每题 2.5 分,共25 分)1、下面命题为真的一个是(C)A.Ø∈Ø;B.Ø ∈{{Ø},a};C.Ø ⊆{{Ø}};D.Ø⊂Ø2、令p:经一堑;q:长一智。
命题’’只有经一堑,才能长一智’’ 符号化为[ B ]A.p→q;B.q→p;C.p∧q;D.﹁q→﹁p3、设集合 S ={N,Z,Q,R},下面命题为真的是 [ A ]A.N⊆Q,Q⊆R,则 N⊆R; B. -1∈Z,Z∈S,则 -1∈S ;C.N⊆Q,Q⊆R,则 N⊆S;D.1∈N,N∈S,则 1∈S 。
4、非平凡无向树 T 至少 t 片树叶 [ B ]A.t = 1; B.t = 2; C.t = 3; D.t = 4。
5、11 阶无向连通图 G 中有 17 条边,其任一棵生成树 T 中必有r条树枝 [ D ]A.r = 11; B.r = 17; C.r = 6; D.r = 106、任一个命题公式至少 x 个主析取范式 [ C ]A. x = 3;B. x = 2;C. x = 1;D. x = 0.7、命题”明天不下雨,也没有太阳,将是阴天。
”应符号化为[ A ]A.┐p∧┐q∧r。
B. p∧┐q∧r。
C.┐p∧q∧r。
D. p∧q∧r。
8、命题公式p 的主析取范式为[ B ]A.∑(0);B.∑(1);C.∏(0);D.∏(1).9、命题公式p∧┐q∧r 的主析取范式为[ B ]A. ∑(3);B. ∑(5);C. ∏(3,4,5);D.∏(5,6,7); .10、命题公式┐p 的主析取范式为[ A ]A. ∑(0);;B. ∑(1);;C.∏(0) ;D. ∏(1).二、判断下列各题的是非(每题2.5分,共25分)1、自然数N = {1,2,3,.....} + { 0 }。
北京大学网络教育学院2012年秋季学期语音答疑安排
任启明
李栋
张一琪
王复春
方宇惟
翁博
刘维刚
林浩锋
尚群
47
9月26日 周三
19:0021:00
国际贸易
48 49
9月27日 周四 9月27日 周四 9月28日 9月29日 9月30日 10月1日 10月2日 10月3日 10月4日 10月5日 10月6日 10月7日 周五 周六 周日 周一 周二 周三 周四 周五 周六 周日
19:0021:00 19:0021:00 不安排 学生上班 放假 放假 放假 放假 放假 放假 放假 放假
品牌研究 C++程序设计
2011秋季国经贸专业专升本 (专业必修课),2011秋季 金融学专业专升本(专业必 修课),2011秋季保险学专 业专升本(专业必修课), 2011秋季市场营销专业专升 本(限选),2011秋季财务 管理专业专升本(限选), 2012春季人力资源管理专业 专升本(限选) 2011秋季广告学专业专升本 (限选),2011春季广告学 专业专升本(限选) 2012春季计算机专业专升本 (专业必修课)
胡祖铨
6
9月12日 周三
19:0021:00
离散数学
2012春季计算机专业专升本 (专业必修课)
李占魁
7
9月13日 周四
19:0021:00
微观经济学
2012秋季国经贸专业专升本 (专业必修课),2012秋季 金融学专业专升本(专业必 修课),2012秋季保险学专 业专升本(专业必修课), 2012秋季市场营销专业专升 本(专业必修课),2012秋 季财务管理专业专升本(专 业必修课),2011秋季国经 贸专业高起本(专业必修 课),2011秋季市场营销专 业高起本(专业必修课)
远程离散数学题库答(08秋格式)北大
北京大学现代远程教育2008年秋季学期期末考试试卷A1.T为无向连通图G(m,n) 的一棵生成树,则对应T的基本回路数为(m-n+1)[ 是]2、每条边都是桥的无向连通图必是树。
[ 是]3、非平凡无向树 T 至少 1 片树叶 [ 非 ]4、11 阶无向连通图 G 中有 17 条边,其任一棵生成树 T 中必有6条树枝 [ 非 ]5、无向图G中有10条边,4个3度顶点,其余顶点度数全是2,共有 8 个顶点. [ 是]6、二元正则树有奇数个顶点。
[ 对 ]7、n(n ≥ 1)阶有向完全图都是有向欧拉图。
[ 对 ]8、无向连通图 G(m,n)的每一条边都可以成为他的某一生成树的树枝。
[ x ]9、边数 m 等于 n-1 的 n 阶无向图都是树。
[ x ]10、10 阶无向连通图G 有m 条边,则生成树T 对应的基本割集数目为9[]11.树T有m条边,n个顶点,则有n=m+1[是]12.(1,2,3,4,5,6)可以是一个图的顶点度数列[非]13.作为有向图中有向边始点的次数叫出度。
[ 是] 14.10 阶无向简单图 G 中有 6 个奇数度顶点,其补图中必有4个奇数度顶点 [是 ] 15.10、11 阶无向简单连通图 G 中,顶点间的最大距离是11 [ x ]11、11 条边的图 G 中,所有顶点的度数之和为22 [ ]12、11 阶无向简单图G中有 6个奇数度顶点,其补图中必有 5个奇数度顶点 [ x ]13、图G中2个3度顶点,3个4度顶点,4个5度顶点,则G中有18条边.[ ]14、10 阶无向连通图G 有m 条边,则生成树T 对应的基本割集数目为9。
[]15.边数 m 等于 n-1 的 n 阶无向图都是树。
[ X ]16.无向树的任何边都是桥。
[ ]17.无向连通图G(n,m)的每一棵生成树都有 n-1 条树枝。
[ ]18、无向连通图G(n,m)的每一条边都可以成为他的某一生成树的树枝。
离散数学教程-北大社
内容简介本书共分五编。
第一编为集合论,其中包括集合的基本概念、二元关系、函数、自然数、基数、序数。
第二编为图论,其中包括图的基本概念、图的连通性、欧拉图与哈密顿图、树、平面图、图的着色、图的矩阵表示、覆盖集、独立集、匹配、带权图及其应用。
第三编为代数结构,其中包括代数系统的基本概念、几个重要的代数系统:半群、群、环、域、格与布尔代数。
第四编为组合数学,其中包括组合存在性、组合计数、组合设计与编码以及组合最优化。
第五编为数理逻辑,其中包括命题逻辑、一阶谓词逻辑、Herbrand定理和直觉逻辑。
本书体系严谨、内容丰富、配有大量的例题和习题,并与计算机科学的理论与实践密切结合。
本书不仅适用于计算机及相关专业的本科生或研究生,也可供计算机专业的科技人员使用或参考。
目录第一编集合论第一章集合(1)1.1 预备知识(1)1.2 集合的概念及集合之间的关系(7)1.3 集合的运算(10)1.4 基本的集合恒等式(13)1.5 集合列的极限(17)习题一(20)第二章二元关系(23)2.1 有序对与卡氏积(23)2.2 二元关系(26)2.3 关系矩阵和关系图(32)2.4 关系的性质(34)2.5 二元关系的幂运算(37)2.6 关系的闭包(39)2.7 等价关系和划分(45)2.8 序关系(49)习题二(53)第三章函数(58)3.1 函数的基本概念(58)3.2 函数的性质(59)3.3 函数的合成(62)3.4 反函数(64)习题三(68)第四章自然数(70)4.1 自然数的定义(70)4.2 传递集合(74)4.3 自然数的运算(76)4.4 N上的序关系(78)习题四(80)第五章基数(势)(81)5.1 集合的等势(81)5.2 有穷集合与无穷集合(83)5.3 基数(84)5.4 基数的比较(85)5.5 基数运算(89)习题五(93)第六章序数(95)6.1 关于序关系的进一步讨论(95) 6.2 超限递归定理(97)6.3 序数(99)6.4 关于基数的进一步讨论(105)习题六(105)第二编图论第七章图(107)7.1 图的基本概念(107)7.2 通路与回路(119)7.3 无向图的连通性(121)7.4 无向图的连通度(123)7.5 有向图的连通性(129)习题七(130)第八章欧拉图与哈密顿图(132)8.1 欧拉图(132)8.2 哈密顿图(137)习题八(142)第九章树(144)9.1 无向树的定义及性质(144)9.2 生成树(146)9.3 环路空间(149)9.4 断集空间(151)9.5 根树(153)习题九(154)第十章图的矩阵表示(156)10.1 关联矩阵(156)10.2 邻接矩阵与相邻矩阵(159)习题十(163)第十一章平面图(165)11.1 平面图的基本概念(165)11.2 欧拉公式(168)11.3 平面图的判断(170)11.4 平面图的对偶图(172)11.5 外平面图(175)11.6 平面图与哈密顿图(177)习题十一(179)第十二章图的着色(180)12.1 点着色(180)12.2 色多项式(181)12.3 地图的着色与平面图的点着色(185)12.4 边着色(187)习题十二(189)第十三章支配集、覆盖集、独立集与匹配(190)13.1 支配集、点覆盖集、点独立集(190)13.2 边覆盖集与匹配(193)13.3 二部图中的匹配(198)习题十三(199)第十四章带权图及其应用(201)14.1 最短路径问题(201)14.2 关键路径问题(204)14.3 中国邮递员问题(206)14.4 最小生成树(208)14.5 最优树(213)14.6 货郎担问题(216)习题十四(220)第三编代数结构第十五章代数系统(222)15.1 二元运算及其性质(222)15.2 代数系统、子代数和积代数(227) 15.3 代数系统的同态与同构(230)15.4 同余关系和商代数(233)15.5 Σ代数(236)习题十五(237)第十六章半群与独异点(240)16.1 半群与独异点(240)16.2 有穷自动机(242)习题十六(247)第十七章群(249)17.1 群的定义和性质(249)17.2 子群(253)17.3 循环群(255)17.4 变换群和置换群(257)17.5 群的分解(263)17.6 正规子群和商群(269)17.7 群的同态与同构(272)17.8 群的直积(278)习题十七(281)第十八章环与域(285)18.1 环的定义和性质(285)18.2 子环、理想、商环和环同态(289) 18.3 有限域上的多项式环(294)习题十八(296)第十九章格与布尔代数(299)19.1 格的定义和性质(299)19.2 子格、格同态和格的直积(303)19.3 模格、分配格和有补格(307)19.4 布尔代数(311)习题十九(318)第四编组合数学第二十章组合存在性定理(322)20.1 鸽巢原理和Ramsey定理(322)20.2 相异代表系(331)习题二十(335)第二十一章基本的计数公式(337)21.1 两个计数原则(337)21.2 排列和组合(338)21.3 二项式定理与组合恒等式 (343)21.4 多项式定理(347)习题二十一(349)第二十二章组合计数方法(352)22.1 递推方程的公式解法(352)22.2 递推方程的其他解法(361)22.3 生成函数的定义和性质(370)22.4 生成函数与组合计数(375)22.5 指数生成函数与多重集的排列问题(384) 22.6 Catalan数与Stirling数(388)习题二十二(394)第二十三章组合计数定理(398)23.1 包含排斥原理(398)23.2 对称筛公式及应用(403)23.3 Burnside引理(410)23.4 Polya定理(414)习题二十三(420)第二十四章组合设计与编码(422)24.1 拉丁方(422)24.2 t设计(427)24.3 编码(436)24.4 编码与设计(446)习题二十四(449)第二十五章组合最优化问题(450)25.1 组合优化问题的一般概念 (450)25.2 网络的最大流问题(452)习题二十五(457)第五编数理逻辑第二十六章命题逻辑(458)26.1 形式系统(458)26.2 命题和联结词(461)26.3 命题形式和真值表(464)26.4 联结词的完全集(468)26.5 推理形式(471)26.6 命题演算的自然推理形式系统N(473)26.7 命题演算形式系统P(486)26.8 N与P的等价性(494)26.9 赋值(496)26.10 可靠性、和谐性与完备性 (505)习题二十六(507)第二十七章一阶谓词演算(511)27.1 一阶谓词演算的符号化(511)27.2 一阶语言(515)27.3 一阶谓词演算的自然推演形式系统N L(519) 27.4 一阶谓词演算的形式系统K L(530)27.5 N L与K L的等价性(534)27.6 K L的解释与赋值(536)27.7 K L的可靠性与和谐性(547)27.8 K L的完全性(551)习题二十七(558)第二十八章消解原理(562)28.1 命题公式的消解(562)28.2 Herbrand定理(567)28.3 代换与合一代换(572)28.4 一阶谓词公式的消解(576)习题二十八(581)第二十九章直觉主义逻辑(583)29.1 直觉主义逻辑的直观介绍(583)29.2 直觉主义的一阶谓词演算的自然推演形式系统(58 5)29.3 直觉主义一阶谓词演算形式系统IK L(594)29.4 直觉主义逻辑的克里普克(Kripke)语义(597)29.5 直觉主义逻辑的完备性(602)习题二十九(607)附录1 第一编与第二编符号注释与术语索引(608)附录2 第三编与第四编符号注释与术语索引(614)附录3 第五编符号注释与术语索引(620)参考书目和文献(624)05668本书共分4大部分,数理逻辑部分包括命题逻辑的基本概念、等值演算、范式与推理理论,一阶逻辑的基本概念、前束范式以及推理理论。
2019春季学期离散数学语音答疑提纲下
2019春季学期《离散数学》语音答疑提纲(下)本次语音答疑分两步完成。
第一,回答全书各部分问题。
第二,指出全书考试范围,并给出例题,加以分析。
一.2019春季学期期末考题在参考书中内容的分配:集合论部分(共40分)集合的基本概念及运算(第三章,2 选择题;共 4 分).关系及函数(第四章,4选择题-2关系,2函数;1综合.共20分).群论(第九章,2题单选;1综合.共16分).图论部分(共30分)图,图-树关系(第五,七章,8选择题-图2,图-树关系6;1综合.共30分).逻辑学部分(共30分)逻辑学(第一,二章,8选择题(7题命题逻辑);1综合.共30分).二.参考书第五版各章节考试范围内的知识点及例题第三章集合的基本概念和运算1.集合的基本概念要求掌握:集合与元素的关系—属于或不属于;(***)集合与集合间的关系—子集与集合叫包含,相互包含叫相等;子集为集合的元素时也叫属于关系。
例题1: 设集合 A ={1,{2},a,4,3},则有 2 ∈A [ 非];单项选择题:例题2: A,B,C 为任意集合,则他们的共同子集是[ D ] A.A;B.B;C.C;D.。
例题3:设集合 A ={1,{2},a,4,3},下面命题为真是[ B ] A.2 ∈A;B.1 ∈A;C.5 ∈A;D.{2} A。
例题4: 设集合 A ={1,{2},a,4,3},则有 2 ()A。
此题为填空题,把2 与集合A 的关系填在( ) 内.***** 请比较例题1,3,4,那个最容易;那个最难!*****2.集合的基本运算重点掌握:五大基本运算定义的表达式。
例如,并运算的”或”,交运算的”且”字的意义.例题:N, Z+分别是自然数集合,正整数集合,则[ C ] A.N=Z+ +{0} B.N=Z+ + 0 C.N=Z+∪{0} D.N=Z+.∪0 .(第四章关系及函数1.关系的基本概念重点掌握:关系的定义,关系来自有序对,有序对来自集合的笛卡儿积;A 到B 的二元关系以及A 上的二元关系的条件;2.关系的五大性质及其判断—难点在于传递性的判断。
离散数学形考任务1_7试题和答案完整版
2017年11月上交的离散数学形考任务一本课程的教学内容分为三个单元.其中第三单元的名称是( A ).选择一项:A. 数理逻辑B. 集合论C. 图论D. 谓词逻辑题目2答案已保存满分10.00标记题目题干本课程的教学内容按知识点将各种学习资源和学习环节进行了有机组合.其中第2章关系与函数中的第3个知识点的名称是( D ).选择一项:A. 函数B. 关系的概念及其运算C. 关系的性质与闭包运算D. 几个重要关系题目3答案已保存满分10.00标记题目题干本课程所有教学内容的电视视频讲解集中在VOD点播版块中.VOD点播版块中共有(B)讲.选择一项:A. 18B. 20C. 19D. 17题目4答案已保存满分10.00标记题目题干本课程安排了7次形成性考核作业.第3次形成性考核作业的名称是(C).选择一项:A. 集合恒等式与等价关系的判定B. 图论部分书面作业C. 集合论部分书面作业D. 网上学习问答题目5答案已保存满分10.00标记题目题干课程学习平台左侧第1个版块名称是:(C).选择一项:A. 课程导学B. 课程公告C. 课程信息D. 使用帮助题目6答案已保存满分10.00标记题目题干课程学习平台右侧第5个版块名称是:(D).选择一项:A. 典型例题B. 视频课堂C. VOD点播D. 常见问题题目7答案已保存满分10.00标记题目题干“教学活动资料”版块是课程学习平台右侧的第( A )个版块.选择一项:A. 6B. 7C. 8D. 9题目8答案已保存满分10.00标记题目题干课程学习平台中“课程复习”版块下.放有本课程历年考试试卷的栏目名称是:(D ).选择一项:A. 复习指导B. 视频C. 课件D. 自测请您按照课程导学与章节导学中安排学习进度、学习目标和学习方法设计自己的学习计划.学习计划应该包括:课程性质和目标(参考教学大纲)、学习内容、考核方式.以及自己的学习安排.字数要求在100—500字.完成后在下列文本框中提交.解答:学习计划学习离散数学任务目标:其一是通过学习离散数学.使学生了解和掌握在后续课程中要直接用到的一些数学概念和基本原理.掌握计算机中常用的科学论证方法.为后续课程的学习奠定一个良好的数学基础;其二是在离散数学的学习过程中.培养自学能力、抽象思维能力和逻辑推理能力.解决实际问题的能力.以提高专业理论水平。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
2013秋季学期《离散数学》语音答疑提纲(下)一.2013秋期末考题在参考书中内容的分配:集合论(第三章,3选择题;共 6 分).关系及函数(第四章,4选择-2关系,2函数;1综合.共20分).群论(第五,六章,2题单选;1综合.共16分).图,图-树关系(第七,九章,9是非题-图2,图-树关系7;1综合.共30分).逻辑学(第一,二章,8填空题(7题命题逻辑);1综合.共 28分).二.各章节考试范围内的知识点及例题第一章集合的基本概念和运算1.集合的基本概念要求掌握:集合与元素的关系—属于或不属于;(***)集合与集合间的关系—子集与集合叫包含,相互包含叫相等;子集为集合的元素时也叫属于关系。
例题1: 设集合 A ={1,{2},a,4,3},则有 2 ∈A [ 非 ];例题2: A,B,C 为任意集合,则他们的共同子集是 [ D ]A.A;B.B;C.C;D.Ø。
例题3:单项选择题设集合 A ={1,{2},a,4,3},下面命题为真是 [ B ]A.2 ∈A; B.1 ∈ A; C.5 ∈A; D.{2} A。
2.集合的基本运算重点掌握:五大基本运算定义的表达式。
例如,并运算的”或”,交运算的”且”字的意义.例题:N, Z+分别是自然数集合,正整数集合,则[ C ]A.N=Z+ +{0} B.N=Z+ + 0 C.N=Z+∪{0} D.N=Z+.∪0 .第二章关系及函数1.关系的基本概念重点掌握:关系的定义,关系来自有序对,有序对来自集合的笛卡儿积;A 到B 的二元关系以及 A 上的二元关系的条件;2.关系的五大性质及其判断—难点在于传递性的判断。
重点掌握:五大性质的判别方式;当然,难点在于传递性的判断。
量变引起质变的示例:等价关系—同时具备自反、对称、传递性质;等价类,商集与划分的对应性。
例题 1、设 A = {1,2,3},A 上的关系 R = {〈1,3〉,〈3,1〉}∪I A,试求:1)给出 R 的关系图。
2 说明:每个顶点都有圈;1 到 3及 3 到 1 各有一条有向线。
2)由关系图说明 R 的性质。
自反,对称,传递。
3)给出商集 A/R 的表达式及所有元素。
A/R = {{1,3},{2}}4)给出商集 A/R 所对应的划分∏。
∏={{1,3},{2}}试问:你能悟出等价关系或商集与划分的关系吗?!例题2、设 A = {a,b},B = {1,2},A 到 B 的双射函数的数目是 4 个[ 非]。
例题3、设函数f:N→N,f(n)=2n+1,N为自然数集合,则函数性质为[A]A.只为单射B.只为满射C.双射D.A,B,C都不是..3.关系及函数的运算重点掌握:求域;求逆;合成运算是难点-请看专题讨论。
例题1: 设f(x)=x+1,g(x)=x-1都是从实数集合R到R的函数,则f。
g=[ D ] A.x+1;B.x-1;C.x2 ;D.x。
第三章群论初步1.代数系统的基本概念重点掌握:二元运算必须是函数;定义了二元运算的集合既是代数系统,代数系统的封闭性;代数系统中二元运算满足结合律算律的重要意义;2.代数系统中的特殊元素与半群、独异点及群的联系重点掌握:代数系统中结合律算律与半群的关系—半群的判别;半群中的幺元—独异点,每个元素都有其逆元的独异点为群。
例题1: 自然数N 与其上的普通加法+ 构成的代数系统〈N,+〉是[ C ] A.只是代数系统;B.半群;C.含幺半群;D.群.例题 2、设 Z 为整数集合,在 Z 上定义二元运算 *,对于所有 x,y ∈Z 都有 x * y = x + y ;验证〈Z,*〉能否构成代数系统?何种代数系统?为什麽?要求有根据地回答:1、满足封闭性,构成代数系统。
2、经验证满足结合律,所以为半群。
3、幺元为 0,所以为幺半群。
(经解联立方程组).4、设 y 是 x 的逆,所以有 y = – x 。
(解联立方程组得到)5、结论:构成群。
例题 3、设 Z 为整数集合,在 Z 上定义二元运算 *,对于所有 x,y ∈Z 都有 x * y = x + y - 2;验证〈Z,*〉能否构成代数系统?何种代数系统?为什麽?要求有根据地回答:1、满足封闭性,构成代数系统。
2、经验证满足结合律,所以为半群。
3、幺元为 2,所以为幺半群。
(经解联立方程组).4、设 y 是 x 的逆,所以有 y =4 – x 。
(解联立方程组得到)5、结论:构成群。
例题2、设 Z 为整数集合,在 Z 上定义二元运算 *,对于所有 x,y ∈Z 都有 x * y = x + y + 2;验证〈Z,*〉能否构成代数系统?何种代数系统?为什麽?要求有根据地回答:1、满足封闭性,构成代数系统。
2、经验证满足结合律,所以为半群。
3、幺元为 -2,所以为幺半群。
(经解联立方程组).4、设 y 是 x 的逆,所以有 y = -4 – x 。
(解联立方程组得到)5、结论:构成群。
试问:-4的逆为何?你能说明白吗?!另,x * y = x + y 改成 x * y = x – y 你会解码?!第四章图论1.图的基本概念重点掌握:阶的概念;度的概念:握手定理—度数之和 = 2 倍边;握手定理应用—图这一章的所有计算题的理论依据。
2.图的分割重点掌握:割集概念—注意割点或桥的特点。
请留心割集与基本割集的联系。
母图与子图—引出生成图与导出图概念的差别;***** 请留心把图切割成树概念:那种图才有生成树;无向图如何切割成无向树,即下面提到的图树关系 *****第五章树1.树的基本概念重点掌握:定义—连通而无回路,m = n - 1;生成树—引出树枝、弦、基本回路、基本割集概念。
2.根树重点掌握:根树的来源及特点定义;最优二元树及最佳前缀码。
特别要求:必须掌握图----树关系.例题1: 每条边都是桥的无向连通图必是树。
[ 是]例题2、n 阶无向连通图G有m 条边,T为G 的一棵生成树,则G对应T的基本回路数目为[ D ]A.n ;B.n-1 ;C.m-n;D.m-n+1。
例题3、非平凡无向树T 是连通图[ 是]。
例题4、根树中的树叶都在树的最高层。
[ 非 ]例题5、填空题:(1)n 阶非平凡无向树至少两片树叶。
(2)、图G(m,n)的阶数n 为10,则其生成树的边数为9 。
例题6、在网上传输 GOODBYE 的最佳前缀码。
每个字母出现频率分别为:G、D、B、E、Y:14%,O:28%;(可以对符号出现频率归一,如下图右;也可以不归一,某符号出现次数即为权,下图左).。
100(近似) 7.42。
56 3. .428。
28。
28 2. .1 .2 .2。
14 。
. . . .14 14 14 14 1 1 1 1所以,得到编码如下:G(000),D(001),B(100),E(101),Y(01),O(11)。
试问:你能算出传递GOODBYE共用多少位二进制码字?第六章命题逻辑1.基本概念重点掌握:命题—命题定义及简单命题;5 个基本联结词 + 简单命题 = 复合命题;简单命题的符号化;2.命题公式及其规范形式重点掌握:公式的赋值—成真、成假赋值,真值表—公式的类型;范式及主范式—析取范式与合取范式;主范式中极小项与极大项关系。
例题1、命题公式﹃p→q的类型是(可满足)式.例题2、命题公式﹃q 的主合取范式为(∏( 1 ) )3.推理理论重点掌握:定义推理正确—蕴涵式的永真式;构造证明法—八大推理定律中的第 3 条;推理技巧—附加前提法。
例题(证明题):请在合适的逻辑中构造下面论题的证明。
例1)如果今天下雨,则明天不上体育课。
今天下雨了。
所以,明天没有上体育课。
首先将原子命题符号化,然后,按题意将原子命题组织成前提及结论。
前提:(p→﹃q),p;结论:﹃q;证明:(1)(p→﹃q)前提引入(2) p 前提引入(3)(p→﹃q)∧p (1)(2)假言推理(4)﹃q扣题:要证明的结论与证明结果一致,所以推理正确。
例2)若他学计算机专业,他必定学好离散数学。
若他不是学英语的,他必是学计算机的。
他没有学好离散数学。
所以他是学英语的。
(1)设:p:他学计算机;q:他学好离散数学;r:他学英语。
(2)前提:p→q,﹃r→p,﹃q。
(3)结论:r。
(4)证明:引入前提 p→q,﹃q 后,利用公式”拒取式”得到﹃p,再引入前提﹃r→p,利用”拒取式”公式,得到结果:r。
(5)扣题:证明结果与要证明的结论一致,推理正确。
第七章谓词逻辑1.基本概念重点掌握:命题逻辑的致命缺点;谓词逻辑的改进—句子成分的展示:主语(个体词、域);定语(量词);表达主语的性质—谓词;谓词逻辑中符号化问题:特性谓词的引入;个体域—谓词—量词—联结词的搭配。
2.合式公式及其真值重点掌握:项中函数形式;合式公式的原子单元—谓词公式;谓词公式的解释及其真值:解释—永真式,矛盾式,可满足式;代换实例。
3.谓词逻辑中推理理论及其局限性重点掌握:谓词逻辑中的构造证明法与命题逻辑中的构造证明法的联系与区别;例题、填空题将一阶命题“每个人都有一死” 符号化,使用特性谓词F(x):x 是人。
G(x):x 会死;最后符号化为: x(F(x)→G(x))。
2013年11月。