共查询到20条相似文献，搜索用时 140 毫秒
1.
2.
R~2上完备性定理的等价性 总被引：2，自引：0，他引：2
薛怀玉 《咸阳师范学院学报》1998,(6)
指出了有关实数完备性的六个基本定理中,只有四个可推广到平面R2上,并且证明了R2上四个完备性定理是相互等价的。 相似文献
3.
4.
三角函数集是正交完备的.函数集的正交类似于向量的正交,根据正交及完备性的定义,证明三角函数集的正交完备性. 相似文献
5.
辛琳 《潍坊教育学院学报》2014,(3):68-71
语言的不完备性是语言的特性之一,表现在语言的线性、离散性、歧义性、疏略性、不够用性和不确定性。语言的不完备性不能从语言内部被克服,只能从语言的内部和外部进行补救。本文从语言自身的发展和人类一般认知的角度分析自然语言不完备性的补救策略,包括与人类认知能力相关的概念范畴理论、完型认知理论、通感认知手段、隐喻认知观、认知推理观几方面。 相似文献
6.
周异辉 《南阳师范学院学报》2012,(3):12-14,23
在对双Quantale模基本性质研究的基础上,讨论了双Quantale模范畴中的余极限,给出了余极限的基本结构,证明了双Quantale模范畴的余完备性,这是对已有双Quantale模范畴性质的完备和补充. 相似文献
7.
8.
成伟君 《南昌教育学院学报》2010,25(1)
歌德尔不完备性定理产生的背景是逻辑学和数学高度发展的结果,它论证了当今数学的矛盾性是无法从本身得到证明的,并且它在数学、逻辑学、哲学方面都有着重要的意义. 相似文献
9.
10.
在吴方法的基础上，从微分代数的观点出发，机械化证明了各项同性弹性力学方程组的胡海昌解的完备性问题。 相似文献
11.
In this paper we propose a Cultural Psychology approach to teacher knowledge which assumes that: 1) mental representations are directly observable, and 2) the relationship between different kinds of representations is co-mediational. The paper sets out such an approach, providing arguments to support these two alternative premises; outlining a methodology, based on social linguistics, for the direct observation of representations; and articulating the relationship between three types of representations: situational representations, specific propositional representations, and general propositional representations. We discuss the implications of this approach for research and practice in teacher education. 相似文献
12.
中考语文试卷承载着测查初中阶段语文教学质量和学生学习情况的任务,一直受到社会的广泛关注和重视。文章收集了2015年全国各省市自治区的95套中考语文试卷,进行了定量研究和描述分析,讨论了2015年中考语文试卷命题的特点。中考语文命题情况的研究对语文教学与研究工作者更加全面地了解全国中考语文试题命制的现状,对语文教学改革、试题命制和语文教学思路的转变有很好的借鉴参考价值。 相似文献
13.
模态命题逻辑系统K、D、T、S4、S5、B所依据的公理有一定的差异,导致它们之间的定理有一定的差异,推理能力的大小也有所不同.由于定理集的不同导致S4、S5可进行叠置模态词的归约,而K、D、T、B不能;S5可进行嵌套模态词的归约,K、D、T、S4、B没有这种归约能力. 相似文献
14.
15.
董英东 《毕节师范高等专科学校学报》2014,(8):1-7
每一个真值函数三值命题逻辑都可以翻译为模态逻辑系统S5。定义一般的三值命题逻辑的真值函数,并给出将任意的三值逻辑命题公式翻译成为模态公式的翻译方法。证明了每一S5模型,都存在有一个等值翻译的三值赋值。给出了一个将LP和K3翻译为S5的线性翻译方法。 相似文献
16.
余俊光 《陕西教育学院学报》2008,24(2):6-8
近年来，高等职业教育在国家政策的不断完善中得到了快速发展。然而，汉中高等职业教育由于历史、经济、环境、教育理念等的局限，仍然在困境中挣扎。汉中经济要在陕南发展，必然对各类人才产生极大的要求，这是汉中高等职业教育面临的最大机遇。汉中高等职业教育要把握机遇，突破困境，采取相应对策。 相似文献
17.
斯多葛学派是古希腊的一个哲学学派,他们的前驱是麦加拉学派。命题逻辑是斯多葛逻辑的精华所在。斯多葛在亚里士多德的基础上,对命题理论的研究又有了新的突破,探讨了命题函子及命题函子的可互定义性。 相似文献
18.
田平 《北京师范大学学报(社会科学版)》2005,(6):105-109
符号计算主义的意向实在论论证的要点,是表明具有语义性质的命题态度的因果效力。然而,在这里,命题态度的因果效力是通过命题态度的句法性质而得到论证的。这就给符号计算主义的意向实在论论证带来了问题:命题态度的语义性质如何能够对认知系统的行为具有因果相关性?语义性质的因果效力问题是意向实在论论证的关键所在。因此,符号计算主义对意向实在论的论证是不成功的。 相似文献
19.
Bingolbali Erhan Demir Gokhan Monaghan John D. 《International Journal of Science and Mathematics Education》2021,19(6):1187-1208
International Journal of Science and Mathematics Education - This paper examines a didactic phenomenon, a perception that the elements of sets have a common property, e.g. that {1, 2, 3} and {a, b,... 相似文献
20.
近年来,由于非良基集合在人工智能、认知科学及哲学等领域都有很重要的应用,它的研究越来越受到人们的关注.判断两个对象的同一性是集合论中最基本的问题,然而,与良基集合不同的是,非良基集合难以找到其最基本的组成成分,这样通常的外延公理就无法判断两个非良基集合(例如x={x}和y={y})相等.为了找到判断两个非良基集合相等的标准,我们必须强化通常的外延公理.利用Aczel四种非良基公理(AFA,SAFA,FAFA和BAFA),我们推出了四种判断两个非良基集合相等的标准,并且举例说明对于给定的两个非良基集合,如何判断它们相等,从而解决"循环集合"相等的问题.此外,笔者进一步论证判断这四种非良基集合相等的标准是通常外延公理的扩张,而不是替代.为此,本文首先给出了集合和图的一些基本定义和结果;其次讨论了由四种非良基公理AFA,SAFA,FAFA和BAFA分别确定的四种集合全域A,S,F和B;最后,讨论了外延公理的扩张. 相似文献