查询词典 predicate logic

hardwired logic：硬连线逻辑

hardwired knowledge 硬连线知识 | hardwired logic 硬连线逻辑 | hardwired subprogram 硬连线辅程序

hardwired subprogram：硬连线辅程序

hardwired logic 硬连线逻辑 | hardwired subprogram 硬连线辅程序 | harmonic analysis 谐波分析

hardwired knowledge：硬连线知识

hardwared automation 硬的自动化 | hardwired knowledge 硬连线知识 | hardwired logic 硬连线逻辑

hardwired circuit：固定电路

hardwire 固定线路 | hardwired circuit 固定电路 | hardwired control 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年图灵奖的获得者. 因此,

Bob Allcock, Solicitor General：法律政策专员区义国

船民 boat people | 法律政策专员区义国 Bob Allcock, Solicitor General | 菩提树 bodhi tree

herb：草药

大约在公元10世纪左右,通过喜好航海的荷兰人,波兰人开始认识茶叶. 但是,由于饮茶有明显的治疗某种疾病的效果,波兰人把"茶"同草药联系在一起. 于是出现了与草药(herb)相联系的"茶"字(herbata),既不接近于英文的"tea",也与俄语中的"chaj"相去甚远.