论文部分内容阅读
面向计算机科学领域的教学,提出基于建模与推理的命题逻辑教学方法,说明该方法的教学步骤,从一个案例出发,说明如何引导学生学习使用命题逻辑进行建模,推理模型的性质,同时分析该方法在命题逻辑教学中的效果.
基于建模与推理的命题逻辑教学方法研究
【摘 要】
：
面向计算机科学领域的教学,提出基于建模与推理的命题逻辑教学方法,说明该方法的教学步骤,从一个案例出发,说明如何引导学生学习使用命题逻辑进行建模,推理模型的性质,同时分
【机 构】
：
武汉大学计算机学院
【出 处】
：
计算机教育
【发表日期】
：
2019年9期
【基金项目】
：
国家自然科学基金项目（61640221）;中央高校基本业务费资助项目（教研项目）
其他文献
钢琴作为一种重要的乐器,在现代的学习中具有重要的作用,许多学生都开始学习钢琴,作为一种基本气的学习方式,许多地区也开设了钢琴课程,通过钢琴课程来培养学生的音乐感知能
高职英语是高职教育教学的重要组成部分。在当前社会对于实践应用型人才的需求下,高职英语教学就凸显出自身的重要作用。但是在新时期发展下,随着教育教学改革与经济社会的发
随着风电能源产业的快速发展,风电场装机容量不断扩大。在风电场建设项目中,设备运输及设备安装问题成为影响项目建设质量和安全的重要问题。如何以采取科学的方法和测量实现
近些年来随着信息科学技术的不断发展,大数据已经在各个行业得到了广泛的应用,极大地推动了社会各产业的发展。供电企业作为社会发展的基础保障,在其运行中运用大数据技术,具
一龙图腾形象的起源及形成（一）龙图腾形象的起源中国自古以“农业立国”，以农桑为国家之本，农业是中华民族的生存基础，从一万多年前先民学会种植水稻后，以农业为经济基础的中华文明
高中音乐鉴赏教学在学生审美意识培养,审美情趣开掘,审美能力提升,思想道德塑造方面有着至关重要的影响,而且,音乐鉴赏也成为新时代高中音乐教学的主要组成部分,其在高中音乐
在我国现代基础工程的建设过程中,电力工程也已经取得了十分良好的发展进程,做出了相对应的重要贡献。对电力生产企业的安全风险控制以及基建安全管理来说,仍然存在一定的问
财务管理是当代职业院校教育教学中非常重要的一门学科,但是一直以来该学科的整体教学情况并不是很理想,传统讲授式教学方式不仅过于注重理论知识的讲解,而且根本没有与实践
【正】第三产业的崛起,是在第二次世界大战后,在发达的资本主义国家出现的一种普遍的经济现象。目前这种现象已形成世界范围的潮流。无论是发达国家还是发展中国家,几乎都出
随着新时代的变迁与发展,社会生产技术的普遍提高,电力工程技术学科也有了很大程度上的发展。营销稽查监控技术在我国社会电力营销业务方面都有很大的用途,然而在当今阶段,负