模型论相关论文
本文对占先结构的 M-相似性开展了研究,主要讨论了 M-相似性与等价性之间的关系,在此基础上讨论了条件断言布尔组合的语言表达能力......
本文主要研究了模型论在代数方面的一些应用.文章首先介绍了模型论的发展历史和研究背景.其次将模型论中紧致性定理在商域中进行了......
数理逻辑是用数学方法深入研究数学规律的一门学科，而模型论作为数理逻辑的一个重要分支，是研究形式语言及其解释（模型）之间关系的理论......
模型理论是数理逻辑的最重要分支学科之一，它主要研究形式语言及其解释模型之间的关系．一阶逻辑是数理逻辑基础部分的内容，在数理逻辑......
模型论作为一门学科，它是研究形式语言及其解释（模型）之间关系的理论，它不仅是数理逻辑的主要分支学科之一，而且又是一个年轻的分支，在近......
学位
复杂性研究中的一个重点问题是非一致复杂类的测度问题.Aldman已经证明了BPPP/poly,而Kannan证明了EXPSPACEP/poly.本文提出逼......
利用微分代数方程、生态和经济学理论研究了广义生物经济模型。创建有关生物种群的模型,并研究其经济利润（参数）在临界形态下,该模型......
国内外对于无限矩阵的研究是比较零散的，1993年王世强首先利用模型论的方法对这一领域进行了研究，得到了域上一些无限方阵存在的充要......
用数论和模型论方法证明了：对于很多5次代数整数环，存在着具有Goldbach性质的扩环．...
美国数学杂志<Algebras,Groups and Ge-ometries>在2006年第1期上登了一篇Y.Li等几位中国人的文章'The Axiom System of the T......
本文简介机器证明的理论与实践.并附一篇关于用模型论方法证明无限地图的四色定理....
人工智能一直是人类追求的目标之一,从工程学家到哲学家都在探索它的未来之路。麦金也是其中之一,他的心灵的建筑术提倡人工智能的......
一般逻辑程序是知识表示的重要工具,也是非单调推理研究的领域之一.一般逻辑程序的证明论语义给出一个证明过程,对应于相应的模型......
讨论了除环上ｒｃｆ方阵的对角化问题，证明了除环上ｒｃｆ方阵等价于一在特殊对角矩阵Ｄｍｎ的等价条件。......
在本文中,我们用模型论方法证明:几乎一切Mersenne数与Fermat数都是素数....
本文用模型论方法证明了关于素数的几个定理....
在本文中我们用模型论方法证明了关于代数与数论的一些结果....
本文利用拓扑学方法研究了w-范畴理论的性质,并对模型个数问题进行了讨论,获得了w-范畴的新结果,并得到了关于模型个数的几个结果.......
形式语用学是以语用为研究对象的一种形式化理论形态,因而包含着理论主体的语用学取向和形式化系统的选择.本文从上述两个方面对形......
研究了主型的有关性质，证明了一个素模型存在的充分必要条件。...
本文对正规多元模态逻辑做了模型论视角的整体阐述。正规多元模态逻辑(PML)是对一元模态逻辑系统K,在n 元算子上的推广。而多元模......
MV-代数是C.C.Chang为了提供Lukasiewicz和Tarski的多值逻辑系统的完备性定理的代数证明而发明的.它通过逻辑的观点,更进一步观察M......
文章用模型论中的紧致性定理证明了若L中理论T有任意可数阶的Abel群模型，则T有无扭Abel群模型；若一个语句φ在任意一个无扭Abel群中......
用模型论方法证明了Goldbach猜想和孪生素数猜想等的一些形式都独立于一组公理P1(而P1在自然数系N上与Peano公理组PA等价). 又证明......
用模型论方法证明了2次函数素数值问题及一种3重完美数问题对于PA的条件独立性,以及一些更一般的结论.......
中国哲学的思维方式是一种整体之间的推类思维,这些特点表现在先秦哲学、汉代哲学中,通过推类联系两类不同的事物,然后不断的重复......
用模型论方法证明几乎一切形式为p^2＋4（p是素数）的数都是索数，几乎一切形式为2p＋l（P是素数）的数也都是素数．并证明关于各种素数的孪生素数......
模型论中紧致性定理在代数中有很广泛的应用。用紧致性定理证明了若L中的理论T有任意大特征的整环或除环模型，则T有特征为0的整环或......
进化认识论已经成为复杂性哲学的一个新议题。从图琴有关元系统跃迁理论的著作中提炼出了其进化控制认识论，并探讨了这种认识论，特别......
力迫法是公理集合论研究中构造扩充模型的一种重要方法。首先用力迫法对相关文献中的定理进行了推广，而后给出了代数封闭除环的概念......
向前向后方法是模型论及其应用研究中的一个很重要的工具．一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性，经典模型......
本文主要致力于考察蒯因和普特南对本体论的相对性的模型论论证,澄清在这个论证中存在的一些复杂性.本文将表明,虽然蒯因和普特南......
用数论和模型论方法证明了:对于很多4次代数整数环,存在着具有Goldbach性质的扩环....
系统仿真经过几十年的发展，逐渐形成了一个相对独立的学科领域。作为学科，应该有其自己相应的基础理论。本文提出将模型论、仿真算法......
基于地质地球物理模型论证地震采集参数技术,是保证地震采集设计科学化、实用化的重要手段.目前国内外广泛应用的地震数据采集参数......
模型论方法在抽象代数,数论,拓扑学,概率论等领域有着重要的应用.运用模型论中的紧致性定理和完全理论对格中的相关性质进行研究,......
由兔颅内压血流速度的实验数据,采用回归和微分方程法分别建立了颅内压和血流速度(PICP-V)关系的回归模型和Logistic模型.理论计算......
目前，逻辑学被广泛应用于计算机科学中逻辑电路设计、程序设计分析、安全协议验证以及人工智能等方面。各种逻辑系统不仅为知识表示......
研究了除环R上一类特殊的行列有限的无限方程A具有各种逆方阵的充分必要条件，指出：方阵A在除环R上具有唯一的行列有限的无限的上三角......
用非标准分析中的技巧给出复数域上无限方阵可弱对角化的一个充分条件。借助于模型论中特殊模型，证明了－饱和的域上无限方阵的可弱对......
微积分作为人类伟大的数学创造,其知识获得合法性的过程颇为曲折。无穷小量方法由于自身的悖论而被严格化的ε-δ方法所取代。在模......
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......
由于一阶谓词逻辑的基本特征是具有可靠性、完全性，在推广一阶谓词逻辑表达能力及扩充其推理能力时，可以定义一些具有可靠性、完全性......
<正> 控制理论发展历史中的最近30年称为现代控制理论时期.学者们从不同角度描述过这一时期各个阶段的特征,也展望过未来发展趋势.......
