基于建模与推理的命题逻辑教学方法研究

作者：袁梦霆; 李清安; 吴黎兵; 何炎祥

来源：计算机教育, 2019, (09): 108-110.

DOI：10.16512/j.cnki.jsjjy.2019.09.024

• 命题逻辑
• 案例教学
• 软件建模
• 性质推理

面向计算机科学领域的教学,提出基于建模与推理的命题逻辑教学方法,说明该方法的教学步骤,从一个案例出发,说明如何引导学生学习使用命题逻辑进行建模,推理模型的性质,同时分析该方法在命题逻辑教学中的效果。