演算的标签操作语义 Label Operational Semantics
谓词演算的解释 [计] interpretation of predicate calculus
无穷小演算的几何应用 Applicazioni geometriche del calcolo infinitesimale
谓词演算的连接词 [计] connectives in predicate calculus
水库内的演算 RESERVOIR ROUTING
谓词演算中的原子公式 [计] atomic formula in predicate calculus
的演化算法 evolutionary algorithms
蚁群算法的演示程序 ant colony optimization ; ACO
谓词演算中的连接词 [计] connective in predicate calculus
在许多情况下船员必须使用基本数学演算的表。
In many cases, ship officers must resort to the use of some fundamental mathematical tables.
计量是经设定后自动实行演算的比率控制方式。计量检查也简便易行。
The measure is the ratio controlling method in automatic performs mathematical calculations after installation, which makes the measure inspection very easy.
首先对r -演算的规则进行了修改,使得对任何一个极大协调的子集都通过这组规则得到。
First, the rules of R-calculus are modified in order to deduce all the minimally consistent subsets.
Mine is to demonstrate over and over how little mathematics you need to get the job done.
我的方法就是,反复演算,用最少的数学来解决问题
Alan Turing In 1936, that same guy, Alan Turing, showed that with six simple primitives, anything that could be described in a mechanical process, it's actually algorithmically, could be programmed just using those six primitives.
在1936年,还是那个人,展示了六个基本类型,可以在计算过程中,表达出任何含义来,其实这是演算性质的,可以根据六个数字编程。
Or do you think this completely destroys the whole utilitarian calculus?
还是你们认为它完全推翻了,功利主义的演算?
应用推荐