搜索筛选:
搜索耗时0.3015秒,为你在为你在102,266,350篇论文里面共找到 58 篇相符的论文内容
发布年度:
[期刊论文] 作者：钱磊,周以铨,
来源：南京航空学院学报 年份：1992
中介逻辑是朱梧槚与肖奚安合作创立的一个新的逻辑系统,该系统的创立有着很强的哲学背景,因此在创立后得到了很大的发展。但对于该系统语义的研究还不够广泛和深入。本文系统...
[期刊论文] 作者：黄小宁,,
来源：科技视界 年份：2014
论证有最大正数,各无穷序列都有末项,不存在对等于其真子集的无穷集,朱梧槚、肖奚安等4位数学家所言:"集合论中的无穷集都是自相矛盾的非集"不虚——意味一系列以非集为"无穷...
[期刊论文] 作者：黄小宁,
来源：科技视界 年份：2004
论证有最大正数，各无穷序列都有末项，不存在对等于其真子集的无穷集，朱梧槚、肖奚安等4位数学家所言：“集合论中的无穷集都是自相矛盾的非集”不虚---意味一系列以非集为“无穷集...
[学位论文] 作者：徐雯霞,
来源：江南大学 年份：2009
中介逻辑是朱梧槚教授和肖奚安教授于二十世纪八十年代在基于中介原则(三种真值，即真、中、假)的基础上创立起来的。自创立至今，在语形、语义及公理形式化方面得到了广泛的研究...
[学位论文] 作者：贾海涛,
来源：江南大学 年份：2011
20世纪80年代，由中国学者朱梧槚和肖奚安建立的中介逻辑系统，是将矛盾与对立进行区分并肯定一些对立事物中存在“亦此亦彼”中介状态的逻辑系统...
[期刊论文] 作者：邹晶,肖奚安,
来源：南京师大学报：自然科学版 年份：1989
[1]证明了中介逻辑的命题演算系统MP(见[2])中的每一合式公式可以分解为以形如p,p,～p,～p(p为原子命题)为基子句的析取范式,本文的主要结果为:判定以形如p,p,～p,～p为文字的子...
[期刊论文] 作者：朱梧,肖奚安,
来源：自然辩证法研究 年份：1995
我们将在本文中讨论关于中介系统的下列问题：（１）中介系统目前的发展概况；（２）中介系统的哲学背景；（３）中介系统的思想原则，（４）数学研究对象的再扩充；（５）概括原则的修改问题；（６）精确性经典数学和中介数学......
[会议论文] 作者：肖奚安,朱梧,
来源：中国系统工程学会模糊系统及其应用成果学术交流会 年份：1985
...
[会议论文] 作者：朱梧,肖奚安,
来源：中国系统工程学会模糊系统及其应用成果学术交流会 年份：1985
...
[期刊论文] 作者：朱梧槚, 肖奚安,,
来源：自然杂志 年份：1984
模糊数学创立以来发展迅速,国内外都在理论和应用方面作了大量工作。但是关于它的理论基础以及它与经典数学的关系,学术界看法不一。《数学基础与模糊数学基础》一文提出了作...
[期刊论文] 作者：朱梧槚, 肖奚安,,
来源：自然杂志 年份：2004
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技...
[期刊论文] 作者：王建东,肖奚安,
来源：数学物理学报：A辑 年份：1996
该文从数学方法论的角度阐述了归纳、类比等数学方法在数学发现、发现与创新中的重要作用。从这一观点出发，提出了采用类比方法实现数学发现的计算机模拟的基本思想，并介绍了一......
[期刊论文] 作者：陈松灿,肖奚安,
来源：数学物理学报：A辑 年份：1996
Ｐａｉｖｉｏ认为人类具有两个相互联系的记忆系统，它们相互独立，相互联系，却相互激活。这两个系统分别通过表达联结，指称联结加以沟通。本文试图利用这一理论，借助神经网络和物理符号系统基础......
[期刊论文] 作者：朱梧槚,肖奚安,
来源：南京大学学报：自然科学版 年份：1989
本文为参考文献[7]的续篇,在此继续生成中介逻辑的谓词演算系统MF 的形式定理。定理10 MF:[1]x～A(x)-～xA(x),[2]～■xA(x)■x～A(x)[3]～xA(x)■x～A(x).定理11 MF:[1]x[A(x)→...
[期刊论文] 作者：朱梧槚,肖奚安,
来源：南京大学学报：自然科学版 年份：1990
如所知,中介逻辑的命题演算系统MP有三个命题联结词,即蕴涵词→,对立否定词和模糊否定词～。本文构造另一个中介命题逻辑MP°, 而MP°比MP多一个命题联结词,其名称为“...
[期刊论文] 作者：张东摩,肖奚安,
来源：数学研究与评论 年份：1997
本文首先在中介公理集合论系统ＭＳ中构造出Ｐｅａｎｏ自然数系统，为此以基础重新定义了ＭＳ中的良集概念，证明了新定义的良集满足经典公理集合论系统ＺＦＣ＾－的全部公理，从而说明经典公理集合论系统ＺＦＣ＾－为中介......
[期刊论文] 作者：肖奚安,朱梧槚,
来源：南京大学学报：自然科学版 年份：1991
本文为参考文献[9]的续篇,首先让我们把清晰化算符分别作为MP°的定义符号引入它们的名称依次为“模糊清晰词”、“常规清晰词”、“对立清晰词”。并且依次读为“模糊加...
[期刊论文] 作者：张伯生,肖奚安,
来源：淮南矿业学院学报 年份：1996
本文定义了两种效用函数,给出了两种效用期望值决策方法以及效用期望值决策方法的几个结论....
[期刊论文] 作者：朱梧槚,肖奚安,
来源：自然杂志 年份：1986
本文及后续的系列文章,将构造和发展一种以中介逻辑演算ML为形式语言的中介公理集合论系统MS....
[期刊论文] 作者：肖奚安,朱梧槚,
来源：自然杂志 年份：1986
本文分析讨论历史上的逻辑数学悖论在MS 中的解释方法.亦即我们将在这里证明一批引理和定理,借以指明历史上种种逻辑数学悖论均可在MS 中排除.其中包括过去在ZFC中无需解释的...
相关搜索：
