2019,
09,
No.297
108-110
基于建模与推理的命题逻辑教学方法研究
基金项目(Foundation):
国家自然科学基金项目（61640221）;
中央高校基本业务费资助项目（教研项目）
邮箱(Email):
DOI:
10.16512/j.cnki.jsjjy.2019.09.024
发布时间：
2019-09-10
出版时间：
2019-09-10
| 153 | 0 | 18 |
| 下载次数 | 被引频次 | 阅读次数 |
摘要：
面向计算机科学领域的教学,提出基于建模与推理的命题逻辑教学方法,说明该方法的教学步骤,从一个案例出发,说明如何引导学生学习使用命题逻辑进行建模,推理模型的性质,同时分析该方法在命题逻辑教学中的效果。
Abstract：
参考文献
[1]Huth M,Mark R.Logic in computer science:Modelling and reasoning about systems[M].Oxford City:Cambridge University Press,2004.
[2]刘艳丽.案例教学法在命题逻辑推理论证中的应用[J].计算机教育,2016(5):124-126.
[3]徐小萍.命题逻辑演绎推理在日常生活中的应用[J].襄樊学院学报,2007(11):13-16.
[4]王文龙.命题逻辑在判断推理中的应用[J].计算机教育,2014(24):89-93.
基本信息:
DOI：10.16512/j.cnki.jsjjy.2019.09.024
中图分类号:O141-4;G642
引用信息:
[1]袁梦霆,李清安,吴黎兵,等.基于建模与推理的命题逻辑教学方法研究[J].计算机教育,2019,No.297(09):108-110.DOI:10.16512/j.cnki.jsjjy.2019.09.024.
基金信息:
国家自然科学基金项目（61640221）; 中央高校基本业务费资助项目（教研项目）
发布时间：
2019-09-10
出版时间：
2019-09-10
