kripke

  • 网络克里普克;克里普基;克里普奇

kripkekripke

kripke

克里普克

所以又称为克里普克kripke)结构。M 包含一个状态集 S,一个完全的二进制转换关系 R ?

克里普基

...只能用空洞的符号标记来点缀性质统一的时间, 就像 克里普基 (Kripke) 所提的「固定标签」 (rigid designator), 只留下「自 …

克里普奇

在第二章第三节,我们介绍克里普奇(Kripke)的固定点理论(fixed-point theory)。自然语言是语意封闭的语言,克里普奇的目标则 …

利普克

史蒂格勒(George.J,Stigler)、曼纳(Manne)、克利普克Kripke)、布鲁克斯(Brooks)等。该学说认为投资者的收益 …

叶奇

...哲学课,也有机会聆听大师奎恩(Quine )与及阙叶奇(Kripke )等言论,才知以前所学大是垃圾,不外学了一套「唔明你讲乜?”的反 …

克里布奇

类似於克里布奇Kripke )於1972 年所郎出的「规范性论证」(the argument of

热词推荐