Please wait a minute...
北京大学期刊网 | 作者  审稿人  编委专家  工作人员

首页   |   关于   |   浏览   |   投稿指南   |   新闻公告
数学进展
  1966年, 第-5卷, 第1期 刊出日期:1966-02-15 上一期    下一期
选择: 合并摘要 显示图片
综述文章
原始递归算术的新系統(Ⅰ)
莫绍揆;沈百英;
数学进展. 1966, -5 (1): 1-26.  
摘要  
引言递归算术可以说是不借助于逻辑(命题演算,谓词演算及集合论),而直接建立关于自然数的公理系统的理论,由于它不借助于集合论,故它不受集合论誖论的牵累,其不矛盾性应该无容怀疑。由于它不借助于命题演算及谓词演算,它是第一个无须借助于逻辑的数学系统,它的成就证明了逻辑主义者那么勉强地把数学化归于逻辑(包括集合论),实在
Related Articles
研究论文
Hilbert空間中一类非线性算子及其应用
王声望;
数学进展. 1966, -5 (1): 27-32.  
摘要  
本文的目的在于讨论Hilbert空间中一类非线性算子方程的广义解与弱解以及它们的一些应用。试考虑方程 P(u)=ω,(1)其中P(u)是定义在Hilbert空间H的某一稠密线性子集H_0上的(非线性)算子,ω∈H。关于这类方程的广义解的研究,通常采用的一种办法是先假定方程(1)的左端是某一泛函数的梯度,然后把研究广义解的问题变成研究泛函数的极值问题。本文仍沿着这一想法
Related Articles
一类有报酬的馬尔可夫决策过程最优化問題的线性規划模型
桂湘云;
数学进展. 1966, -5 (1): 33-41.  
摘要  
§1.引言 Ronald A.Howard在[1]中解决了一类有报酬的马尔可夫决策过程的最优化问题,这类问题在生产实际中是常见到的,例如,关于设备的维修与更新的某些问题便属于这种类型。实质上,这种问题是一个组合问题,本文得出了它与一个线性规划问题之间的对应关系,并因此指出了Howard方法与单纯形方法的联系。此外,将此问题所对应的线性
Related Articles
关于(dy)/(dx)=(sum a_iy~ix~(n-i) from 0 to n)/(sum b_iy~ix~(n-i) from 0 to n)的积分曲线(Ⅰ)
李梧生;
数学进展. 1966, -5 (1): 50-54.  
摘要  
李森林讨论了本文所论微分方程积分曲线不同类型的数目。本文由与不变直线斜率相应的根之重数直接表出积分曲线的“型列”及奇点的指数,并顺便用所得结果给[1]中定理2.1,2.2,2.3以简捷的新证法。
Related Articles
拟共形映照的参数表示
李有才;
数学进展. 1966, -5 (1): 55-66.  
摘要  
Related Articles
不适定的边值問題的研究(Ⅰ)Hadamard意义下的复合型偏微分方程的Cauchy問題
D.曼日隆;
数学进展. 1966, -5 (1): 67-71.  
摘要  
近年来,许多作者对适定和不适定的郭西问题作了不少工作,例如,L.Garding,F.A.Dionne,谷超豪,李大潛,侯宗义,D.Mangeron以及其它人的工作。作者在本文中应用M.Picone意义下的可退化边值问题的若干结果,提出了几个定理,这些定理是关于J.Hadamard意义下的“复合型”偏微分方程的郭西问题的存在性、唯一性和
Related Articles
投影空間和代数簇的联与乘积簇的基性质
李乔;
数学进展. 1966, -5 (1): 72-74.  
摘要  
1.如果已经知道一代数簇上对代数等价关系来讲的各个维数子簇的基,能否由此决定该代数簇与投影空间的联(cross-join)或者乘积簇的基?这篇短文的目的就是给出上述问题的一个肯定回答。同一类型,但更一般的问题还有待更深入一步的研究。我们大体按照Hodge的用语,不过要指出的是:
Related Articles
代数齐性簇的对偶有理分割
李乔;
数学进展. 1966, -5 (1): 75-78.  
摘要  
代数簇上任意维数的循环(Cycles)对代数等价而言是否具有有限生成元,是代数几何长期未解决的根本问题之一。因此,对一些常见代数簇的代数等价群的分析是值得注意的,Hodge和Pedoe的书中讨论了二次非退化超曲面和Grassmann簇,之后,周炜良证明了存在一类有理代数簇,对它有有限的有理基(卽对有理等价而言具有限生成元)。最近,吴文俊由于考虑代数簇上陈省身示性系的需要,利用周的结果和Ehresmann的
Related Articles
关于A.Weil的相交重数和Van der Waerden的相交重数的关系
邓诗涛;
数学进展. 1966, -5 (1): 79-84.  
摘要  
Van der Waerden在[3]中曾给出一种相交重数的定义,他的相交理论是后来由W.V.D.Hodge和D.Pedoe加以整理和完善的,A.Weil在[1]中也给出一套相交理论。本文的目的是研究这两种相交重数的关系。本文采用A.Weil在[1]中的术语,当可能混淆时,将特别指出。
Related Articles
关于正态过程导出測度的等价性条件的簡单証明
潘一民;
数学进展. 1966, -5 (1): 85-90.  
摘要  
设T为任何集,X_T=(X_t,t∈T),Y_T=(Y_t,t∈T)为两个实值正态过程,R~T为T上的实函数全体,β~T为R~T的所有Borel子柱集生成的Borel域,P_Y,P_Y分别为X_T,Y_T在可测空间(R~T,β~T)上导出的概率测度。
Related Articles
某些均衡型結合方案的构造
刘璋温;张尧庭;
数学进展. 1966, -5 (1): 91-93.  
摘要  
Related Articles
关于Колмогоров定理之推广
陈家鼎;
数学进展. 1966, -5 (1): 94-96.  
摘要  
§1.引言证明了在实函数空间中建立测度的重要定理,现在都称之为定理。在[2]中推广了这个定理,即[2]中定理1.2(见中译本21页,以下简称“定理1.2”),但未给出详细证明,本文举出反例来说明,这个推广是不正确的。
Related Articles
原始递归单純集及其分层
楊东屏;
数学进展. 1966, -5 (1): 97-101.  
摘要  
Related Articles
第四次全国計算技术經驗交流会議
数学进展. 1966, -5 (1): 102-102.  
摘要  
由中国数学会、中国电子学会联合召开的第四次全国计算技术经验交流会议去年8月15日至22日在哈尔滨市举行。会议内容包括宣读数字电子计算机,计算数学及程序自动化,数理逻辑,自动机理论等方面的学术论文和工作经验交流。参加会议的各方面代表共219人,并有148人列席了会议,会议共收到论文和报告282篇,其中有关计算机的152篇,有关计算数学的97篇,有关程序自动化,数理逻辑及自动机理论的33篇。在会
Related Articles
首页 · 关于 · 关于OA · 法律公告 · 收录须知 · 联系我们 · 注册 · 登录


© 2015-2017 北京大学图书馆 .