期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
析取范式公式的化简
被引量:
1
下载PDF
职称材料
导出
摘要
本文阐述了离散数学中析取范式公式化简的计算机实现过程,给计算要实现模拟化简提供了理论方法。
作者
吕海连
孙玉珊
机构地区
平顶山师专数学系
郑州市教育学院
出处
《平顶山学院学报》
1994年第S2期5-7,共3页
Journal of Pingdingshan University
关键词
析取范式
字币
特征码
屏蔽码
关系可达
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
3
引证文献
1
二级引证文献
0
同被引文献
3
1
智慧来,智东杰,刘宗田.
从合取范式到析取范式的转换研究[J]
.计算机工程与应用,2012,48(2):15-17.
被引量:11
2
杨菲.
主析取范式的求法及其应用[J]
.科教文汇,2013(6):53-53.
被引量:2
3
张型岱,张格华.
主范式的运算性质[J]
.数学的实践与认识,2004,34(4):118-121.
被引量:4
引证文献
1
1
张亚江.
数理逻辑中主范式的存在性[J]
.高师理科学刊,2014,34(6):26-28.
1
王仕旭.
数字电路设计中线形对折法化简的应用探讨[J]
.阿坝师范高等专科学校学报,2006,23(4):123-125.
2
杜振鑫.
C语言中指针引用多维数组的教学实践[J]
.福建电脑,2012,28(8):156-157.
3
陆 宁.
化简方块图的新公式[J]
.东华大学学报(自然科学版),2001,27(2):35-37.
被引量:2
4
杨琼琼,谢丽萍,曾建潮,张宏丽.
基于前向PD控制的拟态物理学优化算法研究[J]
.太原科技大学学报,2013,34(4):254-260.
被引量:1
5
秦永彬,张秋菊.
基于关键文字的求解SAT问题的启发式算法[J]
.计算机与数字工程,2010,38(10):1-4.
被引量:1
6
刘清,邱桃荣,刘斓.
基于非标准分析的粒计算研究[J]
.计算机学报,2015,38(8):1618-1627.
被引量:12
平顶山学院学报
1994年 第S2期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部