Jaakko Hintikka created a new paradigm in the domain of interpretation on the "Cogito, ergo sum" proposition, namely the Performatory interpretation.
雅克·欣提卡在诠释笛卡尔的“我思故我在”命题时创造了一种新的范式——践言性诠释。
When the domain of interpretation is finite and its size is a fixed positive integer, the satisfiability problem in the first-order logic can be reduced to SAT.
当解释的论域是一个固定大小的有限集合时，一阶逻辑公式的可满足性问题可以等价地归约为SAT 问题。
The interpretation of the message is left to the application domain; the MQ infrastructure imposes no semantics or structure onto the message.
对消息的解释留给应用程序域来做；MQ基础结构不对消息施加任何语义和结构限制。
应用推荐