查询词典 predicate function
- 与 predicate function 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
Frege's second-order predicate calculus was based on the 'function-argument' analysis of propositions and it freed logicians from the limitations of the 'subject-predicate' analysis of Aristotelian logic.
弗雷格第二阶谓词微积分是基于'功能参数的分析命题，它摆脱了限制逻辑学家的'主谓'亚里士多德逻辑分析。
-
Thus the function of the categorical judgment is that of the relation of subject to predicate; for example,'All bodies are divisible'.
例如，直言判断的机能乃是主项与其述项的关系之机能；比如"凡物体都是可分割的"就是一例。
-
In the form of mathematical logic and related branches, functional predicate or function symbol is applied to an object key and generate another object entry logic symbols.
在形式逻辑和相关的数学分支中，泛函谓词或函数符号是应用于一个对象项而生成另一个对象项的逻辑符号。
-
Negators: A negator is a function adaptor that reverses the truth value of a predicate function object.
求反器，是一种函数适配器，它将谓词函数对象的真值求反。
-
That is to utilize general MPI programming environment, program on the NHBL parallel computational model, analyze and predicate the running cost of program by using the cost function of this model, and analyze the scalability of program by using the time-scale scalability metric. Finally, we analyze the numeric algorithm example---matrix multiplication and the nonnumeric algorithm example---PSRS sorting on Dawning-1000 MPP and NHPCC-cluster NOW system by using the integrative method.
提出了将并行计算模型、算法、编程进行一体化的研究的方法，即利用通用的标准的MPI编程环境，将编程建立在NHBL并行计算模型上，并且利用该并行计算模型的评价函数进行分析、预测程序的运行代价，再利用时间比例的可扩放性分析方法来分析程序的可扩放性性能；最后我们用PSRS排序算法和矩阵乘法这两个典型的数值和非数值的算法，在曙光-1000并行机和NHPCC-Cluster工作站集群上进行了一体化的分析。
-
By analyzing the tested program, this paper presents the balance force method of test data generation, according to an input of the program, decide to remove variable scope and variable in the predicate processed with function minimum, an example is given in this paper.
文章通过对被测试程序的分析，提出了生成测试数据的平衡力法，对任意的输入变量，判断变量移动范围及进行谓词中变量的函数极小化，得到测试数据，并给出了具体实现方法。
-
This function is part of the STL and requires a predicate as third argument.
此函数是STL的一部分，需要一个谓词作为第三个参数。
-
The function of the modifier prior to the predicate nominal is similar to that of the copula """"是"""" by transferring the property denoted by the noun into a propositional function.
对这些限制条件我们从共时、历时及语言类型学的角度进行了验证，认为名词谓语句中出现的这些附加条件应该是具有普遍意义的。
-
The function of the modifier prior to the predicate nominal issimilar to that of the copula "是" by transferring the property denoted by the noun into a propositional function.
对这些限制条件我们从共时、历时及语言类型学的角度进行了验证，认为名词谓语句中出现的这些附加条件应该是具有普遍意义的。
-
Category : parts of speech and function, such as the classification of words in terms of parts of speech, the identification of functions of words in term of subject, predicate, etc.
范畴：部分的词类和功能，例如词类是对词进行的分类，主语、谓语是对词功能的描写，等等。
- 推荐网络例句
-
Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.
在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。
-
In fact,I've got him on the satellite mobile right now.
实际上 我们已接通卫星可视电话了
-
The enrich the peopling of Deng Xiaoping of century great person thought, it is the main component in system of theory of Deng Xiaoping economy, it is a when our country economy builds basic task important facet.
世纪伟人邓小平的富民思想，是邓小平经济理论体系中的重要组成部分，是我国经济建设根本任务的一个重要方面。