期刊文献+

等价关系判断系统的设计

Design of Equivalence Relations Judge System
下载PDF
导出
摘要 介绍了关系的定义、关系的自反性和反自反性、对称性和反对称性、传递性五条性质,及其在计算机领域中的应用。设计了判断给定集合上关系的各种性质的函数,并进行了相关算法分析。设计了判断等价关系的流程图,利用计算机语言编程实现了等价关系判定的实验系统。该系统简单易于实现,在离散数学教学中,对学生掌握抽象理论具有较好的帮助作用。 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.
出处 《大连民族学院学报》 CAS 2011年第5期496-498,共3页 Journal of Dalian Nationalities University
基金 中央高校基本科研业务专项资金资助项目(DC10020114) 大连民族学院博士基金项目(20096203)
关键词 等价关系 系统原理 算法设计 函数 equivalence relations system principle algorithm design function
  • 相关文献

参考文献6

二级参考文献11

  • 1翁梅,刘倩,冯志慧,闾素红.“离散数学”课程教学实践与探索[J].计算机教育,2004(12):62-63. 被引量:24
  • 2JorgensenPC著 韩柯译.软件测试[M].北京:机械工业出版社,2003.15-19.
  • 3Doan A H,Madhavan J,Domingos P, et al. Learning to map between ontologies on the semantic Web [ A]. Proceedings of the Eleventh International Conference on World Wide Web[C]. New York:ACM Press,2002. 662 - 673.
  • 4Sollazzo T, HandschuhS,StaabS, et al. Semantic Web service architecture[A]. Proc of the 15th International FLAIRS Conference[C]. New York:AAAI Press,2002.425 - 429
  • 5陈莉.离散数学教学改革与实践[J].内蒙古大学学报,2004,.
  • 6Moore E F.Sequential Machines:Selected Papers.Addison Wesley,Reading,1964.12~20
  • 7Chow T S.Computer Software and Applications Conference,In:COMPSAC'78.The IEEE Computer Society's Second International,Nov 13-16,1978,1978.169~174
  • 8Vaysburg B,Tahat L H,Korel B.Dependence Analysis in Reduction of Requirement Based Test Suites.In:Proceedings of the 2002 ACM SIGSOFT,2002.107~111
  • 9Kwang-Ting Cheng,Krishnakumar A S.Automatic Generation of Functionial Vectors Using the Extended Finite StateMachine Model.ACM Transactions on Design Automation of Electronic Systems,1996,1 (1):57~79
  • 10王秋云.在网络教学课件中关于习题练习与在线测试功能的设计与实现[J].电化教育研究,2001,22(5):36-39. 被引量:13

共引文献28

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部