查询词典 logic calculus
- 与 logic calculus 相关的网络解释 [注:此内容来源于网络,仅供参考]
-
logic calculus:逻辑学
logic 逻辑 | logic calculus 逻辑学 | logic of pocket calculator 袖珍计算机的逻辑
-
logic calculus:逻辑演算
"逻辑的计算机辅助设计","logic CAD" | "逻辑演算","logic calculus" | "逻辑能力","logic capability"
-
three valued logic calculus:三值逻辑学
三值逻辑 three valued logic | 三值逻辑学 three valued logic calculus | 阈逻辑 threshold logic
-
predicate calculus logic:述詞演算邏輯
述詞演算 predicate calculus | 述詞演算邏輯 predicate calculus logic | 述詞轉換器 predicate converter
-
logic of pocket calculator:袖珍计算机的逻辑
logic calculus 逻辑学 | logic of pocket calculator 袖珍计算机的逻辑 | logic of relations 关系逻辑
-
predicate calculus:述词计算
predicate 述词 | predicate calculus 述词计算 | predicate logic 述词逻辑 [谓词逻辑]
-
predicate constant:谓词常数
predicate calculus with identity 带恒等式的谓词演算 | predicate constant 谓词常数 | predicate logic 谓词演算
-
predicate logic:述词逻辑 [谓词逻辑]
predicate calculus 述词计算 | predicate logic 述词逻辑 [谓词逻辑] | predicate-argument structure 述词论元结构
-
three valued logic:三值逻辑
三值的 three valued | 三值逻辑 three valued logic | 三值逻辑学 three valued logic calculus
-
predicated response:预测响应
predicate logic language 谓词逻辑语言 | predicated response 预测响应 | predicative calculus 谓词演算
- 推荐网络解释
-
Gooch valve motion:古氏阀动装置
autodoping effect 自掺杂效应 | Gooch valve motion 古氏阀动装置 | funny bone (肘上)尺骨端
-
ascending development:上行展开法
system上行激活系统[用于神经生物学] | ascending development上行展开法 | ascertainment确定,确认
-
functional autonomy:功能独立
驱力减低说---drive reduction th. | 恒定状态(作用)-homeostasis | 功能独立-functional autonomy