离散数学实验大纲-luo
- 格式：doc
- 大小：39.00 KB
- 文档页数：2
《离散数学》课程实验教学大纲
一、实验课程的性质、目的和任务
性质：本实验课程是计算机及相关专业的学科基础课课，该实验是理论课程的课内上机实验环节。
目的：《离散数学》课程以培养学生的逻辑思维能力、推理能力为主要目的，通过给学生设置一定数量的上机实验，使学生通过运用高级语言编程实现和离散数学理论知识相关的若干程序，加深对课内所学基本理论内容的理解和掌握，并进一步提高学生的编程能力。
任务：通过实验，使学生掌握与离散数学理论相关的编程实现思想和方法，重点掌握命题逻辑中合式公式的主析取范式以及主合取范式的真值表求取法、集合论中二元关系性质的判定、偏序关系中盖住关系的求取、有补格的判定以及图论中欧拉路的判定。
二、实验内容、学时分配及基本要求
序号 实验项
目名称 学时 实验内容及要求 开出
组数 每组人数 实验
类型 选
做 必
做 备注
1 利用真值表法求取主析取范式以及主合取范式的实现 4 内容：
针对给定的包含任意个变量的真值表，编程实现用真值表法求取其所对应的主析取范式和主合取范式。
要求：
能够掌握通过真值表求取相应主析取和主合取范式的方法及原理。 140 1 验证 √
2 集合上二元关系性质判定的实现 4 内容：
编程实现任意集合上二元关系的性质判定。
要求：
能正确判定任意二元关系的自反性、对称性、传递性、反自反性和反对称性。 140 1 验证 √
3 偏序关系中盖住关系的求取及格论中有补格的判定 4 内容：
编程实现整除关系这一偏序关系上所有盖住关系的求取，并判定对应偏序集是否为格。
要求：
对任意给定正整数，利用整除关系求所有由其因子构成的集合所构成的格，判断其是否为有补格。 140 1 验证 √
4 图的随机4 内容： 140 1 验证 √ 课程编号： B0302021S 课程名称： 离散数学
课内总学时： 48 上机实验学时： 16 生成及欧拉（回）路的确定 编程随机生成n个结点的无向图并能进行（半）欧拉图的判定，若是则给出欧拉（回）路。
要求：
对给定n个结点，随机生成邻接矩阵以确定某无向简单图并进行欧拉图和半欧拉图的判定，若符合则给出至少一条欧拉回路或欧拉路。
三、考核及实验报告
（一）考核
实验课考核分两个部分：上机演示和实验报告。演示部分主要考察所编程序执行结果是否正确，学生对编程思想是否能清晰表述；报告部分主要考察程序是否规范、结果分析是否合理、格式是否正确美观等。成绩根据两部分内容综合评定，由于不是单独设课，所以实验成绩按一定比例折入学生课程考试总分之中，占总成绩的20%。
（二）实验报告
实验报告的内容：
1. 实验名称：按统一要求给出。
2. 实验目的：简单描述实验与理论知识的关联，说明实验目的。
3. 实验任务：给出实验需完成的各项主要功能。
4. 实验内容：详见第二部分。
5. 实验过程描述：包括实验结果分析、实验过程遇到的问题及体会。
实验报告的要求：
实验报告以文本和电子两种形式提交。实验报告要求符合基本格式规范，仔细填写学校统一编制报告册中的各项内容，包括具体的实验内容，规范的程序书写，清晰的编程思想描述，正确的运行结果，合理的结果分析，出现的问题及解决措施，心得体会等。
四、主要仪器设备
硬件：PC机。
软件：VC++ 6.0 集成开发环境。
五、教材及参考书
教材：《离散数学》，左孝凌等，上海科学技术文献出版社，2011年。
主要参考书：
[1]《离散数学: 理论.分析.题解》，左孝凌等，上海科技文献出版社，2011年。
[2]《离散数学》，方世昌，西安电子科技大学出版社，2000年。
[3]《离散数学及其应用》，Kenneth H.Rosen 著，机械工业出版社，2008年。
