真值

accuracy

精确度

一、检定(eritication)的定义检定定义中涉及到的准确度(或称精确度)(Accuracy)是测量结果中系统误差与随机误差的结合,表示测量结果与真值的一致程度:稳定度(Stability)是在规定工作条件内,

assess

评定

值得注意的是,语义焦点是一种关系性的概念,它反映的是由句子表示的事件或事态等信息内容的表达(或包装)方式和句子真值的评定(assess)方式. 语义焦点可以由音高重音、语序、助词(particle)、及其组合形式等音系或句法手段来表达,

curtain lecture

枕上告诫

真值表/truth table | 枕上告诫/curtain lecture | 枕头打闹战/pillow fight

decision procedure

判定程序

换言之,真值表法为一区别对确与不对确论证的判定程序 (decision procedure). 非常粗略而言,判定程序即应用它的人,不须借助其创意或想像力,也保证能在有限步骤内做出正确答案的一种方法. 这种方法或程序有时也称作机械方法 (mechanical method) 或演算法 (algorithm).

derivation

推导

"xxvii为了确切地回答本文一开始叙述的不同演绎系统(比如欧氏几何与非欧几何)之间具有真值联系的问题,一些逻辑学家曾力图以严格的方式定义"推论"(consequence),它的外延和内涵都要比"推导"(derivation)这个概念更丰富,后者只能说明"可证实"概念,

karnaugh map

卡诺图

由于这种方格图是由一位名叫卡诺(Karnaugh)的美国人发明的,因此人们通常将其称为卡诺图(Karnaugh Map). 卡诺图不仅可以用来描述逻辑函数,而且更重要的是他还可以用来化简逻辑函数. 一个函数可以用表达式表示,也可以用真值表来描述,

the Karnaugh map

卡诺图

真值表 truth table | 卡诺图 the Karnaugh map | 逻辑函数 logic function

Point Location

位置(点)

Player Group force 玩家组 | Point location 位置(点) | Real real 真值型数字

matric algebra

矩阵代数

Matoniaceae 马通蕨科 | matric algebra 矩阵代数 | matrice 矩阵;真值表;母式

predicate logic

述詞邏輯

本课程置重点於命题逻辑(prepositional logic)及述词逻辑(predicate logic)中自然演绎法(natural deduction)上. 在本课程中,学者们将会学到一些逻辑的基本观念与技巧,诸如有效性(validity)、真值表(truth-table)、语意树枝及推论规则等等.

Greco-Latin square：希腊拉丁方格

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

cunningham：帆前角下拉索

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