递归结构——Ⅰ.可解决性理论

原文传递

导出

摘要本文提出一类代数结构,称为递归结构.在续篇中,将在递归结构基础上建立可解决性理论,并应用于数学问题.

作者胡世华

机构地区中国科学院软件研究所

出处《中国科学（A辑）》 CSCD 1990年第11期1137-1145,共9页 Science in China(Series A)

关键词递归函数代数结构递归结构

1胡世华.递归结构理论的形式系统和语句的可判定性——可解决性理论Ⅱ[J].中国科学（A辑）,1990,21(12):1235-1242.
2Lan-dang YUAN,Qing-de KANG.Decomposition of λK_v into Five Graphs with Six Vertices and Eight Edges[J].Acta Mathematicae Applicatae Sinica,2012,28(4):823-832. 被引量：1
3KANG Qing De,LIU Shu Xia,YUAN Lan Dang.Decomposition of λKv into 6-Circuits with Two Chords[J].Journal of Mathematical Research and Exposition,2009,29(5):774-786. 被引量：1
4Jing Hu YU,Yi Ming DING.Trees with Non-regular Fractal Boundary[J].Acta Mathematica Sinica,English Series,2008,24(8):1345-1350.
5王镌.非递归问题的递归设计[J].福建商业高等专科学校学报,2004(3):32-34.
6Meihui CHENG,Zhifen GUO.The Constructions for Large Sets and Overlarge Sets of Resolvable Hybrid Triple Systems[J].Journal of Mathematical Research with Applications,2015,35(1):19-38.
7马少军,郭迎,崔文善.有限时间收敛切换控制器设计[J].烟台师范学院学报（自然科学版）,2003,19(3):181-185.
8金宁德,郑桂波,陈万鹏.气液两相流电导波动信号的混沌递归特性分析[J].化工学报,2007,58(5):1172-1179. 被引量：23
9Yan WU,Yan-xun CHANG.On the Covering Number c_λ(3,W_4^((3)),v)[J].Acta Mathematicae Applicatae Sinica,2012,28(4):631-638. 被引量：1
10王建伟,徐俊明.变形超立方体网络的可靠性分析(英文)[J].中国科学技术大学学报,2009,39(12):1248-1252. 被引量：3

中国科学（A辑）

1990年第11期

浏览历史

内容加载中请稍等...