基于MFC的《离散数学》实验演示系统的设计与实现

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