默认计划
1702人加入学习
(17人评价)
《离散数学》
价格 免费
音频听课 手机端支持一键听课 (试一试)

1.6推理理论

构造证明法:

推理规则:

 

[展开全文]