本文对占先结构的 M-相似性开展了研究,主要讨论了 M-相似性与等价性之间的关系,在此基础上讨论了条件断言布尔组合的语言表达能力......

本文主要研究了模型论在代数方面的一些应用.文章首先介绍了模型论的发展历史和研究背景.其次将模型论中紧致性定理在商域中进行了......

数理逻辑是用数学方法深入研究数学规律的一门学科，而模型论作为数理逻辑的一个重要分支，是研究形式语言及其解释（模型）之间关系的理论......

模型理论是数理逻辑的最重要分支学科之一，它主要研究形式语言及其解释模型之间的关系．一阶逻辑是数理逻辑基础部分的内容，在数理逻辑......

模型论作为一门学科，它是研究形式语言及其解释（模型）之间关系的理论，它不仅是数理逻辑的主要分支学科之一，而且又是一个年轻的分支，在近......

复杂性研究中的一个重点问题是非一致复杂类的测度问题.Aldman已经证明了BPPP/poly,而Kannan证明了EXPSPACEP/poly.本文提出逼......

犯罪构成作为刑法中入罪的重要范畴,其本质是一种模型,这里的模型是指自然法意义上的、完美的、抽象的、开放的模型.本文认为法定......