共查询到20条相似文献,搜索用时 140 毫秒
1.
2.
一、前言 本文塑造了一个一阶数学理论,并证明它等效于Curry的合成逻辑。 探讨合成逻辑与谓词演算的统一基础,将有助于我们进一步为奠定“泛函体裁与逻辑体裁相结合的编程语言的严格彻底数学基础”作好准备。本文旨在:从代数的观点,为合成逻辑塑造一个一阶数学理论,并证明此数学理论等效于合成逻辑。这样,合成逻辑被融入到一阶谓词演算之中,或者说,合成逻辑与谓词演算融合在一阶数学理论中。 文中所采用的术语和符号遵循文献[1,3]。 相似文献
3.
一、前言 γω演算有希望成为泛函程序设计语言(至少,对于不带类型的)最一般的语义学理论基础。本文为形式泛函程序设计语言FFP奠定γω演算语义,从而也为γω演算开发了一种应用。文中还着重讨论了FFP语言中的元合成法则,并提出了一般性元合成法则(general metacomposition rule,它区别于广义元合成法则)。 相似文献
4.
关于某一类单叶函数的一个不等式 总被引:2,自引:0,他引:2
令H_n表示形如f(z)=z sum from k=(n 1)to ∞(a_kz~k)(n≥1)且在单位圆盘U={z:|z|<1}内解析的函数f的全体所成的类,H_1中的单叶函数全体记作S.设a>0,0≤ρ<1,定义B_n(a,ρ)={f:f∈H_n且Re[f’(z)(f(z)/z)~(a-1)]>ρ,z ∈U},其中的幂函数取主值,以下相同,B_n(a,ρ)是Bazilevic函数类的子类,众所周知,Bazilevic函数是单叶函数,因此B_n(a,ρ)(?)S.最近Owa等证明了:对于f∈B_n(a,ρ)有Re[f(z)/z]~a>(1 2ρa)/(1 2a); 相似文献
5.
多值逻辑函数相关免疫的谱特征 总被引:10,自引:1,他引:10
相关免疫是密码学中的一个重要概念.在文献[1]中,Siegenthaler给出了相关免疫的数学定义,并且将逻辑函数的相关免疫阶数作为密码系统抗相关攻击的一个度量指标.利用Walsh变换,文献[2]研究了二值逻辑函数即布尔函数的相关免疫性,得到了几变元的布尔函数为m阶相关免疫的充分必要条件,这一结果在研究二值相关免疫函数的性质及构造中发挥了重要作用.对于从GF~n(p)到GF(p)的函数,即p-值逻辑函数,由于其代数结构比布尔函数复杂.对 相似文献
6.
设函数f(z)在单位圆D内解析,记M(r,f)=max|f(Z)|(0≤r<1),H~p表示|z|=rHardy空间。对某一在[0,1)上不减的非负连续权函数ρ(t),由[1]定义带权的解析函数空间: 相似文献
7.
的初边值问题和周期初值问题的差分计算中的理论问题。其中向量φ=(ψ_1,ψ_2,…,ψ_L)~T为复值函数向量,未知函数X(x,t)为实值函数;μ,δ,ν均为实常数;在文献[1,2]中研究了该类三维非线性波动方程组的三维孤立子问题。在文献[3]中证明了这类非线性波动方程组光滑解的存在唯一性。本文对一维非线性波动方程组的初边值问题给出隐式差分格式,证明了该格式依C~1模的收敛性和稳定性,并由差分解的高阶差商的一致性估计得到了微分方程组广义解的存在性。对多维非线性波动方程组的周期 相似文献
8.
文[1]讨论了从Banach空间X到L~1(μ)中的积分算子、核算子的特征,文[2]讨论了从X 到L~1(μ)中的有界线性算子、弱紧算子的特性.本文以算子的表示测度作为工具进一步刻划了各类算子的特征,并由算子的特性给出Banach 空间的一个结构定理,同时也给出积分算子的一个表现定理. 相似文献
9.
本文令[a]表示一个实数a的整数部分,且令{a}=a-[a]。令μ和φ分别表示Mbius函数和Euler函数.令|G:A|表示群G的子群A的指数。 相似文献
10.
除了可裂G_2外,为了给出线性连通Lie群G的缠结算子公式,文献[1]中讨论了G的K态在一类重要的张量积中的相遇问题。为了给出可裂G_2的缠结算子公式,讨论可裂G_2的K态在一类重要的张量积中的相遇问题是十分必要的,本文对此问题给出了以下的结果,本文的概念和符号均与文献[1]中一致。 引理1 设A’是△_K~ 上的支配整线性函数,那么: 相似文献
11.
1.在文献中Castaneda对Lewis模态命题演算S5证明了一条定理。此定理表明演算S5具有有穷模型性质,从而由之可推出S5的可判定性。略早于文献[1]时,著者在文献[2]中对于演算(?)_ε得到一条类似的定理,即文献[2]中的定理6。这里应指出,Castaneda在文献[1]中的定理和文献[2]中的定理6实质上是等价的。这里先对文献[2]中有关部分作一些修正。文献[2]的定理6陈述中的“B_0~()”应改为“B_0~(<2n>)”;相应地,该定理证明中 相似文献
12.
本文利用文献[1]所给出的虚坐标方法讨论了两个Schwarzschild黑洞场迭加的时空结构。根据文献[1]中系2.1,我们得到如下结论,设有两个分别位于Weyl坐标系ρ=0,z=0和ρ=0,z=Z的Schwarzschild黑洞m_1和m_2,当|Z|>M_1 m_2时,一个黑洞的视界坐标不受另一个黑洞的影响。 相似文献
13.
出于为模糊推理奠定逻辑基础之需要,文献[1]提出了形式系统L.基于此文献[2~4]从语义的角度为FMP及FMT建立了严格的逻辑依据.为从语构的角度开展进一步的工作,本文首先证明了L中F(S)的典型赋值中介[F]的结构定理,然后将L中的14条公理作了简化,得出了仅含9条公理的等价系统L°.设S是无限集,是一元运算,∨与→是二元运算,以F(S)记由S生成的(,∨,→)型自由代数.称由F(S)、文献[1]中的14条公理(L1),(L3)—(L6),(M1)—(M9)以及MP规则与交推理规则组成的系统为L.设A,B∈F(S),定义A~B 当且仅当├(A→B)且├… 相似文献
14.
一、引言本文研究多元有界变差函数的Fourier级数的球形求和问题,旨在使用作者在文献[1]中的某些结果以改进的主要定理。在文献[2]中曾引入所谓多元广义有界变差函数的概念,并建立了有关广义有界变差函数之Fourier级数Riesz球形平均(临界阶)的收敛定理。文献[2]的定义如下: 相似文献
15.
设χ表示模q(>1)的Dirichlet's特征,L(s,χ)表示对应于χ的L函数,D.R.Heath-Brown在文献[1]中研究二次均值的渐近级数时,引入了如下函数: 相似文献
16.
17.
在文献[1]中,Meir和Sharma提出了一种五次缺插值样条函数,文献[2,3]改进了文献[1]中的结果。最近,沙震用类似方法讨论了七次、十一次样条。本文目的是给出一种一般的处理方法,不仅大大改进了已有结果,而且可用来讨论一般的插值偶次导数的样条。在§1中,通过Hermite插值样条讨论一种H-B插值样条给出收敛速度估计和渐近展开。 相似文献
18.
本文使用复动力学中的标准名同与符号。 设f:C→C是一个亚纯函数。f~n表示f的第n次迭代,N(f)表示f的稳定集,J(f)表示f的Julia集。本文将研究一类亚纯函数T_λ(z)=λtan z的动力学对参数的依赖性,该类函数曾被Devaney和Keen在文献[1]中所研究。 相似文献
19.
格蕴涵代数的滤子与结构 总被引:16,自引:0,他引:16
为了从语义角度研究命题的真值取于格上的逻辑系统,文献[1]将格与蕴涵代数相结合提出了格蕴涵代数的概念,文献[1,3~5]研究了格蕴涵代数的一些性质.本文讨论格蕴涵代数中的滤子,特别是生成滤子,并由此探讨一类格蕴涵代数的结构特征.1 滤子及其性质关于格蕴涵代数及其中滤子的定义参看文献[1].定义1 设(L,V,∧,’,→)为一个格蕴涵代数,称包含A(?)L的最小滤子(A]为由A生成的滤子. 相似文献
20.
再论多重共轭Fourier级数的强求和 总被引:1,自引:0,他引:1
本文是文献[1]的继续,其目的是改进文献[1]关于多重共轭Fourier级数强求和的结果。 沿用文献[1]的记号。设Q={x=(x_1,…,x_k):-π≤x_j<π,j=1,…,k}。 L(Q)表示在Q上可积的函数的集合,设P(x)是一个n≥1次的k元齐次调和多项式。对于f∈ 相似文献