特定命题
- 与 特定命题 相关的网络解释 [注：此内容来源于网络，仅供参考]
-
computational complexity
计算复杂性
计算复杂性(computational complexity)源于20世纪30年代数学逻辑发展过程中提出的一些深刻命题. 它们都有自己特定的问题规模N,计算复杂性就是指解决问题随问题规模N增长而需要的代价增长. 这种简单性和复杂性的分野是,如果计算时间(或空间)的增长不超过N的某个幂次或多项式,
-
contextual meaning
语境意义
对一个语篇的理解包括四个层面: 1) 概念意义(conceptual meaning)-单词的独立意义; 2) 命题意义(propositional meaning) -小句或句子的意义; 3) 语境意义(contextual meaning) -句子在特定的情景或语言环境中的意义;
-
general proposition
一般命题
然而,这一一般命题(general proposition)要受到特定限制条件的制约. 例如,DSU第4.3条规定,'如磋商请求是按照某一适用协定提出的,则请求所针对的成员应在收到该请求之日起10天内对该请求作出答复,并应在收到该请求之日起不超过30天的期限内真诚地进行磋商,
-
given
特定的
故故一物之力,即其借以做某事或努力去做某事的努力,不论出于自己或是出于与他物合作--这就是说,(据第三部分命题六)一物竭力保持自己的存在的力量或努力不是别的,即是那物自身的特定的(given)或现实的本质.
-
proposition
命题
所以有四种命题:在项逻辑中,"命题"(proposition)简单的是一种语言的形式: 一种特定类型的判决/句子(sentence),主词和谓词合并在一起,以此断言某事物为真或假.
- 推荐网络解释
-
overturned：倒转的
倒转的 inverted | 倒转的 overturned | 倒转点 inversion point
-
remind sb of/about sth：使某人想起
9. on the go 忙碌, (整天)奔忙 | remind sb. of / about sth. 使某人想起... | have fun 取乐
-
projective limit space：射影极限空间
program space counter 程序空间计数器 | projective limit space 射影极限空间 | projective metric space 射影度量空间