离散数学综合性实验项目简介_计算机_.docVIP

实验项目名称 判断关系的性质 性质 设计性 所属课程 离散数学 学时 4 所属实验室 综合实验中心 适用专业 网络工程 实验内容： 对给定表示有穷集上关系的矩阵，确定这个关系是否是自反的或反自反的；对称的或反对称的；是否传递的。 实验要求： 学生在实验操作过程中自己动手独立完成，1人为1组。 利用C语言或其他计算机语言编出基本二元关系运算程序和判断较复杂的二元关系性质的程序。 完成实验报告。 涉及知识点： 设R为A上的关系,? （1）如果对A中每一x,都有xRx,那么R是自反的。即 A上的关系R是自反的（Reflexive） x x∈A→ x,x R , （2）如果对A中每一x, 都有xRx，那么R是反自反的（Irreflexive ）。即A上的关系R是反自反的 x x∈A→ x,x R 3 若 x y x,y∈A∧ x,y ∈R→ y,x ∈R , 则称R为A上对称的 symmetric 关系. 4 若 x y x,y∈A∧ x,y ∈R∧ y,x ∈R→x y , 则称R为A上反对称的 antisymmetric 关系. 5 若 x y z x,y,z∈A∧ x,y ∈R∧ y,z ∈R→ x,z ∈R , 则称R是A上的传递关系. 综合性设计性实验项目简介 实验项目名称 判断给定的代数系统是否为含幺半群 性质 设计性 所属课程 离散数学 学时 2 所属实验室 综合实验中心 适用专业 网络工程 实验内容： 对给出的一个代数系统〈G，*〉，其中G 1，2，…,n ，*运算由运算表矩阵给出，要判断： 〈G，*〉是否为半群； 〈G，*〉是否含有幺元； 实验要求： 学生在实验操作过程中自己动手独立完成，1人为1组。 利用C语言或其他计算机语言编出判定给定的代数系统是否满足结合律、是否含有幺元的程序。 完成实验报告。 涉及知识点： 设 °为S上的二元运算, 如果存在el（或er） S，使得对任意 x∈S 都有 el ° x x 或 x ° er x ， 则称 el 或 er 是 S 中关于 °运算的 左 或右 单位元。若 e∈S 关于 ° 运算既是左单位元又是右单位元，则称 e 为 S 上关于 ° 运算的幺元。 一个代数系统V S,* ，其中S是非空集合，*是S上的二元运算，如果*运算满足结合公理，即对任意的a,b,c∈S,有 a* b*c a*b *c 则称代数系统 S,* 为半群。若半群V S， 含有关于 运算的幺元，则称V为独异点，或含幺半群。 1