可计算函数的日文

发音:

日文翻译
造句

計算可能関数

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

例句与用法

在计算机程序设计语言方面，米尔纳和戈顿等人一起提出了形式化逻辑系统的数学模型，实现了他称之为LCF的一个系统??“可计算函数的逻辑”。
由于递归函数可以与其性质这样不同的函数类相等价,因此丘奇和图林同时提出:可计算函数类恰好是递归函数，可计算的半、全函数分别是递归半、全函数。
卡普归约的要点如下：对于∑上的两个语言L1、L2，在多项式时间可计算函数f:∑*→∑*，使得对任何x∈∑*，x∈L1当且仅当f(x)∈L2，则称L1多项式时间多一归约到L2，记为L1≤pmL2。
在概率图灵机的研究中，对可计算随机函数，给出了定义并对可计算函数及其运算也都作了研究，而且还证明了图灵机的许多研究结果在概率图灵机的情况下仍然成立。
首先，在计算机程序设计语言方面，米尔纳和戈顿(M．J．Gordon)等人一起提出了形式化逻辑系统的数学模型，实现了他称之为LCF的一个系统??“可计算函数的逻辑”(LogicforComputableFunc-tions)。
任一个可计算函数或可识别集，在计算时间和存储空间受限制的情况下是否可计算或可识别的问题，从肯定方面涉及到好的算法的设计问题，从否定方面涉及到问题固有复杂性的下界估计问题。
早在1990年胡世华就在递归算法的基础上考虑了字上可计算函数在证明论中的应用，他在1990年《中国科学》上发表了《递归结构??可解决性理论Ｉ》及《递归结构理论的形式系统和语句的可判定性??可解决性理论Ⅱ》。