查询词典 Boolean logic

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

ccd imager：电荷耦合成像器

ccd image array 电荷耦合掐成像阵列 | ccd imager 电荷耦合成像器 | ccd logic 电荷耦合掐逻辑

ccd imager：电荷耦合成像器iVJ中国学习动力网

ccd image array 电荷耦合掐成像阵列iVJ中国学习动力网 | ccd imager 电荷耦合成像器iVJ中国学习动力网 | ccd logic 电荷耦合掐逻辑iVJ中国学习动力网

imitation show：模拟秀

名优 famous actor; famous high quality brand | 模拟秀 imitation show | 模糊逻辑 fuzzy logic

"alphanumeric impact printer：文数撞击打印机

文数产生器 "alphanumeric generator | 文数撞击打印机 "alphanumeric impact printer | 文数逻辑包 "alphanumeric logic package

oblique incidence：斜入射

objective lens 物镜 | oblique incidence 斜入射 | observer, built-in logic block (BILBO) 内置逻辑区块监察程序

air ventilator：通风管

air purifier 空气滤清剂 | air ventilator 通风管 | air-bleed 空气分泄器

sound motion picture, talkie：有声电影

silent cinema, silent films 无声电影 | sound motion picture, talkie 有声电影 | cinemascope, CinemaScope 西涅玛斯科普型立体声宽银幕电影,变 形镜头式宽银幕电影