共查询到20条相似文献,搜索用时 0 毫秒
1.
<正> §1.引言 能行性問題,也就是算法問題或可計算性問題,是数理邏輯的中心問題.这問題在数理邏輯基本理論研究中的重要性是数理邏輯工作者所熟知的.然而,它的重要性是远远地超出数理邏輯的范围的. 能行性問題涉及一般数学的极为本貭的問題,而且牽涉得十分深广.以递归函数論 相似文献
2.
3.
4.
5.
6.
<正> 前言 本文是[1]§§5,6中所述結果的詳細證明。 假定M是一個m維的可微分閉流形,是M的一個微分構造。對於而言,在M的各點的切面很自然地决定一個m歐氏空間叢。如果 相似文献
7.
若D为Reinhardt域 D={Z∈Cn:‖z‖α=sum from j=1 to n(|zj|2/αj<1)},这里0<αj,j=1,2,…,n.证明了:若KD(z,)为D的Bergman核函数,则存在两个正的常数m与M,不依赖于z,而只依赖于α=(α1,…,αn)及n,使得 mF(z,)≤KD(z,)≤MF(z,z)对任一z∈D都成立,这里 F(z,)=(-r(z))-n-1 multiply from j=1 to n ((-r(z)+|zj|~(2/αj))1-αj),而r(z)=‖z‖α-1为D的定义函数. 相似文献
8.
<正> §1. 广义函数构造的研究是广义函数論的一个課題.不少广义函数是有限級的(如S广义函数),就可以通过連續函数(或L_2可积函数)的某阶广义微商表出,从而很多問題的处理都变得簡单了.但是还有很多广义函数是无限阶的,它們的表示怎样?作为S′的推广,我們将研究空間的一个表示問題,証明它們也可以看成是一个 相似文献
9.
在函数调用和递归调用语句的前或后插入printf()或getch()函数调用语句可以逐步或直观地反映出函数调用或递归调用的过程,使函数的调用和递归调用容易理解和掌握。 相似文献
10.
相依随机变量的密度函数的递归核估计的渐近正态性 总被引:1,自引:0,他引:1
设{X_n;n≥1}为同分布的ρ-混合序列,其未知密度,f(x)的递归核估计为: f_n(x)=1/n sum from j=1 to n h_j~(-1)K(x-X_j/h_j),本文在适当的条件下,讨论由f_n(x)所产生的随机元的有限维渐近正态性。 相似文献
11.
12.
13.
求已知函数f(x)的n次迭代式f(f(…(f(x))))的明显表达式,是一个古老、有趣而又困难的问题。本文先指出函数迭代与递归数列的关系;然后给出求函数迭代式的一种简便方法——递归法,最后探讨一类函数的周期性。一、设f(x)是定义在D上的函数,记 相似文献
14.
15.
16.
17.
<正> 在前一文[1]中,作者曾用折线逼近曲线,以研究曲綫的全曲率.本文目的,是要証明一个关于用光滑曲綫逼近具有有限个角点的曲线的定理.藉此定理之助,关于光滑曲綫全曲率的許多已知的定理,如Fenchel定理等,都可以推广到具有有限个角点的曲綫去. 本文的方法和結果都可以毫无困难地推广到高維欧几里得空間中去,但为簡单起見,我們只就3維欧几里得空間的情况来討論.文中所述及的曲綫是分段光滑的,且除有限 相似文献
18.
19.
给出线性规划原始对偶内点算法的一个单变量指数型核函数.首先研究了这个指数型核函数的性质以及其对应的障碍函数.其次,基于这个指数型核函数,设计了求解线性规划问题的原始对偶内点算法,得到了目前小步算法最好的理论迭代界.最后,通过数值算例比较了基于指数型核函数的原始对偶内点算法和基于对数型核函数的原始对偶内点算法的计算效果. 相似文献
20.
引言多复变数函数论在近十多年来发展得比较迅速,究其原因,有如下两方面:首先,它的绝大部分不是单复变数情形的简单推广,所以提出的许多问题都不是单复变数时所存在的问题。这既说明了多复变数函数论和单复变数函数论有着本质上的差别,也说明了它确实能形成一个独立的学科。其次,也由于它在实际应用中必然地会有巨大的作用。大家都知道单复变数函数论在实际问题中有广泛应用,多复变数函数论和实际问题的联系,目前也露出一些苗头。例如它在量子埸论的色散关系中的应用。多复变数函数论这一学科的历史悠久,早期工作大多属于形式推广。从本世纪初,才出现一些本质的问题,因此引起了很多数学家的兴趣。然而,到现在为止,这一学科还很不成熟,还处在幼年时代。所以比起单复变数函数论的深入和丰富多采来说是相形见拙。可是,它却和许多学科有着紧密的联系。例如在研究 相似文献