iLib2
新一代的学术数据库
首页
|
账户
|
充值
|
收藏
找不到?搜一下!
首页
>
学术期刊
:
广西师范大学学报(自然科学版)JOURNAL OF GUANGXI NORMAL UNIVERSITY(NATURAL SCIENCE EDITION)
MPM中的等值完全析取范式EQUIVALENT COMPLETE DISJUNCTIVE NORMAL FORM IN MPM
添加收藏
MPM中的等值完全析取范式EQUIVALENT COMPLETE DISJUNCTIVE NORMAL FORM IN MPM
<<
广西师范大学学报(自然科学版)JOURNAL OF GUANGXI NORMAL UNIVERSITY(NATURAL SCIENCE EDITION)
>>2003年第21卷第1期
作者:
凌方
,
王建东
学术期刊 QCode : gxsfdxxb200301026
主要讨论中介逻辑命题演算系统MPM中等值意义下的完全析取范式的存在性和唯一性,同时举例说明该范式的作用.该范式分为真值项与矛盾项两部分,形式简洁,为规范化研究该系统中的合式公式提供了一种工具.
关键词:
数理逻辑
,
命题演算
,
中介逻辑
,
范式
,
析取
|
全部关键词
相似文献
-
MPM中的等值完全析取范式 EQUIVALENTCOMPLETEDISJUNCTIVE NORMAL FORM IN MPM
作者:凌方,王建东
学术期刊
广西师范大学学报(自然科学版)JOURNAL OF GUANGXI NORMAL UNIVERSITY(NATURAL SCIENCE EDITION)
2003年第21卷第1期
-
MP<'M>中的等值完全析取范式
作者:凌方,王建东
会议论文
第七届中国人工智能联合学术会议
2003年第7期
-
完全析取范式群判定SHOIN(D)-可满足性 Determining the SHOIN(D)-Satisfiability with a CompleteDisjunctive Normal Form Group
作者:古华茂,王勋,凌云,高济
学术期刊
软件学报JOURNAL OF SOFTWARE
2010年第21卷第8期
-
关于中介命题演算系统MP<'M>范式的研究
作者:金仁康,毛宇光
会议论文
2003年全国理论计算机科学学术年会
2003年
-
从符号语言学看翻译中的等值
作者:杨玲,卢振飞
学术期刊
江西社会科学JIANGXI SOCIAL SCIENCES
2006年第12期
-
英汉习语翻译中的"等值"研究
作者:兰品之
学术期刊
高等教育研究学报JOURNAL OF HIGHER EDUCATION RESEARCH
2002年第25卷第2期
-
谈德汉翻译中的等值 On Equivalence in Translation from German to Chinese
作者:陈晶,智颖宜
学术期刊
山西农业大学学报(社会科学版)JOURNAL OF SHANXI AGRICULTURAL UNIVERSITY(SOCIAL SCIENCE EDITION)
2005年第4卷第3期
-
论翻译中的等值——卡特福德、奈达和巴斯耐特比较研究
作者:汪宁
学术期刊
科技信息(科学·教研)SCIENCE & TECHNOLOGY INFORMATION
2008年第3期
-
浅谈文学翻译中的等值
作者:王忠芳
学术期刊
绥化学院学报JOURNAL OF SUIHUA UNIVERSITY
2009年第29卷第1期
-
浅谈影响翻译等值的因素
作者:王莉
学术期刊
科技信息(学术版)SCIENCE & TECHNOLOGY INFORMATION
2008年第24期
更多相似文献...
版权所有 北京万方数据股份有限公司 京ICP证010071号
关于我们
|
资源合作
|
知识产权声明
|
客户服务
|
万方数据