逻辑

arithmetic logic unit, ALU

算术逻辑单位 算术逻辑单元

数位式 数字式 digital | 算术逻辑单位 算术逻辑单元 arithmetic logic unit, ALU | 随意逻辑 随机逻辑 random logic

combinational logic circuit

组合逻辑电路

数字逻辑电路可分为组合逻辑电路(combinational logic circuit)和时序逻辑电路(简称时序电路,sequential circuit). 组合逻辑电路的输出仅取决于当前的输入,时序电路的输出不仅取决于当前的输入还取决于当前的状态(简称现态),

Logical Device Number

逻辑装置号

logical design 逻辑设计 | logical device number 逻辑装置号 | logical difference 逻辑差,逻辑异

logic level indicator

逻辑电平指示器,逻辑级指示器

logic level 逻辑电平,逻辑级 | logic level indicator 逻辑电平指示器,逻辑级指示器 | logic value 逻辑值

logic level

逻辑准位;逻辑阶度

逻辑闸 logic gates | 逻辑准位;逻辑阶度 logic level | 逻辑电驿 logic relay

logical element

逻辑元素,逻辑组件

logical difference | 逻辑"异" | logical element | 逻辑元素,逻辑组件 | logical equivalence | 逻辑等价

logical operation

逻辑操作,逻辑运算

logical one 逻辑1 | logical operation 逻辑操作,逻辑运算 | logical operation instruction 逻辑运算指令

metalogic

元逻辑

至于专门讨论二者的关系的学问,殷海光认为则应当是"关于逻辑的哲学"( on the philosophy) ,但它却是"元逻辑"(metalogic) ,而非逻辑本身. 殷海光认为,如不能作这种划界,那么就势必会导致研究哲学与逻辑的关联,总是在研究哲学而不是在研究纯逻辑.

Description Logics

描述逻辑

描述逻辑(Description Logics)就是一种建立在一阶谓词逻辑之上的用于描述本体数学性质的形式化工具 . 从表面上看来,描述逻辑并不是一阶谓词逻辑的子语言,也就是说它们采用的是不同的语言结构,但实际上描述逻辑从语义上对应着一阶谓词逻辑的一个部分(fragment),

traditional logic

传统逻辑

按其历史发展的不同阶段,通常把它分为传统逻辑(traditional logic)和现代逻辑(modern logic)(吴家国等,1993). 传统逻辑是指从古希腊亚里士多德(Aristotle)开创至19世纪进入现代发展阶段以前所发展起来的形式逻辑体系和理论;现代逻辑的主流是数理逻辑,

functional catches：活动把手生耳

回零针 fly-back hand | 混合表 combo watch | 活动把手生耳 functional catches

parametric linear programming：参数线性规划

参数模型|parameter model | 参数线性规划|parametric linear programming | 参数最优化|parameter optimization