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

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

【作  者】袁梦霆[1] 李清安[1] 吴黎兵[1] 何炎祥[1]

【作者单位】[1]武汉大学计算机学院,湖北武汉430072 

【期  刊】《计算机教育》 2019年第9期108-110,共3页

【关 键 词】命题逻辑 案例教学 软件建模 性质推理 

【基金项目】国家自然科学基金项目(61640221),中央高校基本业务费资助项目(教研项目)。

【分 类 号】G642

【下载次数】0【在线阅读】1

分享到:

参考文献(共找到条)

相关文献:(共找到条)

作者其它文章

87565X
11
分类表关闭X
隐藏
比较
关闭《计算机教育》编辑部重要声明