期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
函数算术均值极限的黎曼积分形式及其在R_0命题逻辑中的应用
1
作者 吴洪博 王伦磊 《电子学报》 EI CAS CSCD 北大核心 2016年第8期1909-1914,共6页
提出并证明了在有界闭域上非负且黎曼可积的多元函数的算数平均值极限的黎曼积分形式,还证明了n值R0命题逻辑中当n趋于无穷大时公式的广义真度极限的存在定理;并根据在有界闭域上非负且黎曼可积的多元函数的算数平均值极限的黎曼积分形... 提出并证明了在有界闭域上非负且黎曼可积的多元函数的算数平均值极限的黎曼积分形式,还证明了n值R0命题逻辑中当n趋于无穷大时公式的广义真度极限的存在定理;并根据在有界闭域上非负且黎曼可积的多元函数的算数平均值极限的黎曼积分形式和n值R0命题逻辑中当n趋于无穷大时公式的广义真度极限的存在定理,在连续值R0命题逻辑中建立了相对于局部有限理论的公式的广义真度理论,为在R0命题逻辑中建立基于局部有限理论的近似推理,广义积分语义理论等奠定了基础. 展开更多
关键词 计量逻辑 黎曼积分 r0命题逻辑 局部有限理论 广义真度
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部