查询词典 propositional logic

hierarch design：层次设计

logic circuit 逻辑电路 | hierarch design 层次设计 | top-down design 自顶向下设计

hierarchical design：层次设计

逻辑电路:logic circuit | 层次设计:hierarchical design | 自顶向下设计:top-down design

high tide level：高潮面

high threshold logic circuit 高值逻辑电路 | high tide level 高潮面 | high tide level 高潮位

High-bandwidth Digital Content Protection：高带宽数字内容保护(规范)

High Voltage Subscriber Line Interface Circuit 高压用户线接口电路 | High-bandwidth Digital Content Protection 高带宽数字内容保护(规范) | High-Capacity Programmable Logic Device 高容量可编程逻辑器件

the unification of logic and historicity：逻辑与历史的统一

区域经济一体化:the unification of regional area | 逻辑与历史的统一:the unification of logic and historicity | 城乡统筹就业:Unification Employment between Urban Areas and Rural Areas

Hoare logic：霍尔逻辑

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

Hoare logic：逻辑

HMAC密码术 HMAC | Hoare逻辑 Hoare logic | 戏弄 hoax

new idealist：新唯心主义者

new idealism 新唯心主义 | new idealist 新唯心主义者 | new logic 新逻辑

if then operation：若则运算

"若则逻辑","IF-THEN logic" | "若则运算","IF-THEN operation" | "若则叙述","if-then statement"

if then operation：蕴涵运算

若则逻辑 IF-THEN logic | 蕴涵运算 IF-THEN operation | 若则叙述 if-then statement

necking：颈缩加工

marking 刻印加工 | necking 颈缩加工 | notching 冲口加工

nachfräsen re-mill, finish-mill：精铣,二道铣

Nachformschleifen copy-grinding, profile grinding, contour grinding 仿形磨削 | nachfräsen re-mill, finish-mill 精铣,二道铣 | nachgeschaltete Doppelkupplung two-stage double clutch 串接双离合器