期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
谓词逻辑中前束范式的求解方法研究
1
作者 王伟静 陈荟慧 《现代计算机》 2012年第3期14-15,22,共3页
《离散数学》谓词逻辑中前束范式的求解一直是一个难点。对前束范式求解步骤进行分析和总结,对两种换名规则和换名情况进行分类和研究,结合实例帮助学生更好地掌握整个前束范式的求解过程,并在实际教学过程中起到很好的教学效果。
关键词 前束范式 换名规则 作用域收缩 作用域扩张
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部