演算

Algorithm Analysis

演算法分析

algorithm 演算法 | algorithm analysis 演算法分析 | algorithm, asynchronous parallel 異步並行演算法

Algorithmic Language

演算語言

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

calculus of classes

类演算

如命题演算(Calculus of proposition)、类演算(Calculus of classes)等. 此外"Calculus"一词还用来表示"微积分学". 计算机或计算器本身则被称之为"Calculator". 克、克拉与盎司都是质量(重量)的计量单位. "克拉(carat)一词来自希腊文,

lambda calculus

演算

λ演算(lambda calculus)是一套用于研究函数定义、函数应用和递归的形式系统. 它由丘奇(Alonzo Church)和他的學生克莱尼(Stephen Cole Kleene)在20世纪30年代引入. Church 运用λ演算在1936年给出判定性问题(Entscheidungsproblem)的一个否定的答案.

predicate calculus logic

述詞演算邏輯

述詞演算 predicate calculus | 述詞演算邏輯 predicate calculus logic | 述詞轉換器 predicate converter

predicate calculus of the third order

三阶谓词演算

predicate calculus 谓词演算 | predicate calculus of the third order 三阶谓词演算 | predicate calculus with identity 带恒等式的谓词演算

predicate calculus with identity

带恒等式的谓词演算

predicate calculus of the third order 三阶谓词演算 | predicate calculus with identity 带恒等式的谓词演算 | predicate constant 谓词常数

predicate calculus

谓词演算

与谓词演算(predicate calculus)相反,命题演算取简单的、未分析的命题,而不是取词项和名词表达式作为原子单元. 与函项演算相反,它仅处理不包含变项的命题. 简单的(原子的)命题用字母表示,复合的(分子的)命题用下列标准符号形成︰ ...

propositional calculus

命题演算

关系演算基于数理逻辑的一个分支命题演算(propositional calculus),更精确地说是一阶谓词演算(first-order predicate calculus). 关系演算在逻辑表达式中使用AND和OR这样的运算符来进行关系运算. SEQUEL(结构化英语查询语言)是SQL的前身,由IBM开发,

sentential calculus

命题演算;语句演算

命题演算;语句演算 sentential calculus | 复合命题 sentential combination | 命题变元;语句变元 sentential variable

Greco-Latin square：希腊拉丁方格

Granduation of curve 曲线递合 | Greco-Latin square 希腊拉丁方格 | Grand lot 大批

cunningham：帆前角下拉索

斜拉器:kicking strap | 帆前角下拉索:cunningham | 调整索:outhaul