- 预测可计算性函数 よそくけいさんかのうかんすう
- 可计算性 けいさんかのうせいコンピュータビリティ
- 可计算数 コンピュータブルすうけいさんできるすうコンピュータブル数
- 可计算模型 けいさんかのうモデル
- 可计算性理论 けいさんかのうせいりろん
- 模糊可计算性 ファジイ計算可能性ファジイけいさんかのうせい
- 函数计算器 かんすうでんたく
- 隐函数计算 いんかんすうけいさん
- 个人函数计算机 パーソナル関数電卓パーソナルかんすうでんたく
- 函数模拟计算机 かんすうがたアナログけいさんき
- 函数 〈数〉関数.▼“因变数 yīnbiànshù ”ともいう.
- 计算 (1)計算する. 他计算了一下,修这块梯田 tītián 需要六十个工/彼の計算によると,この段々畑を切り開くには延べ60人の労働力が必要だ. (2)思案する.見積もる.もくろむ.計画する. 要好好计算计算,买哪个厂家的产品更好/どのメーカーの製品を買えばいいのか,よく考えたほうがいい.
- γ-函数 ガンマかんすうガンマ関数
- δ函数 しょうげきかんすうデルタ関数デルタかんすうインパルス関数インパルスかんすう
- 下函数 れつきゅうすうれつかんすう
- 优函数 ゆうかんすう
- 伪函数 ぎかんすう
- 位函数 ポテンシャル関数ポテンシャルかんすう
- 余函数 きょうやくかんすうよかんすう
- 佳函数 こうてきなかんすう
- 可解释的 とける
- 可解脱离合器 しゃ断クラッチしゃだん断
- 可视起泡器 かしきほうき
- 可视语言 ビジブルスピーチ
- 可认识的 それと分かる
- 可视给油润滑器 サイトフィードルブリヶータみおくりちゅうゆき
- 因此,可计算函数的精确定义为:能够在抽象计算机上编出程序计算其值的函数。
- 为了包括所有的直观可计算函数,需要把原始递归函数类扩充为部分递归函数类。
- 直观可计算函数不是一个精确的数学概念,因此丘奇-图灵论题是不能加以证明的。
- 获奖原因:由于在可计算函数逻辑(LCF)、ML和并行理论(CCS)这三个方面突出和完美的贡献。
- 图灵机使人们普遍接受了关于算法的丘奇论题:递归函数是可计算函数的精确的数学描述。
- LCF项目是受Dana Scott给出的一组逻辑原则启发而设立的,致力于开发一种“可计算函数逻辑”(Logic of Computable Functions)。
- 可用一个图灵机来计算其值的函数是可计算函数,找不到图灵机来计算其值的函数是不可计算函数。
- 它们使用递归和复合作为中心运算来定义,并且是递归函数的严格的子集,它们完全是可计算函数。
- “当丘奇提出这一论题时,我准备用对角化方法否证它,希望指出算法可计算函数超出了l可定义函数类。
- 他和杨东屏在《数学学报》发表的《关于原始递归性》一文中研究了原始递归算子在可计算函数类的作用。
Last modified time:Mon, 18 Aug 2025 00:29:56 GMT