离散数学实验指导1-27页.docx

实验一 判断代数系统性质的算法【实验目的】通过算法设计并编程实现判断代数系统是否满足相关性质，掌握代数系统中相关性质的定义，加深对代数系统的理解。【实验内容】输入代数系统的集合G和*运算的运算表，判断中的*运算是否是封闭的，可结合的，可交换的，等幂的，如果不满足请说明原因。其中，代数系统中G为字母集合，G=a，b，c,。【实验原理和方法】（1） 用一维数组an 存储集合G。（2） 用二维数组opnn存储*的运算表。（3） 封闭的：对于A中任意元素x,y，都有x*yA。（4） 可结合的：对于A中任意元素x,y,z都有(x*y)*z=x*(y*z)。（5） 可交换的：对于A中任意元素x,y，都有x*y=y*x。（6） 等幂的：若对于A中任意元素x,都有x*x=x。【实验环境及工具】运行Windows 或Linux操作系统的PC机，任意软件开发语言C，C+，Java等及相应的开发环境。实验二 判断代数系统是否为群【实验目的】通过算法设计并编