首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 31 毫秒
1.
利用由均匀概率空间的无穷乘积所定义的及中公式的真度概念,给出了公式间相似度的一种新定义,讨论了该相似度与文献[2]、[6]定义的相似度的大小关系及逻辑系统及中公式间的三种相似度的性质.最后讨论了由其中的一种相似度导出的这两个系统中全体公式集上的一种伪距离的重要性质.  相似文献   

2.
基于绝对真度的概念,在Gn命题逻辑系统中定义了公式间的绝对相似度和伪距离,并证明了公式绝对真度的推理规则,为近似推理提供了理论基础.  相似文献   

3.
由Hadamard矩阵的性质,定义了一种广义的Hadamard矩阵,讨论了它的一些性质,并由广义Hadamard矩阵构造了一类特殊的三元码,证明了当n≡8(mod12),m≡8(mod12)时,三元[2n,n]线性码C为自对偶码.  相似文献   

4.
运用等差数列的定义、通项公式、前n项和公式。动用高斯函数[x]的性质,通过类比隔项等比数列,给出了隔项等差数列的定义、通项公式、前n项和公式等.  相似文献   

5.
1985年,阎革兴(文[1])把Gahkr的2-赋范空间的概念推广得到了n-赋范空间,进而定义了n-Banach空间。讨论了n-Banach空间中的性质.同年,阎革兴在文[2]中将严格凸与光滑性引入到了n-赋范空间中,而且得到了二者的关系定理.本文的主要目的是将一般Banach空间中的一致凸,局部一政凸,中点局部一致凸,强凸等概念推广到n—Banach空间中,并证明了几种凸性间的关系定理.  相似文献   

6.
递归树由Meir和Moon定义作平面树的一种 ,并且所有节点出度都是允许的。在这篇文章中称递归树的伴随矩阵为递归矩阵 ,通过对递归矩阵的讨论 ,我们得到了递归矩阵的计数公式 ,不但照应递归树的计数公式[2 ] ,而且证明简易 ;导出了递归树矩阵最大密度指数集I(A(Tn) ) ={ 1,2 ,4 ,… ,2k ,… }以及最大密度数μ(A(Tn) ) =n22 ,n =2k ,(k≥ 1)n2 + 12 ,n =2k + 1。 (k≥ 1)进而推广到森林矩阵  相似文献   

7.
文[1]提出一个猜想:设xi>0(I=1,2,…,n),n≥3,n∑I=1xi=1,则∏n I=1(1/xi-xi)≥(n-1/n)n①. 文[2]用逐步调整法证明了①式.文[3]细致地探讨了①式的证明策略,用拆项法和磨光变换对①式给出了两种初等证明.  相似文献   

