go top

calculus of classes

  • 类演算

网络释义专业释义

  [数] 类演算

...接下来,我们对塔斯基关于“满足”的递归定义给以较为深入的考查。塔斯基提出这个定义的时候,是以类演算calculus of classes)作为对象语言的。([2] ,p.193)这仅仅是作为一个例示,因而有一定的局限性;并且由于前一节所说原因,他把由类或集合构成的无穷...

基于134个网页-相关网页

  • 类演算 - 引用次数:1

    参考来源 - 塔尔斯基真之语义论研究

·2,447,543篇论文数据,部分数据来源于NoteExpress

权威例句

更多权威例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定