导航
建议反馈
词典App

可计算函数的日文

  • 計算可能関数
  • 例句与用法
  • 因此,可计算函数的精确定义为:能够在抽象计算机上编出程序计算其值的函数。
  • 为了包括所有的直观可计算函数,需要把原始递归函数类扩充为部分递归函数类。
  • 直观可计算函数不是一个精确的数学概念,因此丘奇-图灵论题是不能加以证明的。
  • 获奖原因:由于在可计算函数逻辑(LCF)、ML和并行理论(CCS)这三个方面突出和完美的贡献。
  • 图灵机使人们普遍接受了关于算法的丘奇论题:递归函数是可计算函数的精确的数学描述。
  • LCF项目是受Dana Scott给出的一组逻辑原则启发而设立的,致力于开发一种“可计算函数逻辑”(Logic of Computable Functions)。
  • 可用一个图灵机来计算其值的函数是可计算函数,找不到图灵机来计算其值的函数是不可计算函数
  • 它们使用递归和复合作为中心运算来定义,并且是递归函数的严格的子集,它们完全是可计算函数
  • “当丘奇提出这一论题时,我准备用对角化方法否证它,希望指出算法可计算函数超出了l可定义函数类。
  • 他和杨东屏在《数学学报》发表的《关于原始递归性》一文中研究了原始递归算子在可计算函数类的作用。
  • 更多例句:  1  2  3  4  5
  • 其他语种释义
  • 推荐日语阅读
可计算函数的日文翻译,可计算函数日文怎么说,怎么用日语翻译可计算函数,可计算函数的日文意思,可計算函數的日文可计算函数 meaning in Japanese可計算函數的日文,发音,例句,用法和解释由查查日语词典提供,版权所有违者必究。
Last modified time:Mon, 18 Aug 2025 00:29:56 GMT

说出您的建议或使用心得