切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
关于主范式中极小项和极大项的下标算法
关于主范式中极小项和极大项的下标算法
来源 :青岛理工大学学报 | 被引量 : 0次 | 上传用户:liyyng1987
【摘 要】
:
通过极小项和极大项的下标特征的讨论,给出了由命题公式的析取范式、合取范式而确定的主析取范式、主合取范式中的极小项、极大项的下标计算方法,从而简化了由繁杂的命题公式
【作 者】
:
王廷明
【机 构】
:
青岛大学师范学院
【出 处】
:
青岛理工大学学报
【发表日期】
:
2006年02期
【关键词】
:
极小项
极大项
主范式
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
通过极小项和极大项的下标特征的讨论,给出了由命题公式的析取范式、合取范式而确定的主析取范式、主合取范式中的极小项、极大项的下标计算方法,从而简化了由繁杂的命题公式推演或真值计算求主范式的计算过程.
其他文献
甲岩水电站首台机组投产发电
6月27日,水电十四局有限公司担负大坝工程施工的云南省"三个一百"重点工程建设项目—甲岩水电站首台机组顺利完成72 h试运行,正式投产发电。甲岩水电站位于禄劝县境内,为普渡河
期刊
岩水电站
投产发电
机组
工程建设项目
工程施工
试运行
云南省
大坝
一栋五层住宅楼倾斜原因及其纠偏
一栋建于深厚不均匀地基上的五层住宅发生严重倾斜,成为危房。本文分析了其倾斜原因,并采用一种新的可控纠偏技术,将其纠偏扶正。
期刊
倾斜
静力压入桩
可控纠偏
住宅楼
建筑物
inclination
static pressed pile
controllable inclination
新会计准则下企业合并会计处理方法的选择
2006年2月15日,国家财政部发布了39项企业会计准则,标志着适应我国市场经济发展要求、与国际惯例趋同的企业会计准则体系诞生。我国在新会计准则中采用的是购买法和权益结合
期刊
新会计准则
企业合并
购买法
权益结合法
P-反演半群上的强P-同余格
介绍了P-反演半群的概念,给出了P-反演半群上强P-同余格的某些特征.
期刊
半群
同余格
反演
P-inversive semigroup
strong P-congruence
Lattice of strong P-congru
某T型梁开裂后受力性能的试验研究
由于冬季施工时采用蒸汽养护方法不当,位于国道206线黄新段平度市灰埠镇的泽河大桥在施工过程中发现其25m跨预制简支梁部分出现裂缝,为检验这些开裂后的预制梁的承载能力,受
期刊
T型梁
裂缝
承载力
静载试验
反力梁
挠度
变形
应变
简支梁桥
crack
reactive force beam
deflection
deform
谈高校化学实验室实验安全措施问题
熟悉一般安全知识、重视安全操作,使每个学生从思想上重视,以高度的责任感和严肃认真的科学态度进行实验。
期刊
安全意识
安全措施
安全演示实验
实验规则
室外钢结构雨棚施工技术探讨
钢结构锚固是门头钢结构雨棚施工中的主要技术难题,结合工程实例,针对近海工程风压大等具体工程特点,从抗风压预控措施、施工技术措施、施工工艺等环节出发,系统介绍了设计、材料
期刊
钢结构
门头雨棚
抗风压
预控措施
施工技术
steel structure entrance rainshed wind resisting pressur
浅谈工程造价控制中的索赔与反索赔
就施工阶段工程造价控制中索赔与反索赔造成的原因、实施条件、程序、难点等进行了探讨,并列举了一些实际案例.
期刊
造价控制
索赔
反索赔
cost control
claim
counterclaim
《青岛理工大学学报》增刊征稿通知
期刊
我校能源与环境装备省级重点强化建设实验室简介
能源与环境装备实验室是山东省“十一五”省级强化重点实验室,实验室依托青岛市能源与环境装备技术研究中心、我校环境与市政工程学院、我校机械学院等相关学科组建的多学科交
期刊
重点实验室
环境
装备
能源
简介
技术研究中心
与本文相关的学术论文