搜索筛选:
搜索耗时1.0704秒,为你在为你在102,285,761篇论文里面共找到 11 篇相符的论文内容
发布年度:
[期刊论文] 作者：罗里波,
来源：北京师范大学学报：自然科学版 年份：2009
给出一个新的集合论悖论．用模型论方法证明了非良基性的集合论模型的存在性．这个模型中存在对∈关系下降的无限元素外序列．还证明可以存在集合论模型，其中ω,ω1等集合，ON和N等类......
[期刊论文] 作者：罗里波,
来源：北京师范大学学报：自然科学版 年份：1980
这是我们研究齐次模型的第二篇文章。在第一篇文章里我们证明了:(1)任意可数理论T的可数模齐次型数h_T...
[期刊论文] 作者：罗里波,
来源：数学研究 年份：2009
定义在全体实数上的可计算函数是一个很重要的概念．在这以前定义可计算的实数函数有两个途径．第一个途径是首先要定义可计算实数的指标．想要确定实数函数y=f（x）是不是可以计算就要......
[期刊论文] 作者：罗里波,
来源：数学研究 年份：2008
康托尔为我们建立了集合论，并且证明了实数的不可数性，但是其中留下了很多疑点．1．—个实数能在每—个集合论模型中出现的充分必要条件是它是可以被集合论来定义的．那些在集合论模......
[期刊论文] 作者：罗里波,
来源：数学研究 年份：2004
研究无原子布氏代数的计算复杂性. 得到了下面的新定理:定理1 无原子布氏代数理论Δ具有完全的量词消去法,也就是说每一个式子都Δ等价于一个开式子.定理2 无原子布氏代数的...
[期刊论文] 作者：罗里波,
来源：前沿科学 年份：2009
实数的可计算函数是一个非常重要的概念,定义可计算实数函数有两个途径,第一个途径是先定义可计算实数的指标.一个可计算实数的指标是一个计算该实数的Turing机的Godel数.一...
[期刊论文] 作者：罗里波,
来源：数学通报 年份：1996
计算机科学发展漫谈罗里波（北京师范大学数学系１００８７５）１ 历史的回顾．（手摇计算机和山本五十六事件的关系引起）很多计算机科学家把计算机的历史追朔到古希腊的亚里士多德，但我并不认为是这......
[期刊论文] 作者：罗里波,
来源：中国科学 年份：1981
本文讨论了三种自由群方程,对非蜕化的一元方程,证明它没有变数解,并对AxBx~(-1)=1的短解的消去式作了详细的讨论。对方程PxQyRx~(-1)Sy~(-1)=1,证明了它的有解性是有限可判定的,它的全部解可以归入有限个递归解集合,对以上方程有变数解的条件和变数解的形式,文......
[期刊论文] 作者：刘吉强,廖东升,罗里波,,
来源：数学学报 年份：2003
量词消去法已经成为计算机科学和代数模型论中最有力的研究工具之一.本文针对完全二叉树理论所独有的特性,给出了它的基本公式集,然后利用分布公式及有限覆盖证明了完全二叉...
[期刊论文] 作者：王世强,罗里波,翁稼丰,
来源：北京师范大学学报：自然科学版 年份：1986
两个群当适合形式语言■={·,1}中完全相同的形状为（■x1…xn）Ψ（x1…xn）（ψ中无量词）的语句时,称为■n-等价的。其他“部分初等等价性”可仿此定义。本文给出了两个群为■n-等......
[期刊论文] 作者：罗里波,龚成清,蒋桂梅,陈永遥,,
来源：数学通报 年份：2004
1问题的来源rn判断一个大的整数是否素数,如果它不是素数的话又如何将它分解为若干个因数的乘积是古典数论的一个重要问题.由于计算机科学和密码学的发展,上述的古典问题又焕...
相关搜索：
