2014年中央电大形成性测评离散数学任务列表及答案[精品].doc

中央电大形成性测评离散数学任务列表及答案 01任务 一、单项选择题（共?8?道试题，共?80?分。）????得分：60 1.?? ）． 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.?? ）． 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章 集合、关系与影射 （一）教学目的 集合论是现代各学科的基础。通过学习集合论的基础知识，以作为后续相关课程学习的工具。 要求学生熟悉集合的概念、性质及其运算。 通过研究集合内元素之间的关系和集合之间元素的关系，要求领会集合上关系的概念、性质；以及集合上的特殊关系----映射的概念。 （二）教学重点 集合概念、集合的运算、集合恒等式的证明，笛卡尔乘积；关系概念及性质，等价关系和偏序关系，映射。 （三）教学难点 二元关系概念，关系闭包概念，等价类、划分及商集。 （四）教学内容 第三章　　集合与关系 1、集合的基本概念与表示法 2、集合的运算 3、序偶与笛卡尔积 4、关系及其表示 5、关系的性质 6、复合关系和逆关系 7、关系的闭包运算 8、集合的划分与覆盖 9、等价关系与等价类 10、偏序关系 第四章　　函数