论文部分内容阅读
本文证明了调解法的提升引理,以及输入调解法对Horn集的完备性,进而证出了单元调解法对Horn集的完备性。更多还原
输入调解法和单元调解法在Horn集上的完备性
【摘 要】
：
本文证明了调解法的提升引理,以及输入调解法对Horn集的完备性,进而证出了单元调解法对Horn集的完备性。更多还原
【机 构】
：
吉林大学计算机科学系,吉林大学计算机科学系长春130023,长春130023,长春130023
【出 处】
：
软件学报
【发表日期】
：
1993年1期
【基金项目】
：
国家自然科学基金,国家教委博士点基金
其他文献
本文讨论某些递归函数类的分层问题，首先给出的是原始的Ｇｏｒｚｅｇｏｒｃｚｙｋ分层的一种较为简单的等价定义。然后，作为对Ａｃｋｅｒｍａｎｎ函数的一种推广，定义了一个递归函数序列｛Ａｎ｝ｎ∈ｗ。并以此作为分层函数列定义了一种
基因芯片技术的出现改变了生物医学研究的前景，其产生的海量数据是限制其发展的瓶颈问题。为提取其中所隐含的有价值的信息，在基因芯片数据分析的复杂计算工具和方法方面近年来
目的总结29例不完全川崎病（KD）患儿的临床特点,探讨早期诊断与治疗。方法分析29例不完全KD患儿的临床资料。29例不完全KD患儿发热、球结膜充血、唇红皲裂、皮疹、颈部淋巴结肿
本文提出了一种自动程序分析方法，其基本思想是程序可以看成由一组基本成分根据特定的构造方式来构成，从而可以通过提供一组标准的分析方法，实现对程序的自动分析与理解。
本文给出一个新的线性逻辑的证明网的定义并证明了所定义的证明是线性逻辑的自然推理，和Ｇｉｒａｒｄ的原定义相比，使用本文给出的定义来判定一个证明结构是否为证明网的时间复杂度为Ｏ（ｎ＊ｎ），并且在
急性肺损伤（Acute lung injury,ALI）/急性呼吸窘迫综合征（Acute respiratory distress syndrome,ARDS）的诊治作为呼吸系统疾病的主要组成部分,在近些年来愈来愈受到呼吸专业领域
疟疾是当今最需要研究有效疫苗的主要传染病之一。AWTE基因编码恶性疟原虫多种抗原表位基因 ,CTB基因编码霍乱毒素 B亚基 ,是一种既能引起细胞免疫又能引起体液免疫的免疫载
上海天士力药业有限公司是一家集生物药的生产、科研、销售于一体的生物制药企业，位于上海张江高科技园区，占地40余亩，按照国家GMP标准建设了现代化的科研办公楼、生产车间及其
本文讨论多项式时间多一可化归度（ｐ－ｍ度）的分裂间题．主要结果是：存在非零的ｐ－ｍ度ａ，对任何自然数ｎ≥１当ａ分裂成ｎ＋１个度ａ０，ａ１，…，ａｎ的并时，其中至少有ｎ对（ａｉ，ａｊ）（ｉ≠ｊ；ｉ，ｊ≤ｎ）不是极小对．从而推广了Ａｍｂｏｓ－Ｓｐｉｅｓ中关于存在非零ｐ—ｍ度ａ不能分裂