算法语言

Algorithmic Language

演算語言

"演算法","algorithm" | "演算语言","algorithmic language" | "演算常式","algorithmic routine"

alienable

可分割的

algorithm 算法 [算法] | alienable 可分割的 | alignment 对照 [多国语言文章词;词组;句子翻译的]

Artificial Intelligence Programming

人工智能与程序设计

Programming Languages--程序设计语言 | Artificial Intelligence Programming--人工智能与程序设计 | Algorithms--算法分析

comparison

对照

DVM用很简单的机器语言,包括几种算法(arithmetic)和对照(comparison)操作;此外还有一些复杂的DVD回放指令,如"播放某个视频部分"、"跳进到某个部分"等等.

divide

划分

通常,这种分析方法的基本点在于"分解",因此这种方法也被称为"划分(Divide)和解决(Con-quer)"方法. 也正因为如此,它和语言工具中的递归结下了不解之缘. 分治与递归像一对孪生兄弟,经常同时应用在算法设计之中,并由此产生许多高效算法.

factorial

阶乘

"阶乘"(factorial)在信息学竞赛中具有重要角色,更广泛的说,"阶乘"在数学领域也是占有重要地位. 在许多人刚刚学习计算机语言的时候,大多会被要求写一个算阶乘的程序,而在学习高精度算法的时候,也会写一个计算较大数字阶乘的程序.

finite

有限的

或,当我从"过去"(总是有限的(finite)情境)转向"当下"("新"的情境)的时候,我怎样确证这个规则是"同一"的呢?我们可以把这个算法上的结论进一步拓展到一般语言的范围之内:不仅仅对于算法符号可以进行此种釜底抽薪的质疑,实际上,

grammatical

语法的

语法是语言的架构或运行机制,它限定了语言的组合范围,即什么是合语法的(grammatical);词汇则是语言的表征手段,更确切地说是意义创生的手段. 算法是深层表征,意指是表层表征. 在算法层面,符号和运算严格遵守结构依赖原则和投射原则,

Hoare logic

霍尔逻辑

在过去40年中,他发明的快速排序算法被广泛应用,称为最有效率的算法; 而他提出的霍尔逻辑(Hoare Logic)则用严密的数学做保证,推理验证程序的正确性. 由于对算法和编程语言的巨大贡献,Tony Hoare成为1980年图灵奖的获得者. 因此,

pseudocode

伪代码

伪代码 (Pseudocode) 是介于自然语言和计算机程序设计语言之间的一种算法描述它也是专业软件开发人员描述算法的一种常用方法没有严格的语法限制,书写格式也比较自由

haulage device：拖曳设备;运输设备

haul road 运料路;拖运材料的道路 | haulage device 拖曳设备;运输设备 | hazardous slope 危险斜坡

Let sb. in：让某人进

8.be late for school上学迟到 | 9.let sb in让某人进 | 11.travel around the world环游世界