基于uni-app的移动端开发。
- 利用真值表求主析取范式和主合取范式的实现
- 集合上二元关系性质判定的实现
- 偏序关系中盖住关系的求取及格论中有补格的判定
- 图的随机生成及欧拉（回）路的确定
- 实验一、二
- 实验三、四
- 首页美化(审美的打击)
- 界面优化，增加输入选择性。
- 封装函数。
- 可能的话，在完成实验后，将可用的组件拿出（同时新增功能），写一个离散数学小工具的APP。
除了实验一、二的数学逻辑是自己思考的以外，后面两个实验都是我依据别人的代码逻辑，从c++改成JavaScript的。离散数学太难太优秀了，我不配写离散数学小工具QAQ