...之完成这一函数集.3)给定一自动机 (aut011进ton)行为确实切描绘，结构这一自动机本 身.4)给定一可计算函数(comPutable function)，找 出计算它地一种方法，或编制相应地程序. 上述例子触及离散数学.
基于2462个网页-相关网页
... 可计算概率 countable probability 可计算函数 calculable function 可计算性理论 computability theory ...
基于14个网页-相关网页
能行可计算函数 effectively computable function ; [数] effectively calculable function
图灵机可计算函数 Turing Computable Function
可计算函数逻辑 Logic of Computable Functions
五元组杜林可计算函数 quintuple Turing computable function
五元组图灵可计算函数 [数] quintuple Turing computable function
部分可计算函数 partially computable function
预测可计算性函数 predictably computable function
不可计算的函数 uncomputable function
There have been developed various kinds of models such as the computable function model, predicate word calculus, Turing machine, algebra model etc. in the related fields. Each model has its one advantage and limitation.
人们在不同的领域构造了许多不同的模型,如:可计算函数模型、谓词演算模型、代数模型等。
参考来源 - 程序正确性验证的几个问题·2,447,543篇论文数据，部分数据来源于NoteExpress
由于在可计算函数逻辑(LCF)、ML和并行理论(CCS)这三个方面突出和完美的贡献。
Computable logic function (LCF), ML and the parallel theory (CCS) which highlighted three areas and perfect.
证明过程中主要应用了分析中的压缩映象原理和一些空间的性质，通过构造可计算函数，来把解从一个区间延拓到整个空间。
We mainly apply the contraction principle in analysis and properties of some Spaces. By the computable functions constructed, we extend the solution from the internal to the entire space.
在可计算性理论中，可计算函数（computable function）或图灵可计算函数是研究的基本对象。它们使我们直觉上的算法概念更加精确。使用可计算函数来讨论可计算性而不提及任何具体的计算模型，如图灵机或寄存器机。但是它们的定义必须提及某种特殊的计算模型。 在可计算函数的精确定义之前，数学家经常使用非正式术语可有效计算的。这个术语因此可以被认同为可计算函数。尽管这些函数被叫做有效的，它们可能极其困难。可行可计算性和计算复杂性研究可有效计算的函数。 依据邱奇-图灵论题，可计算函数精确的是使用给出无限数量的时间和存储空间的机器计算设备来计算的函数。等价的说，这个论题声称有算法的任何函数都是可计算的。 可以使用 Blum 公理来在可计算函数的集合上定义抽象计算复杂性理论。在计算复杂性理论中，确定一个可计算函数的复杂性的问题叫做功能性问题。
应用推荐