论文部分内容阅读
针对离散数学的特点,以MFC和面向对象技术为设计环境,建立了一个可视化的离散数学实验演示系统。该系统实现了抽象概念可视化、界面操作可视化、处理结果可视化的要求。通过演示主合取范式、二部图匹配、群的判定、等价关系、等价类和Krushal算法求最小生成树五个子功能模块,展示了该实验演示系统的功能。