中央电大形成性测评离散数学任务列表及答案.doc

中央电大形成性测评离散数学任务列表及答案
01任务
一、单项选择题(共 8 道试题,共 80 分。)    得分:60
1.  本课程的教学内容分为三个单元,其中第三单元的名称是( A ).
A. 数理逻辑
B. 集合论
C. 图论
D. 谓词逻辑
正确答案:A      满分:10  分
2.  本课程的教学内容按知识点将各种学习资源和学习环节进行了有机组合,其中第2章关系与函数中的第3个知识点的名称是( D ).
A. 函数
B. 关系的概念及其运算
C. 关系的性质与闭包运算
D. 几个重要关系
正确答案:D      满分:10  分
3.  本课程所有教学内容的电视视频讲解集中在VOD点播版块中,VOD点播版块中共有( B )讲.
A. 18
B. 20
C. 19
D. 17
正确答案:B      满分:10  分
4.  本课程安排了7次形成性考核作业,第3次形成性考核作业的名称是( C ).
A. 集合恒等式与等价关系的判定
B. 图论部分书面作业
C. 集合论部分书面作业
D. 网上学习问答
正确答案:C      满分:10  分
5.  课程学台左侧第1个版块名称是:( C ).
A. 课程导学
B. 课程公告
C. 课程信息
D. 使用帮助
正确答案:C      满分:10  分
6.  课程学台右侧第5个版块名称是:( D ).
A. 典型例题
B. 视频课堂
C. VOD点播
D. 常见问题
正确答案:D      满分:10  分
7.  “教学活动资料”版块是课程学台右侧的第( B )个版块.
A. 6
B. 7
C. 8
D. 9
正确答案:A      满分:10  分
8.  课程学台中“课程复习”版块下,放有本课程历年考试试卷的栏目名称是:( D ).
A. 复习指导
B. 视频
C. 课件
D. 自测
正确答案:D      满分:10  分
《离散数学》课程教学大纲

一、课程编号:
二、适用专业和层次
专业:计算机科学与技术专业(函授)。
层次:本科。
三、教学目标
学习离散数学不仅为后续课程作必要的理论准备,而且其课程内容中所提供的一些把科学理论应用于实践的范例,可以培养学生逐步增强如何实施“科学理论---技术---生产力”转化的观念和方法,提高学生在知识经济时代中的适应能力。同时本课程在培养学生的创新能力,提高学生的科研素质方面都有着重要作用。在计算机科学教学中,离散数学主要是为专业服务的基础理论课,是一门概念较多、理论性较强,应用性较广的课程。本课程主要教授数理逻辑、集合论、代数系统、图论方面的基础知识,是计算机科学教学中一些后续课程学习的基础和工具。通过本课程的学习,要使学生掌握离散数学的基本概念和基本原理,以现代数学的观点和方法,初步掌握处理离散结构所必须的描述工具和方法。同时,也要培养学生抽象思维、慎密概括、逻辑推理的能力,从而使学生具有良好的开拓专业理论的素质和使用所学知识,分析和解决实际问题的能力。
四、学时分配
章次标题学时
自学面授
1 数理逻辑 12 6
2 集合论 20 10
3 代数系统 20 10
4 图论 12 6
合计 64 32

五、学分
4学分。
六、教学内容
第1章数理逻辑
(一)教学目的
数理逻辑是用数学方法来研究推理规律的方法。本篇介绍数理逻辑最基本的内容:命题逻辑和谓词逻辑,是后续相关课程学习的工具。
通过本章学习,要求学生熟悉真值表及其应用,熟悉命题和谓词的概念;熟悉命题公式和谓词公式的演算;掌握命题的公式符号化应用;领会推理理论及其规则;掌握推理演算方法
(二)教学重点
命题与联结词,真值表,主析取(合取)范式,命题演算的推理理论。
谓词与量词,前束范式,命题符号化,谓词逻辑的推理理论。
(三)教学难点
主析取(合取)范式,命题演算的推理方法,前束范式,谓词逻辑的推理理论。命题符号化的方法。
(四)教学内容
第一章命题逻辑
1、命题与联结词
2、命题公式及其分类
3、等值演算
4、主析取范式与主和取范式
5、命题逻辑的推理理论
第二章谓词逻辑
1、谓词的概念与表示
2、谓词公式与解释
3、谓词公式的等值式
4、谓词演算的推理理论

第2章集合、关系与影射
(一)教学目的
集合论是现代各学科的基础。通过学习集合论的基础知识,以作为后续相关课程学习的工具。
要求学生熟悉集合的概念、性质及其运算。
通过研究集合内元素之间的关系和集合之间元素的关系,要求领会集合上关系的概念、性质;以及集合上的特殊关系----