离散数学第三讲-范式与主范式公开课百校联赛一等奖课件省赛课获奖课件
- 第三讲 范式与主范式 - 1.为何引入范式? 命题公式千变万化,不易于研究其性质和应用。2.处理方法:将命题公式转化为逻辑等价旳原则形。
离散数学第三讲-范式与主范式公开课百校联赛一等奖课件省赛课获奖课件