CAJ | 학술논문

介绍了关系的定义、关系的自反性和反自反性、对称性和反对称性、传递性五条性质，及其在计算机领域中的应用。设计了判断给定集合上关系的各种性质的函数，并进行了相关算法分析。设计了判断等价关系的流程图，利用计算机语言编程实现了等价关系判定的实验系统。该系统简单易于实现，在离散数学教学中，对学生掌握抽象理论具有较好的帮助作用。
개소료관계적정의、관계적자반성화반자반성、대칭성화반대칭성、전체성오조성질，급기재계산궤영역중적응용。설계료판단급정집합상관계적각충성질적함수，병진행료상관산법분석。설계료판단등개관계적류정도，이용계산궤어언편정실현료등개관계판정적실험계통。해계통간단역우실현，재리산수학교학중，대학생장악추상이론구유교호적방조작용。
The definition of relation, relations properties about to reflexive and irreflexive, symmetric and antisymmetric and transitive, and its application in computer science has been recited. The functions for judging relations properties in the set has been designed, and the interrelated algorithms have been analyzed. The flow chart for determining equivalence relations has been developed, and the experiment system of equivalence relations judgement has been implemented based on computer programming language. The system is easy to be realized and can be used in discrete mathematics teaching to help the students to understanding of abstract theory.