查询词典 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是一致的(必然的)」. ...

HIGH PRIESTESS：女教皇

原来在这房里的床上有一本日记,里面有一首诗它会提示你怎么放,经过了细心的推敲后,决定在左上角摆夜之眼(Eye Of Night)这张,左方的中间就摆女教皇(High Priestess),最下面的中间就放上吊男(Hanged Man);最右手边的中间就放愚者(Fool),

charades：用动作等表演的字谜游戏

characterization 人物塑造 | charades 用动作等表演的字谜游戏 | charisma (大众爱戴的)领袖气质,魅力