3《离散数学》课程实验教学大纲05(网络、软件、计算机).docVIP

《离散数学》课程实验教学大纲 （Discrete Mathematics） 一、基本信息 课程编号：E1132106 课程类别：学科基础课必修课 适用层次：本科 适用专业：网络工程、软件工程、计算机科学与技术 开课学期：3 学 分： 学 时：10 考核方式：考查 二、教学目的 离散数学实验教学的目标是加深学生对理论课程的理解，掌握利用算法如何编程，并把所编程序在计算机上实现。 三. 基本要求 本课程主要包括四个部分：数理逻辑、集合与关系、代数系统、图论。要求学生了解算法，理解运用C或C++语言把书中的部分内容的算法编写出能在计算机上运行的程序的思想，掌握实现离散数学部分算法程序设计的基本编程技术。 四、教学内容 实验一 要求判断关系的性质（4学时,设计性实验,必做） 教学内容：对给定表示有穷集上关系的矩阵，确定这个关系是否是自反的或反自反的；对称的或反对称的；是否传递的。 目的是使学生掌握利用计算机语言实现判断关系性质的基本方法。 实验二 要求判断给定的代数系统〈G，*〉是否为群（2学时, 设计性实验,必做） 教学内容：对给出的一个代数系统〈G，*〉，其中G={1，2，…,n}，*运算由运算表矩阵给出，要判断： 〈G，*〉是否为半群； 〈G，*〉是否为含幺半群； 〈G，*〉是否每个元素关于*运算都是可逆的。 如果满足上述三个条件，则〈G，*〉是群。 目的是目