逻辑符号

logical exclusive OR

逻辑互斥或

"逻辑逸出符号","logical escape symbol" | "逻辑互斥或","logical exclusive OR" | "逻辑表式","logical expression"

logistic

符号逻辑

原先作为可直观的几何学发展成纯粹的解析几何,接踵而来的纯形式的「解析学(analysis)」、「集合论(theory of manifolds)」、「符号逻辑(logistic)」都意味着「算术化(arithmetization )」所导致的普遍「形式化(formalization )」,

logistical

逻辑的; 后勤方面的; 运筹的 (形)

logistic 后勤学的; 符号逻辑的 (形) | logistical 逻辑的; 后勤方面的; 运筹的 (形) | logistically 逻辑地; 在后勤方面; 运筹地 (副)

Mathematical Logic

数理逻辑

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

propositional logic

命题逻辑

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

symbolic logic

符号逻辑[学]

二进法算术与布尔(George Boole)发明的符号逻辑学(Symbolic logic)有密切关系. 电子计算机采用二进法,里面所有开关电路(Switchingcircuits)的作用都可以用符号表示;电路的简化,往往借助符号逻辑学的定理. 电子计算机的设计师,

model of symbolic logic

符号逻辑模型

model of structure 结构模型 | model of symbolic logic 符号逻辑模型 | model of the economy 经济模式,经济模式

the bulletin of symbolic logic

符号逻辑快报(英文)

业余数学杂志(英文) - amateur mathematics journal. ... | 符号逻辑快报(英文) - the bulletin of symbolic logic. ... | 亚太数学杂志(英文) - pacific journal of mathematics. ...

The Journal of symbolic logic

符号逻辑杂志 美 哲学

14 Cambridge quarterly of healthcare ethics 剑桥健康伦理学季刊 英 哲... | 15 The Journal of symbolic logic? 符号逻辑杂志 美 哲学 | 16 Studies in history and philosophy of science 科学史与科学哲学研究 英...

symbolic

符号

(1)符号(Symbolic)主义 认为思维的基元是符号,因此强调以逻辑为基础. 这是人工智能的主流. (2)连结(Connection)主义 认为思维过程是神经网络的边疆活动,而不是符号的运算过程. (3)行为(Behavior)主义 认为智能取决于感知和行动,

Greco-Latin square：希腊拉丁方格

Granduation of curve 曲线递合 | Greco-Latin square 希腊拉丁方格 | Grand lot 大批

cunningham：帆前角下拉索

斜拉器:kicking strap | 帆前角下拉索:cunningham | 调整索:outhaul