开放教育本科《离散数学》课程教学实施细则.docVIP

开放教育本科《离散数学2012年2月修订 《离散数学 《离散数学》课程是中央广播电视大学开放本科计算机科学与技术专业的一门基础本课程是一门理论性较强的课程，要求在完成基础知识教学任务的同时，通过适当的实际应用的介绍，提高学生的实际应用能力的培养。通过本课程的学习，使学生具有现代数学的观点和方法，并初步掌握处理离散结构所必须的描述工具和方法。同时，也要培养学生抽象思维和慎密概括的能力，使学生具有良好的开拓专业理论的素质和使用所学知识，分析和解决实际问题的能力，为学生以后学习计算机基础理论与专业课程打下良好的基础。㈡ 教学目的 通过本课程的学习，使学生1．了解离散数学的主要组成部分，各个部分所涉及的基本内容，及其在计算机科学与技术领域中的应用； 2理解离散数学的的基本概念、结论、算法、应用方法及适用范围； 3掌握离散数学的的基本推理与证明过程、基本算法及应用方法。 按照教学大纲和教材的体系结构，本课程的主要内容分为三个部分： 1．第一部分（第1～2章）是介绍集合的基本概念与集合的运算；介绍关系与函数的概念、关系的性质等；介绍图的基本概念与结论、图的矩阵表示；介绍欧拉图、汉密尔顿图与平面图的概念及判定方法、图的着色；介绍树的定义及性质、最小生成树的概念与求解算法、最优树的概念与求解算法等；命题的概念、命题公式的解释、范式的概念与求法、命题演算的推理理论；介绍谓词的概念、谓词公式的解释、谓词演算的推理理论。㈡ 各章节教学要求 第一部分 集合论 1．集合集合的概念容斥原理2．关系与函数 第二部分 图论 图的基本概念与性质 图的概念与表示，有向图、无向图、度，图同构，子图、补图，路与回路的概念几种特殊图树及其应用 第三部分 数理逻辑 命题逻辑 谓词逻辑 主教材采用的是由课程教学实施细 网络教学平台是一个包括网络授课、网上师生交流、网上作业、网上自学、网络考试、以及质量评估等多种服务在内的综合教学服务支持系统。它能为学生提供实时和非实时的教学辅导服务。 本课程的网络教学平台建在“电大在线”上，进入路径为重庆电大主页（）——在线学习——输入用户名、密码——点击下拉式菜单选择专业——勾选课程——点击保存选课——在左栏选择课程进行学习。 2．面授辅导平台。各分校均设有本课程的面授辅导课。 五、课程教、学、考一体化设计 (一)教与学的基本要求 在教学过程中要合理安排学时，一般情况下，宜安排总学时的30%左右为自主学习时间，总学时的40%左右为教学辅导时间，总学时的30%左右时间用于形成性考核作业、自测、复习等环节。 (二)教与学方式建议与要求 1．个别化学习。个别化学习是指学生在具备网络环境的基础上自己确定学习方式、自己管理学习过程，完成学习任务。对个别化自主学习者，各分校应要求： (1) 在教师指导下制定个人学习计划； (2) 从个人实际出发，确定适当的学习方式、学习媒体、学习时间和地点； (3) 充分利用学校提供的学习支持服务，进行自学，并参与小组学习和集中辅导； (4) 积极参加网上讨论、电话答疑等交互式教学活动； (5) 遵守学习纪律，按时完成各阶段的学习任务和形成性考核； (6) 及时进行学习小结。 2．协作学习。协作学习是指学习者以小组形式通过交互活动共同完成学习任务。由于本课程有一定的学习难度，完全自学很难达到预定教学目的，协作学习是比较适合学习者选择的方式。各分校应要求通过协作方式完成学习任务的同学做到： (1) 组建学习小组，确定活动方式，制定小组学习计划； (2) 按计划采取在线或非在线方式，实时或非实时地开展小组学习活动； (3) 按时完成各阶段学习任务； (4) 及时反馈教学信息。 3．集中化学习。集中化学习主要解决带共同性的学习问题，方式有双向视频辅导、面授辅导。时间根据课程学习需要各试点单位具体特点，主要安排在晚上、周末或月末进行。 (四)课程考核方式及要求 本课程的考核有形成性考核和终结性考核两种形式，获得学分的合格成绩由形成性考核成绩和终结性考核成绩构成，其中，形成性考核成绩占总成绩的30%，终结性考核成绩占总成绩的70%。 1．形成性考核作业 ⑴方式 形成性考核全部通过网上进行，主要有网上学习指南、学习讨论、在线作业、离线作业和书面作业等形式。 ⑵内容 形成性考核共9次作业，具体安排如下： (a)网上学习指南，学生做一份问卷集合恒等式与等价关系的判定（线下作业、单个文件上传）集合论部分综合性作业（书面） (d)图的矩阵表示及计算（线下作业、单个文件上传）平面图的概念及性质（实时讨论，分隔小组）树的性质及最小生成树的算法（实时讨论，分隔小组） (g)图论部分综合性作业（书面） (h)命题公式的解释（实时在线完成作业、非实时的分组互评价） (i)数理逻辑部分综合性作业（书面）记分方法每次满分100分，形成性考核成绩为