| 基于MFC的《离散数学》实验演示系统的设计与实现 |
| |
| 引用本文： | 邹乐,华珊珊,吕刚.基于MFC的《离散数学》实验演示系统的设计与实现[J].安徽广播电视大学学报,2013(3):121-124. |
| |
| 作者姓名： | 邹乐 华珊珊 吕刚 |
| |
| 作者单位： | 合肥学院网络与智能信息处理重点实验室，计算机科学与技术系，合肥 230601 |
| |
| 基金项目： | 安徽省教育厅自然科学一般项目(项目编号K J2013B232)；合肥学院离散结构模块化教研改革项目。 |
| |
| 摘 要： | 针对离散数学的特点,以MFC和面向对象技术为设计环境,建立了一个可视化的离散数学实验演示系统。该系统实现了抽象概念可视化、界面操作可视化、处理结果可视化的要求。通过演示主合取范式、二部图匹配、群的判定、等价关系、等价类和Krushal算法求最小生成树五个子功能模块,展示了该实验演示系统的功能。
|
| 关 键 词： | 主合取范式 二部图 等价关系 等价类 |
The Design and Implementation of Discrete Mathematics Experimental Demonstration System Based on MFC |
| |
| ZOU Le
,
HUA Shan-shan
,
LV Gang.The Design and Implementation of Discrete Mathematics Experimental Demonstration System Based on MFC[J].Journal of Anhui Television University,2013(3):121-124. |
| |
| Authors: | ZOU Le HUA Shan-shan LV Gang |
| |
| Institution: | (Key Lab of Network and Intelligent Information Processing, Department of Computer Science and Technology, Hefei University, Hefei 230601, China) |
| |
| Abstract: | This paper discusses the development of a visual discrete mathematics experimental demonstration system based on MFC and object-oriented technique in view of the characteristics of discrete mathematics. It achieves the goal of visualization of abstract conception, operation and results. The strong capabilities of the system are fully displayed by viewing sub-module of principal conjunctive normal form, bipartite graph match, decisions of group, equivalence relation, equivalence classes and minimum spanning tree produced using Krushal. |
| |
| Keywords: | principal conjunctive normal form bipartite graph match equivalence relation equivalence classes |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
