演算，汉语词汇，按照一定的原理或公式计算。
演算 [yǎn suàn]
网络释义专业释义
[10] λ演算(lambda calculus)是一仿用于钻研函数订义、函数哄骗以及递归的形式系统,在递归现实以及函数式编程中有灭遍及的运用。
基于572个网页-相关网页
...性验证 基于Pi演算的Web服务等价性验证 类型理论介绍 基于类型论的Web服务可替换性验证 Pi演算概念 Pi演算(Pi-Calculus)是九十年代计算机并行理论领 域最为重要的一个并发计算模型。
基于300个网页-相关网页
... Die Pause dauert 20 Minuten.其中的20 Minuten是第四格，做不及物动词dauern的时间补充成分（状语）。 Rechnen 演算 plus 加 + ...
基于293个网页-相关网页
短语
逻辑演算 logical calculus ; [经] logical calculus ; logic calculus ; Boolean calculus
抽象演算 abstract calculus
构造演算 calculus of constructions ; generation calculus
相继式演算 sequent calculus
域关系演算 [计] domain relational calculus ; QBE
元组关系演算 Tuple relational calculus
分散式演算法 Distributed Algorithm
命题演算 [数] propositional calculus ; statement calculus ; calculus of proposition ; [数] sentential calculus
算符演算 operational calculus
-
calculus - 引用次数：52
The third part illustratesaction iogic calculus created by von Wright.
第三部分阐述了冯-赖特建立的行动逻辑演算。
参考来源 - 冯·赖特行动逻辑研究perform mathematical calculations - 引用次数：7 参考来源 - 一阶谓词逻辑在人工智能中的应用 -
calculation - 引用次数：17 参考来源 - 粤东黄冈河大堤洪潮水面线分析推算
-
perform mathematical calculations - 引用次数：1 参考来源 - 会话涵义的博弈学阐释
-
lambda calculus
-
calculus
·2,447,543篇论文数据，部分数据来源于NoteExpress
双语例句原声例句
-
但是，政客们的演算突然发生了转变。
-
该技术利用演演算法则处理信号。
-
我不是仅仅讲一个会计演算。
-
It actually doesn't do anything at the end of the day because I am performing this math.
实际上，最终它什么都不会做,因为我在演算这个算术。
-
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年，还是那个人，展示了六个基本类型，可以在计算过程中,表达出任何含义来，其实这是演算性质的，可以根据六个数字编程。
应用推荐
$firstVoiceSent
- 来自原声例句