可计算函数的日文

• 計算可能関数

• 预测可计算性函数    よそくけいさんかのうかんすう
• 可计算性    けいさんかのうせいコンピュータビリティ
• 可计算数    コンピュータブルすうけいさんできるすうコンピュータブル数
• 可计算模型    けいさんかのうモデル
• 可计算性理论    けいさんかのうせいりろん
• 模糊可计算性    ファジイ計算可能性ファジイけいさんかのうせい
• 函数计算器    かんすうでんたく
• 隐函数计算    いんかんすうけいさん
• 个人函数计算机    パーソナル関数電卓パーソナルかんすうでんたく
• 函数模拟计算机    かんすうがたアナログけいさんき
• 函数    〈数〉関数.▼“因变数 yīnbiànshù ”ともいう.
• 计算    （1）計算する. 他计算了一下,修这块梯田 tītián 需要六十个工／彼の計算によると,この段々畑を切り開くには延べ60人の労働力が必要だ. （2）思案する.見積もる.もくろむ.計画する. 要好好计算计算,买哪个厂家的产品更好／どのメーカーの製品を買えばいいのか,よく考えたほうがいい.
• γ－函数    ガンマかんすうガンマ関数
• δ函数    しょうげきかんすうデルタ関数デルタかんすうインパルス関数インパルスかんすう
• 下函数    れつきゅうすうれつかんすう
• 优函数    ゆうかんすう
• 伪函数    ぎかんすう
• 位函数    ポテンシャル関数ポテンシャルかんすう
• 余函数    きょうやくかんすうよかんすう
• 佳函数    こうてきなかんすう
• 可解释的    とける
• 可解脱离合器    しゃ断クラッチしゃだん断
• 可视起泡器    かしきほうき
• 可视语言    ビジブルスピーチ
• 可认识的    それと分かる
• 可视给油润滑器    サイトフィードルブリヶータみおくりちゅうゆき

• 的发展，世界上若干国家的科学家注意到了应该有一种直接在字上定义的可计算函数，以利于对符号串加以处理。
• 数理逻辑学界一致承认可计算函数与递归函数是相同的，从而一函数是可计算的当且仅当它是可用图林机计算的。
• 这就是“丘奇-图灵论点”，相当完善地解决了可计算函数的精确定义问题，对数理逻辑的发展起了巨大的推动作用。
• 阿隆佐?邱奇(1903年6月14日?1995年8月11日)是美国数学家，1936年发表可计算函数的第一份精确定义，对算法理论的系统发展做出巨大贡献。
• “正整数的能行可计算函数的概念，应当等同于正整数的递归函数……”这个论题是由美国数理逻辑学家A.丘奇于1935年提出来的。
• 它包括一条变换规则(变量替换)和一条函数定义方式，Lambda演算之通用在于，任何一个可计算函数都能用这种形式来表达和求值。
• 但是，德国数学家W.阿克曼的非原始递归的可计算函数的出现，否定了这个猜测，同时也要求人们探讨原始递归函数以外的可计算函数。
• 计算复杂性理论原是可计算理论的一支，是以各种可计算函数(即递归函数)的计算复杂性（在早期称作“计算难度”）为其研究对象的。
• 实际上，PCF（可计算函数的编程语言）是元典型（prototypical）的有类型的函数式编程语言，这里的类型被用来确保程序是有良好行为的而不必需是终止的。
• “图灵机”不是一种具体的机器，而是一种思想模型，可制造一种十分简单但运算能力极强的计算装置，用来计算所有能想象得到的可计算函数。

• 可计算函数的英语：calculable functions
• 可计算函数的法语：Fonction calculable
• 可计算函数的韩语：계산 가능 함수
• 可计算函数的俄语：Вычислимая функция