查询词典 predicate logic

Interval-Valued Fuzzy Propositional Logic：区间值模糊命题逻辑

模糊逻辑控制:fuzzy logic control system | 区间值模糊命题逻辑:Interval-Valued Fuzzy Propositional Logic | 自适应模糊控制器:self-adaptive fuzzy logic controller

Disturbing Fuzzy Propositional Logic：扰动模糊命题逻辑

自适应模糊控制器:self-adaptive fuzzy logic controller | 扰动模糊命题逻辑:Disturbing Fuzzy Propositional Logic | 布尔算子模糊逻辑:Boolean Operator Fuzzy Logic

logic simulation：逻辑模拟Xmj中国学习动力网

logic probe 逻辑探针Xmj中国学习动力网 | logic simulation 逻辑模拟Xmj中国学习动力网 | logic switch 逻辑开关Xmj中国学习动力网

Logic Starting Point：逻辑起点

程序逻辑:program logic | 逻辑起点:Logic Starting Point | 规范逻辑:Normative logic

logic trouble-shooting tool：逻辑故障测试器

逻辑分析仪|logic analyzer | 逻辑故障测试器|logic trouble-shooting tool | 逻辑模拟|logic simulation

infinitary logic：无穷逻辑

非古典逻辑 non-classical logic | 无穷逻辑 infinitary logic | 古典逻辑 classical logic

logic comparators：逻辑比较器

"逻辑一致元件","logic coincidence element" | "逻辑比较器","logic comparators" | "逻辑比较","logic comparison,LC"

logic schematics：逻辑简图

"逻辑简图替换","logic schematic replacement" | "逻辑简图","logic schematics" | "逻辑搜索","logic seeking"

predicate logic：谓词逻辑

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

first order predicate logic：一阶述词逻辑

首先,由於在一階述詞邏輯(first order predicate logic)中,我們僅能以「無法證明~P」來說明「P是一致的(必然的)」. ...

hand plate press：凹印手摇机,圆盘机

凹凸印刷,模壓 die stamping | 凹印手搖機,圓盤機 hand plate press | 奧斯特,磁場強度單位 Oersted

diamante：钻石

为了保证完美灵活的动作,作品都由最优质的莱卡制成,而其中的印花来自于其08秋冬系列. 紧身衣采用"钻石"(Diamante)印花,而紧身裤采用"小钻石"(Baby Diamante)印花,由此创造对比性图案,但依然能够保持设计的自由活动效果.