模型论相关论文
在20世纪70年代前后,互模拟理论在许多领域被独立建立。自从范本特姆(Van Benthem)定理问世之后,互模拟被广泛地运用于模态逻辑的研究......
自然语言是一个由较小语言成分逐步递增地形成较大语言成分的符号体系,这就是自然语言的毗连性(concatenation)。通过毗连,自然语言符......
现代模态逻辑由完全性理论、对应理论和对偶理论三个主要学科组成。它们是模态逻辑的三大支柱理论,都在20世纪70年代中期奠定了基础......
本文用来解读老子形而上学的“模型论”,取自康德伦理学用来展示其自由概念和道德法则的某种“工作哲学”。康德在《道德形而上学......
建立ω1ω语言格值模型论的Malitz插值定理和省略型定理,简单讨论格值齐次模型的性质,最后将二值模型论中构造模型的初等链方法引入ω1ω语言......
隐喻既是一种修辞又是人类认知客观世界的手段和方式,人的躯体是空间隐喻的认知原型,其上下、前后和里外的不对称,左右的对称以及......
本文对占先结构的 M-相似性开展了研究,主要讨论了 M-相似性与等价性之间的关系,在此基础上讨论了条件断言布尔组合的语言表达能力......
第十一届亚洲逻辑学会议于6月22日至27日在新加坡举行,会议主要讨论数理逻辑学领域的最新发展及其应用、计算机科学中的逻辑学和哲......
探讨“科学理论的本质与结构”一直是科学哲学的核心目标之一。自逻辑经验论的“公认观点”宣布失败后,近年来具有逻辑与分析哲学倾......
1742年,德国数学家哥德巴赫(G.Gold-bach)在大量验算的基础上提出了两个猜想(“猜想”就是:看起来很象是真的,但还未经过严格证明......
很多人知道史丰收有一种祖传的速算法.在这方面,北京师范大学的赵慈庚教授曾帮助他整理成系统的文章.赵慈庚教授曾与华罗庚院士共......
作者结合自己多年在课余时间进行航模飞行的经历,认识到许多中学生对航模感兴趣,但却将航模当做一般的玩具,试飞失败的挫折影响到......
根据监利县1981~1995年系统调查和灯诱资料,结合当地气象资料及南方有关地区对褐飞虱多年观测资料,利用逐步回归方法组建多元回归预测模型,预测......
为保证机械系统的正常运行,为满足机修作业的需求,必须设立配件库。本文用数理统计的方法,以模型论、库存论为指导,建立配件储备数......
借用康德伦理学的"模型论"来分析老子的形而上学,可以更为准确和清晰地解读老子《道德经》中所呈现出来的"伦理学之后"的理论体系.......
本文用最新的样本数据,运用平稳性检验、序列相关性分析、ARCH效应检验等方法分析了上证国债指数日收益率序列的波动特征,并利用ARCH......
在对污染排放因素进行分析的基础上,通过面板数据模型论证了收入分配差异与环境质量之间的假设,结果发现收入差距扩大会增加二氧化......
以无刷直流电机驱动器中的三相桥来分析回馈制动的原理.着重分析了电动汽车在低于额定转速时如何实现能量的回馈制动,在此基础上提......
在借鉴McDonald和Siegel关于公司最优投资时机选择模型论述的基础上,构建了公司未来可能受到严重融资约束程度时公司的最优投资时......
扩充模型论是一种数学理论,可在它的基础上实现一个扩充模型论语言,这种语言可以作为关系数据库的数据子语言,它也可以作为演绎数据库......
本文首先基于对超协调性的分析给出一个超协调逻辑的分类,并提出一个超协调逻辑的新定义,由此容易看出各种超协调逻辑存在一定的共......
该会议论文集共收录了25篇论文,主要内容包括:递归结构理论;胡世华先生的学术成就;关于罗素悖论与弗协调逻辑;序数的核与自然运算;模型论对......
该文主要研究数据库的数学理论,提出一种比较适合于描述数据库系统的数学工具——扩充模型论,它以模型论为基础,能表示数据库的功能且......
该文研究逻辑框架的范畴语义,给出逻辑框架模型论中一重要定理--内范畴定理。该文我们撰写的一系列关于逻辑框架文章的第二篇。......
定义了一种公理化的抽象逻辑,它以经典逻辑所具有的证明论性质及模型论性质为公理,可以用于构造抽象的开放逻辑理论,因而可以用于......
该文对中医五行-五脏模型进行了系统研究,首先考察了五行形成与发展的历史及其五行与五脏配属关系的演变过程,然后分析了五行的内......
本文从基础的模型论概念出发,概略介绍Cluckers和Loeser关于原相积分的一般理论,即将积分定义为态射的前推(pushforward),并阐述其与......
数理逻辑是用数学方法深入研究数学规律的一门学科,而模型论作为数理逻辑的一个重要分支,是研究形式语言及其解释(模型)之间关系的理论......
模型理论是数理逻辑的最重要分支学科之一,它主要研究形式语言及其解释模型之间的关系.一阶逻辑是数理逻辑基础部分的内容,在数理逻辑......
模型论作为一门学科,它是研究形式语言及其解释(模型)之间关系的理论,它不仅是数理逻辑的主要分支学科之一,而且又是一个年轻的分支,在近......
学位
用模型论方法证明了,在对于自然数系的Goldbach猜想及一阶Peano公理组的某种等价表述下,前者在逻辑上独立于后者.此外,还宣布了一......
职业教育立交桥支撑体系是现代职业教育体系大系统中一个不分割的部分。文章运用系统论方法,以“人的终身学习”为目,依据空间尺度......
复杂性研究中的一个重点问题是非一致复杂类的测度问题.Aldman已经证明了BPPP/poly,而Kannan证明了EXPSPACEP/poly.本文提出逼......
本文结合二阶逻辑公理系统和无穷逻辑公理系统两种思想,应用和谐性质方法,建立了无穷逻辑中的二阶语言L_(ω1ω)(Q)公理系统及模型论,对L_(ω1ω......
本文使用非标准分析方法,把Konig,Rao,εuler和Nash-williams关于无限图的结果给予推广并对证明进行了极大的简化。对Hamilton性作......
利用微分代数方程、生态和经济学理论研究了广义生物经济模型。创建有关生物种群的模型,并研究其经济利润(参数)在临界形态下,该模型......
国内外对于无限矩阵的研究是比较零散的,1993年王世强首先利用模型论的方法对这一领域进行了研究,得到了域上一些无限方阵存在的充要......
在本文中,我们用模型论方法证明了:存在一个Peano公理组的模型,在其中3x+1猜想不成立.从而可知:不可能只用Peano公理组证明3x+1猜......