kripke
- 网络克里普克;克里普基;克里普奇
kripke
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
1
2
3
4
5
6
8