- 郝克刚
<正> 构造性的实数论,是用能行性理论作为方法研究实数的理论;把实数的定义加以构造地处理,进而研究它们的各种性质.构造性实数,也称为可计算实数,它的第一个定义是 A.M.Turing 1936年提出
1964年04期 481-493页 [查看摘要][在线阅读][下载 362k] [下载次数：55 ] |[网刊下载次数：0 ] |[引用频次：0 ] |[阅读次数：0 ] - 王光寅
<正> 本文所研究的课题是拟线性抛物型方程的第一边值问题.一般二阶拟线性方程可以写成下列形式
1964年04期 494-502页 [查看摘要][在线阅读][下载 305k] [下载次数：38 ] |[网刊下载次数：0 ] |[引用频次：0 ] |[阅读次数：0 ] - 谷超豪
<正> 正对称型偏微分方程组的系统理论是 K.O.Friedrichs 在1958年的论文中建立的.这是一项具有相当普遍性的理论,大量的古典的偏微分方程的问题,如二阶双曲型方程的柯西问题和混合问题,自共轭椭圆型方程和某些抛物型方程的各项标准边界问题,混合
1964年04期 503-516页 [查看摘要][在线阅读][下载 473k] [下载次数：158 ] |[网刊下载次数：0 ] |[引用频次：17 ] |[阅读次数：0 ] - 汪嘉岡
<正> 若为Brown运动过程,即运实值正态随机过程且满足,其中表示括号中随机变量的数学期望.Levy 及 Cam-eron 和 Martin 独立地得到了下列极限定理
1964年04期 517-531页 [查看摘要][在线阅读][下载 433k] [下载次数：118 ] |[网刊下载次数：0 ] |[引用频次：0 ] |[阅读次数：0 ] - 刘绍学
<正> 每一个子群都是不变子群的群,每一个子圈都是理想的圈顺序在[1],[2]中被刻划了.至于刻划每一子环都是理想的环(简称 H-环)的问题是到现在仍没有解决的比较复杂的问题.已知的结果都是讨论一些特殊的 H-环,[3,7]中刻划了一切有一个生成元的
1964年04期 532-537页 [查看摘要][在线阅读][下载 248k] [下载次数：81 ] |[网刊下载次数：0 ] |[引用频次：15 ] |[阅读次数：0 ] - 王进儒
<正> 设 A 是 Hibert 空间 H 中的有界自共轭正定算子,λ_1是谱 σ(A)的最大值.众所周知:
1964年04期 538-545页 [查看摘要][在线阅读][下载 201k] [下载次数：27 ] |[网刊下载次数：0 ] |[引用频次：1 ] |[阅读次数：0 ] - 高恒珊
<正> 本文是作者前文[1]的继续,记号和术语同[1].在[1]中我们曾证明如下两事实:(i)若演算 S_8~* 具有一个可数的函项 σ 自由 S_ε~* 代数 A,则单纯 S_ε~* 代数 B_0~N 亦是函项 σ 自由的;(ii)若一致公式集 Γ(?)S_ε~* 在一势不大于(?)的集 J 上 σ 可满足则 Γ 在 J 上对 B_0~N 可满足.本文将从根本土改善上述结果,证明如下两定理:
1964年04期 546-548页 [查看摘要][在线阅读][下载 97k] [下载次数：27 ] |[网刊下载次数：0 ] |[引用频次：0 ] |[阅读次数：0 ] - 陈景润
<正> 用 d_3(n)记将 n 表成为三个因子乘积的表法个数,则有渐近公式
1964年04期 549-558页 [查看摘要][在线阅读][下载 226k] [下载次数：200 ] |[网刊下载次数：0 ] |[引用频次：2 ] |[阅读次数：0 ] - 沈信耀
<正> 在[1]里面,张素诚从同伦边界的观念入手,系统地介绍了同调运算和精密的问调运算.我们现在从上同伦的情形出发,所获得的运算是上同调运算.在用这个办法所得到的上同调运算中,包括有熟知的 Steenrod 平方、J.Adem 二阶运算 Φ.就象通常所知道的那样,Steenrod 平方可以用来解决映(n+1)维多面体入 n 维球的映射的分类间
1964年04期 559-570页 [查看摘要][在线阅读][下载 303k] [下载次数：22 ] |[网刊下载次数：0 ] |[引用频次：2 ] |[阅读次数：0 ] - 李森林
<正> 这里所用的方法,亦是制定正方矩阵 A 的特征方程|A—λE|=0的根均有负实部的直接方法(不须展开即可判定,其他方法均须先展开,才能判定).
1964年04期 571-577页 [查看摘要][在线阅读][下载 167k] [下载次数：95 ] |[网刊下载次数：0 ] |[引用频次：15 ] |[阅读次数：0 ] - 孙永生,张阳春
<正> 设 W~((r))表示以2π为周期的函数类,其中每一函数 f(x)具有 r 阶(r>0)在 Wyel 意义下的导数 f~((r))(x),满足条件
1964年04期 578-596页 [查看摘要][在线阅读][下载 442k] [下载次数：44 ] |[网刊下载次数：0 ] |[引用频次：0 ] |[阅读次数：0 ] - 潘承洞
<正> 这里η为一正的绝对常数,0<η≤1/2,他的证明是用到了(?)的大筛法的一个推广.由此他证明了任一充分大的偶数可表成一个素数及一个半素数之和.最近作者化简并改进了 Rényi 的工作,使大筛法用之于 L-函数的零点分布得到了更精密
1964年04期 597-606页 [查看摘要][在线阅读][下载 214k] [下载次数：100 ] |[网刊下载次数：0 ] |[引用频次：2 ] |[阅读次数：0 ] - 胡世华,杨东屏
<正> 我们假定读者了解[1,2,3]中的内容,因而在使用其中符号吋不再详细说明.本文所用的字母表(?)指有穷字母表{0_1,…,0_k}.自从1928年 Ackermann 指出以后,大家都知道递归全函数范围是超出原始递归函数范围的(见[4])。但原始递归函数类,确为一个很自然的,有鲜明特色的函数类。它包括古
1964年04期 607-618页 [查看摘要][在线阅读][下载 375k] [下载次数：126 ] |[网刊下载次数：0 ] |[引用频次：0 ] |[阅读次数：0 ] 下载本期数据