期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
强共归纳数据类型上的Comonadic共递归 被引量:2
1
作者 苏锦钿 余珊珊 《华南理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2014年第1期128-134,共7页
针对共归纳数据类型上的unfold无法描述带参数的共递归计算的问题,首先证明了笛卡尔封闭范畴上的终结共代数是强终结的,并给出强共归纳数据类型的范畴论定义及其上一种带固定参数的共递归——punfold,使得共归纳数据类型上的共递归计算... 针对共归纳数据类型上的unfold无法描述带参数的共递归计算的问题,首先证明了笛卡尔封闭范畴上的终结共代数是强终结的,并给出强共归纳数据类型的范畴论定义及其上一种带固定参数的共递归——punfold,使得共归纳数据类型上的共递归计算可以包含额外的参数作为计算的输入;然后利用基于Comonads的Comonadic共递归给出了unfold和punfold的一种统一的描述,并进一步分析了punfold上的各种计算律,从而将Pardo对基于Comonads的带参数的递归计算研究扩展到共归纳数据类型. 展开更多
关键词 递归函子 共归纳数据类型 终结共代数
下载PDF
ON THE NONEXISTENCE OF NONTRIVIAL SMALL CYCLES OF THE μ FUNCTION IN 3x+ 1 CONJECTURE 被引量:1
2
作者 Dengguo FENG Xiubin FAN +1 位作者 Liping DING Zhangyi WANG 《Journal of Systems Science & Complexity》 SCIE EI CSCD 2012年第6期1215-1222,共8页
This paper studies the property of the recursive sequences in the 3x + 1 conjecture. The authors introduce the concept of μ function, with which the 3x + 1 conjecture can be transformed into two other conjectures:... This paper studies the property of the recursive sequences in the 3x + 1 conjecture. The authors introduce the concept of μ function, with which the 3x + 1 conjecture can be transformed into two other conjectures: one is eventually periodic conjecture of the μ function and the other is periodic point conjecture. The authors prove that the 3x + 1 conjecture is equivalent to the two conjectures above. In 2007, J. L. Simons proved the non-existence of nontrivial 2-cycle for the T function. In this paper, the authors prove that the μ function has nol-periodic points for 2 ≤ 1 ≤12. In 2005, J. L. Simons and B. M. M de Weger proved that there is no nontrivial/-cycle for the T function for 1 ≤68, and in this paper, the authors prove that there is no nontrivial l-cycle for the μ function for 2 ≤ 1≤ 102. 展开更多
关键词 Diophantine equation eventual period periodic point 3x 1 conjecture.
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部