一般递归函数
基本解释
简解
一般递归函数的词语属性
拼音yì bān dì guī hán shù
拼音字母yi ban di gui han shu
拼音首字母ybdghs
一般递归函数的百科含义
一般递归函数(general recursive function)亦称递归函数，是指一类具有能行可计算的全数论函数。不仅如此，现在一般认为，能行可计算的全数论函数恰好就是一般递归函数，一般递归函数的概念最初是由美籍奥地利数学家哥德尔于1934年定义的，也就是现在所谓的埃尔布朗-哥德尔可计算函数，即若一个数论函数可由某个等式系ε定义，则哥德尔称f为一般递归的。1936年，美国逻辑学家、数学家克林(S.C.Kleene)引进了μ递归函数的概念，并进而证明了它恰好与哥德尔的一般递归函数类一致。此后，一般递归函数的概念便经常用μ递归的形式给出。莫绍揆于1965年利用一般递归式的概念提出了一般递归函数...
猜你喜欢
- lisezeshan栗色泽鳝
- jiangrongming姜荣明
- yuchansi玉蟾寺
- jiujianghaitangjiudian九江海棠酒店
- jiandifu碱地肤
- renxianliang任贤良
- huanjian幻鉴
- heidingliuying黑顶柳莺
- xiankuimaxianhao显盔马先蒿
- qiefutanjiudian切夫坦酒店
- beidashenyanyuan北大深研院
- donghoufangxiang东侯坊乡
- luò yánɡ cái zǐ解释：原指汉贾谊洛阳才子
- panyi潘异
- hexijiu喝喜酒
- zhangshouzhong张守忠
- gelier葛莉儿
- jiangcuikuguatiao酱脆苦瓜条
- chenlinru陈麟如
- houzhaomin侯兆民
- luozhuangjiaoyu罗庄教育
- dahebang大河蚌
- tijiaduotaipian蹄甲多肽片
- wuhanchezhan武汉车展
- buxiugangfangguan不锈钢方管
- xunjiang熏酱
- cuipihuanggua脆皮黄瓜
- fudapeng付大鹏
- meiyetiexianlian莓叶铁线莲
- manwuyingxiang漫舞樱香