作者：袁梦霆; 李清安; 吴黎兵; 何炎祥命题逻辑案例教学软件建模性质推理
摘要：面向计算机科学领域的教学,提出基于建模与推理的命题逻辑教学方法,说明该方法的教学步骤,从一个案例出发,说明如何引导学生学习使用命题逻辑进行建模,推理模型的性质,同时分析该方法在命题逻辑教学中的效果.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《计算机教育》（CN：11-5006/TP）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《计算机教育》杂志被教育部高等学校计算机科学与技术教学指导委员会等多家单位等指定为特别推荐刊物。办刊宗旨：为行业搭建交流平台，挖掘新思想，发现新人才。
省级期刊
人气 536294 评论 49
人气 400413 评论 51
人气 383402 评论 44
人气 362729 评论 56
