论文摘要
面向计算机科学领域的教学,提出基于建模与推理的命题逻辑教学方法,说明该方法的教学步骤,从一个案例出发,说明如何引导学生学习使用命题逻辑进行建模,推理模型的性质,同时分析该方法在命题逻辑教学中的效果。
论文目录
文章来源
类型: 期刊论文
作者: 袁梦霆,李清安,吴黎兵,何炎祥
关键词: 命题逻辑,案例教学,软件建模,性质推理
来源: 计算机教育 2019年09期
年度: 2019
分类: 信息科技,基础科学,社会科学Ⅱ辑
专业: 数学,高等教育
单位: 武汉大学计算机学院
基金: 国家自然科学基金项目（61640221）,中央高校基本业务费资助项目（教研项目）
分类号: O141-4;G642
DOI: 10.16512/j.cnki.jsjjy.2019.09.024
页码: 108-110
总页数: 3
文件大小: 1407K
下载量: 74
相关论文文献
- [1].论正规命题逻辑的析取性质（英文）[J]. 逻辑学研究 2015(02)
- [2].抽丝剥茧,直击立几命题逻辑[J]. 课堂内外(高考金刊) 2016(11)
- [3].命题逻辑与数学证明方法(Ⅱ)[J]. 泰山学院学报 2013(06)
- [4].命题逻辑的计算机实现[J]. 电子世界 2013(19)
- [5].弱连通传递框架类的命题逻辑[J]. 逻辑学研究 2013(04)
- [6].几个模糊命题逻辑紧致性的新证明[J]. 浙江理工大学学报 2012(01)
- [7].高中数学的命题逻辑教学[J]. 吉林教育 2018(35)
- [8].基于多项式方程的命题逻辑问题的求解[J]. 福建电脑 2014(07)
- [9].三值命题逻辑系统中理论的随机发散度的分布[J]. 计算机工程与应用 2017(01)
- [10].斯多葛命题逻辑第16、17定理中的确定性意义浅析[J]. 思想与文化 2019(02)
- [11].一个命题逻辑的反驳演算系统[J]. 哲学研究 2014(02)
- [12].质疑意识与命题逻辑——从考题“求船长几岁”谈起[J]. 天津教育 2020(17)
- [13].自然推理系统中推理证明的两种新思路[J]. 现代计算机 2020(13)
- [14].浅谈怎样学习离散数学中的命题逻辑[J]. 科技信息 2009(09)
- [15].二值命题逻辑中基于信息限制的真度理论[J]. 福建师大福清分校学报 2008(05)
- [16].多值命题逻辑中逻辑理论的拓扑刻画[J]. 模糊系统与数学 2008(02)
- [17].二值命题逻辑中的极大命题集与完备命题集[J]. 模糊系统与数学 2009(03)
- [18].值乘积命题逻辑中命题的α-真度理论[J]. 河南师范大学学报(自然科学版) 2010(01)
- [19].一种n值逻辑系统中命题的条件真度[J]. 山东大学学报(理学版) 2009(06)
- [20].命题逻辑系统中理论的发散度与近似推理的若干性质[J]. 模糊系统与数学 2008(02)
- [21].n值命题逻辑中的ξ-条件开放度[J]. 计算机工程与应用 2016(08)
- [22].基本命题逻辑BPL带标的矢列演算系统[J]. 贵州工程应用技术学院学报 2016(03)
- [23].二值命题逻辑的无损求解[J]. 计算机学报 2013(05)
- [24].基于古典数理逻辑算法的命题逻辑应用研究[J]. 中国证券期货 2012(06)
- [25].一类命题逻辑的一般弱框架择类语义[J]. 逻辑学研究 2011(02)
- [26].中介命题逻辑的一种无穷值语义模型及其意义[J]. 计算机研究与发展 2008(S1)
- [27].命题逻辑与数学证明方法(Ⅲ)[J]. 泰山学院学报 2014(06)
- [28].n值Lukasiewicz命题逻辑系统中公式的矛盾度理论[J]. 西南师范大学学报(自然科学版) 2015(08)
- [29].基于Lukasiewicz计算模型的六值命题逻辑公理体系构建[J]. 楚雄师范学院学报 2015(06)
- [30].■ukasiewicz命题逻辑系统中有限命题集的约简理论[J]. 计算机工程与应用 2009(07)