逻辑的

algebraic logic of pocket calculator

袖珍计算机的代数逻辑

algebraic lie algebra 代数的李代数 | algebraic logic of pocket calculator 袖珍计算机的代数逻辑 | algebraic multiplicity 代数重度

arithmetic logic unit

算术逻辑单元

单回圈运算操作和32个连接于算术逻辑单元 (Arithmetic Logic Unit) 的工作暂存器使得 AVR 比其他 CPU 效率更高. 如今,Atmel 基于稳固的 AVR CPU 平台提供最大的代码相容设备系列之一,这些设备包括 1 KB 8引脚 tinyAVR(R) 以及 384 KB 100引脚 XMEGA 等.

Polar

极性的

逻辑是直线的,生命是极性的;(polar)逻辑以直线进行,生命绕着圆圈走. 所以一个一直在放松的人到了晚上一定不能够放松,而一个整天辛苦工作的人到了晚上就能够放松. 或者,从另外一个角度来看一个一直在爱,而从来不生气的人无法真正地爱.

predicate logic

谓词逻辑

理论上,如果完全使用形式语言(formal language)和谓词逻辑(predicate logic)构造一种语言是可以做到完全无歧义的. 但这样绝对精确的语言是不适合人类这种不精确的生物的. 我们需要谐音来开玩笑,需要双关的语义来写诗歌,需要用模棱两可的语言来敷衍不...

proof theory

证明论

在证明论(proof theory)和相关的数理逻辑的领域中,一个形式的演算(caluclus)相对于一个特定的逻辑(即相对于它的语义(semantics))是完备的,如果任何由一组前提Q根据语义导出的陈述P,都可以从这组前提出发利用这个演算语法地(syntactically)导出.

symbolic logic

符号逻辑

1881年英国数学家范恩(John Venn, 1834-1923)出版的>(Symbolic Logic)书中,改良了尤拉的原始想法,创造出知名的范氏图(Venn diagram). 范氏图的方法是处理牵涉到命题变数的逻辑论证. 各个命题变数分别以互相重叠的圆来表示,

thin

瘦的

开发人员可以将企业应用的商业逻辑放在中间层服务器上,而不是客户端,从而将应用的业务逻辑与用户界面隔离开,在保证客户端功能的前提下,为用户提供一个瘦的(thin)界面.

Twisted Logic

扭曲的逻辑

"扭曲的逻辑"(Twisted Logic)展现了乐队黑暗愤怒的一面,Chris说:"这是我们写过的最愤怒的歌曲. 它很不礼貌,让我很不满意. "在处理他们擅长的歌曲时,乐队表现出成长、成熟和对新事物勇于尝试的一面.

souls

灵魂

按词汇搭配的逻辑常理, "灵魂"(souls)怎么会"潮湿"(damp)呢?"灵魂" 怎么会"沮丧地发芽"(sprouting despondently)呢?但诗人正是运用了的这些非逻辑的语义组合手段,才能使读者想象这群这群妇女所处的阴暗、潮湿、肮脏的生存条件.

Parallel Taxonomies

平行分类法:对哪些逻辑上不止一个类别的信息提供多重、独立分类的方法

Overadoption--意外采用:出乎专家预测由个人决... | Parallel Taxonomies--平行分类法:对哪些逻辑上不止一个类别的信息提供多重、独立分类的方法. | Passive innovation--被动创新:创新源于直接的市场压力,如大量需求...

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

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

glycol monoacetate：乙二醇一乙酸酯

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