8.
递归树由Meir和Moon定义作平面树的一种,并且所有节点出度都是允许的。在这篇文章中称递归树的伴随矩阵为递归矩阵,通过对递归矩阵的讨论,我们得到了递归矩阵的计数公式,不但照应递归树的计数公式[2],而且证明简易;导出了递归树矩阵最大密度指数集I(A(Tn))={1,2,4,…,2k,…}以及最大密度数μ(A(Tn))={n^2/n,n=2k,(k≥1);n^2 1/2,n=2k a.(k≥1)进而推广到森林矩阵。  相似文献   

9.
权宽一 《数学教学》2007,(4):18-19,33
文[1]给出了五个新定义数列(等和数列、等积数列、差等比数列、双等差数列、双等比数列),并给出了它们的通项公式与前n项和公式及性质,这类数列确实是培养学生迁移和探究能力的好素材.本文再给几个新定义数列,供参考. 1.和等比数列定义:数列{an}中,从第三项起,每一项与前一项的和成等比数列,则称该数列{an}为和  相似文献   

10.
给出了G单位区间[0,1]的定义并在其上引入了元素间的可分度的概念,讨论了其基本性质,并在此定义的基础上确定了一个度量ρ,从而([0,1],ρ)成为一个度量空间(文中称“G单位逻辑度量空间”),并对G单位逻辑度量空间的性质及其结构进行了详尽的讨论,并得到一些好的结果.最后,在MV单位区间上引入了类似ρ的一个度量ρ,′并证明了([0,1],ρ′)是通常度量空间。  相似文献   

11.
在文献[1]中,给出了一类特殊数列的前n项和公式。本文进一步推广了[1]中的结果。命题1设{an}是公差d≠0的等差数列,则命题1证率。田命题1可推出[1]中的公式一和三。推论1·1([1],公式一)推论1·2([1],公式三)命题2设{a}是公差为d≠0的等差数列,且ai≠0,i=1,2…,r≥2,则命题2证毕。由命题2可推出[1]中的公式二和四。推论2·1([1],公式二)若r≥2,则关于一类特殊数列的前n项和公式@刘春峰$锦州师专@郑秋丰$锦州太和八中数列;;前n项和;;公差[1] 唐兴国,一类持殊数列的前n项和公式.数学通报,1994.1…  相似文献   

12.
将基本真度概念进行推广,提出了二值命题逻辑中在有限信息Г限制下的公式真度概念,并讨论其计算性质.以此为基础定义了公式的Г-限制相似度和Г-限制伪距离,得到了在有限信息Г限制下公式到理论结论集伪距离的Г-限制真度表示式,为研究二值命题逻辑中基于有限信息限制的近似推理问题提供数值化工具.  相似文献   

13.
设f(x),g(x)分别为复数域上的m和n次多项式,利用幂级数展开法分m≥n或m<n两类情况讨论了形如f(x)+εg(x)=0的摄动代数方程[1]的近似解.得到了其根的四项展开式的三个公式.由前两个公式根据退化方程[2]的单根或重根给出该方程的m个根,由第三个公式给出关于m<n情形的其余n-m个根.  相似文献   

14.
[1] 文中讨论了sum from k=1 to n(cos~L(kπ)/(2n)) 和sum from k=1 to n(sin~L(kπ)/(2n)) 的计算问题,导出了四个计算公式。在这四个公式中,公式(1)和(3)是很复杂的,不便于应用。本文准备继续来讨论这个问题,为讨论方便起见,现将[1]文中的公式(1)和(3)转抄如下: “当L=2m时,则  相似文献   

15.
通常高等代数教材中以排列逆序为基础定义n阶行列式的值并证明其性质。为简便,也有教材,特别许多工科教材中用归纳法(或称递推法)定义n阶行列式的值,如[1]、[2]等。但教材中对于这种定义缺少系统的叙述,对于其性质也未给出严格证明。本文拟就系统叙述行列式的这种定义,并由此证明其性质。 定义一 把1~2,2~2,…,n~2个数排成正方形数表,并在两旁画两道竖线  相似文献   

16.
从含参变量的有限积分函数I(x)=$dcf(x,y)dy的定义及共在区间[a,b]上的分析性质(连续性、可微性与可积性)出发,拓广到含参变量的有限n(n≥2)重积分函数的定义及其分析性质,分别推导出含参变量的有限二重积分函数及含参变量的有限n重积分函数的连续性、可微性与可积性定理与公式。  相似文献   

17.
文献[1]中给出了Minc-Sathre不等式 n/n+1〈n√n!/n+1√(n+1)!〈1 (n∈N^*)① 此不等式可以用高等数学中的Stirling公式证明.文[1]给出了它的两个初等证明.文[2]给出了它的一种加强:  相似文献   

18.
<正>在处理数列题时,最基本的方法是运用定义及公式来解决,但是有时恰当地使用等差、等比数列的性质能给人以出奇制胜、耳目一新的感觉;同时在解决数列题时要注意加强与函数的联系,通过相应的函数及其图像的特征变化地、直观地去认识数列的性质.一、运用定义和公式法例1在数列{a n}中,前n项和S n=13a n-2(n∈N*),求{a n}.解析:为了求通项公式应先得到关于项的递推公式,由a n=S1n=1S n-S n-1n≥{2得,当n=1时,a1=S1=-3.  相似文献   

19.
从含参变量的有限积分函数I(x)=∫c^df(x,y)dy的定义及共在区间[a,b]上的分析性质(连续性、可微性与可积性)出发,拓广到含参变量的有限n(n≥2)重积分函数的定义及其分析性质,分别推导出含参变量的有限二重积分函数及含参变量的有限n重积分函数的连续性、可微性与可积性定理与公式。  相似文献   

20.
对于n维(n≥3)生态系统,常常是在正平衡点存在唯一的条件下分析其性质^[1、2、3];文[3]把具有功能性反应的三维生态系统分成五类,讨论了它们的有界性和稳定性;本文讨论了[3]中这些生态系统正平衡点的存在性和唯一性。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号