离散数学软件课程试验教学大纲课程名称：离散数学软件英文.DOC

《离散数学（软件）》课程实验教学大纲 课程名称：离散数学（软件） 英文名称：Discrete Mathematics (Software) 课程编号：48234 实验课性质：必修 课程负责人：尹爱华 开放实验项目数：3 大纲主撰人：赵晓平 大纲审核人：尹爱华 一、学时、学分 课程总学时：48 实验学时：16 课程总学分：4 实验学分：1 二、适用专业及年级 软件工程、网络工程专业2年级 三、实验教学目的与基本要求 通过系统地上机实践，力求能够达到以下四个目的： （1）通过课程设计的综合训练，培养学生分析解决实际问题和编程等实际动手能力，最终目标是想通过这种形式，帮组学生系统掌握数据结构这门课的主要内容和提高软件系统开发能力。 （2）结合实际应用的需求，使课程设计既覆盖教学所要求的知识点，又接近工程的实际需要。通过实践激发学生学习兴趣，调动学习的积极性，并引导他们根据实际问题的需求，训练自己分析实际问题和解决问题以及编程的能力。 （3）通过详细的实例分析，循序渐进的描述，启发学生顺利地完成设计。课程设计将设计要求、需求分析、算法设计、编程和实例测试运行分开，为学生创造分析问题、独立思考的条件。 （4）有些课程设计提出了一些需要改进或需要完善的要求，供有兴趣的学生来扩展自己的设计思路，更进一步提高自己的能力和水平。 对学生上机实验提出以下要求： （1）上机实验之前，学生应当为每次上机的内容作好充分准备。对每次上机需要完成的题目进行认真的分析，列出实验具体步骤，写出符合题目要求的程序清单，准备出调试程序使用的数据，以便提高上机实验的效率。 （2）按照实验目的和实验内容以及思考题的要求进行上机操作。录入程序，编译调试，反复修改，直到使程序正常运行，得出正确的输出结果为止。 （3）根据实验结果，写出实验报告。实验报告应当包括：实验题目，需求分析，概要设计，详细设计，调试分析和运行结果等内容。 面向离散数学在计算机中的应用，通过实验操作，使学生掌握研究计算机科学的基础理论，进一步提高学生的抽象思维与逻辑推理能力，增强实际应用能力。 通过实验实践内容的训练，突出逻辑性思维训练的特征 , 目的是提高学生学习的兴趣及实际动手的能力。 为了帮助学生更好地学习本课程，理解和掌握所学基本概念和方法，为整个专业学习打好基础，要求运用所学知识，上机解决一些典型问题。 熟练掌握等价式、永真式的判定和证明，掌握真值表技术等。 熟练掌握一阶逻辑的基本理论及应用。 熟练掌握有关集合运算等重点内容。 熟练掌握等价关系、相容关系、关系的有关运算的重点内容。 熟练掌握代数系统的一般概念、群、环、域、格和布尔代数等重点内容。 熟练掌握图论的 dijkstra 算法、 floyd 算法等图的经典算法及有关内容。 通过分析、设计、编码、调试等各环节的训练，使学生深刻理解、牢固掌握所学知识，培养分析、解决实际问题的能力。 四、主要仪器设备及消耗品 计算机：每人一台。 五、实验课程内容和学时分配 序号 实验项目名称 实验 分值 实验 时数 每组 人数 实验 属性 实验 要求 实验 类别 内容提要 １ 约瑟夫环 6 4 1 专业类 必做 验证性 熟悉单循环链表的基本算法 ２ 实验室设备管理系统 8 8 1 专业类 必做 验证性 熟悉链表的基本算法 ３ 算术表达式求值 8 8 1 专业类 必做 验证性 熟悉栈和队列的基本算法 ４ 文学研究助手 8 8 1 专业类 必做 验证性 模式匹配算法的应用 ５ 哈夫曼编码/译码器 10 8 1 专业类 必做 验证性 哈夫曼编码算法的应用 ６ 校园导游咨询 10 8 1 专业类 必做 验证性 图基本算法的应用 ７ 内部排序算法比较 15 8 1 专业类 必做 验证性 熟悉各种内部排序算法 ８ 航空客运订票系统 15 8 1 专业类 必做 设计性 系统分析，综合运用各种算法 逻辑运算 4 操作 逻辑运算、逻辑推理 递推与递归 4 操作 递推与递归定义、推理与应用 最短路问题 4 设计 最短路算法及应用 树与排序 2 操作 树的性质、冒泡排序 排列组合 3 设计 排列组合、二项式系数 课程实验共 18 学时，要求完成以下六个题目： 实习一 命题逻辑综合练习（ 3 学时）: 证明等价公式的算法实现；永真式的判定算法；构造任意真值表的算法。 实习二 谓词逻辑综合练习（ 3 学时）: 谓词公式永真式证明 ( 特定 E) ；小型