离散数学 公开课获奖课件省赛课一等奖课件

- 主要内容命题逻辑基本概念命题逻辑等值演算命题逻辑推理理论一阶逻辑基本概念一阶逻辑等值演算与推理 - 第一部分 数理逻辑 - -