离散结构建模工作台

把应用问题压成可推理的离散模型：先定对象，再定关系，最后问一个可以证明或计算的性质。

第一步 对象
第二步 关系
第三步 性质

操作

建模句式