等价关系判断系统的设计  

Design of Equivalence Relations Judge System

作　　者：姜楠[1] 焉德军[1] 李笑牛[1] 王波[1] 紫春平[1] 

机构地区：[1]大连民族学院计算机科学与工程学院,辽宁大连116605

出　　处：《大连民族学院学报》2011年第5期496-498,共3页Journal of Dalian Nationalities University

基　　金：中央高校基本科研业务专项资金资助项目(DC10020114);大连民族学院博士基金项目(20096203)

摘　　要：介绍了关系的定义、关系的自反性和反自反性、对称性和反对称性、传递性五条性质,及其在计算机领域中的应用。设计了判断给定集合上关系的各种性质的函数,并进行了相关算法分析。设计了判断等价关系的流程图,利用计算机语言编程实现了等价关系判定的实验系统。该系统简单易于实现,在离散数学教学中,对学生掌握抽象理论具有较好的帮助作用。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.

关 键 词：等价关系 系统原理 算法设计 函数 

分 类 号：O158[理学—数学]