逻辑的

hardwired logic

硬接线逻辑

hardwired control logic 硬件实现的控制逻辑 | hardwired logic 硬接线逻辑 | hardwired numerical control 硬连线数控器

hurdle n.1

跳栏,栏架 2.障碍,困难 逻辑辨证记忆提示:hold vi.进行跨栏赛

headquarters n.1.(机构、企业等的)总部,总店 2.司令部,指挥部 | *hurdle n.1.跳栏,栏架 2.障碍,困难 逻辑辨证记忆提示:hold vi.进行跨栏赛 | hurricane n.飓风,十二级风,龙卷风,暴风(雨) 逻辑辨证记忆提示:hurry

LIS LogicalIPsubnet

符合网际协议的子网,逻辑IP子网

LGN LogicalGroupNumber 逻辑组编号 | LIS LogicalIPSubnet 符合网际协议的子网,逻辑IP子网 | LIPS LogicalInferencesPerSecond 每秒逻辑推理数

logic of pocket calculator

袖珍计算机的逻辑

logic calculus 逻辑学 | logic of pocket calculator 袖珍计算机的逻辑 | logic of relations 关系逻辑

logic of relations

关系逻辑

logic of pocket calculator 袖珍计算机的逻辑 | logic of relations 关系逻辑 | logic product 合取

logically compatible

逻辑相容的

logicality 逻辑性 | logically compatible 逻辑相容的 | logically proper name 逻辑专名

logician

逻辑学家 (名)

logically 论理上; 逻辑上 (副) | logician 逻辑学家 (名) | login script 网入命令, 为连到因特网或其它计算机系统计算机执行的一组指令 (计算机用语)

Mathematical Logic

数理逻辑

(新页面: '''数理逻辑'''(mathematical logic) 又名'''符号逻辑''',是一门用数学方法研究推理过程的科学 (同时在NOIP大纲中有作要求>__<...

predicate logic

述詞邏輯

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

propositional logic

命题逻辑

语言学取向以形状文法(shape grammar)为代表. 碎形几何学透过不同的最小丈量尺寸,可以看出不同尺度(scale)的空间结构变化. 符号逻辑学以命题逻辑(propositional logic)或者首阶符号逻辑(first order logic)之方式描述空间之结构,并可据以进行空间推理.

Fix, Unfix,Group,Ungroup：(固定, 不固定,成组, 不成组)

Align Components(元件对准) 79 | Fix, Unfix,Group,Ungroup(固定, 不固定,成组, 不成组) 80 | Select Net(选择线网) 80

glycol monoacetate：乙二醇一乙酸酯

glycol lubricant 乙二醇润滑剂 | glycol monoacetate 乙二醇一乙酸酯 | glycol monobenzyl ether 乙二醇一苄醚