关于求已知do循环不变式的一个方法及for循环的WP的定义

对确定性do循环,利用其WP求出循环不变式.给出了for循环的话义定义.     

有限解释下一阶谓词公式的相对真度

本文在二值谓词逻辑系统中引入一类特殊解释,即论域有限的解释,给出了一阶谓词公式A的相对于某一个特定解释下的相对真度定义,并证明了与命题逻辑系统的真度理论相对应的某些结论,如MP规则与HS规则.本文为建立一阶谓词公式的绝对真度,进而建立谓词逻辑系统中的近似推理理论提供了理论基础.     

试析英语形容词、名词无动词分句与双重谓语的异同

形容词、名词无动词分句与双重谓语结构里的形容词短语或名词短语在形式上貌似相似，都依附在不同类型的主谓结构的句子中，但它们在语义及其它方面却大为不同。     

"孙子的子女"及"孙子的孙子女"的方言称谓词研究

“孙子的子女”及“孙子的孙子女”这两个称谓的方言用词比较复杂，存在着多层次交叉的现象。这两个称谓的方言词来源有两种：一是秉承古词用法；一是古称谓词指称的泛化。     

汉语方言女性称谓词“伯”之来源考

借助汉语方言和少数民族语言两方面的一些材料 ,运用历史比较语言学的方法 ,试图论证现代汉语方言的女性亲属称谓词“伯”应是早期古越语的底层词。     

无用代码的检测

程序中的无用代码意味着算法设计、代码实现中存在着问题。无用代码的存在增加了软件开发、测试、使用中的开销，对正确进行程序测试评估产生影响。在对无用代码的表现形式进行分析的基础上，对影响无用代码检测所要进行的数据流分析的各种因素进行了讨论。文中关于到达定值数据流分析过程中的常数传播、谓词表达式的变换、程序插装等的关于谓词表达式的求解方法为无效分支的检测提供了依据。     

映射、集合与推理

数理逻辑在数学教育专业是高等代数的后续课程,集合和映射则是高等代数的内容。在数学教育专业讲授数理逻辑时,如何将高等代数中集合和映射的内容与数理逻辑的内容结合起来;达到既巩固高等代数的知识,又将数理逻辑中的推理讲得更好?在工科专业讲授“离散数学”时,如何将集合论中的集合间关系与数理逻辑结合起来,这是一个值得研究也很有趣的问题。就这两个问题进行探讨。     

一个采用模糊产生式规则的推理方法

在模糊集理论的基础上,本文提出了一种模糊产生式规则.为了采用这类规则进行推理,文中给出了规则前件与事实是否匹配的模糊匹配函数.最后给出了一个生成匹配事实的最大模糊包含演绎树的算法,并用实例说明采用模糊产生式规则进行不精确推理的方法.     

模糊Horn子句逻辑形式系统

简要回顾逻辑推理的发展历史,指出了经典数理逻辑中存在的一些问题。作者为每个传统的Horn子句赋予一个蕴涵强度f∈(0,1],从而得到模糊Horn子句及其Herbrand解释。进而,对传统Horn子句逻辑的语法和语义进行了拓展,建立了一个基于模糊Horn子句有限集合的逻辑推理系统,并证明了该系统的正确性和完备性。     

谓词修饰语的语义区别

汉语的谓词修饰语有状语,补语两大类,状语在谓词前,补语在谓词后,在语义上,状语和补语与中心词的关系有疏密之不同,状误和补语与谓词的语序与时间顺序有关;在句子最末的补语在句中的地位比状语重要。