metalogic是什么意思
英[metə'lɒdʒɪk]美[metə'lɒdʒɪk]
n.元逻辑
网络释义:元逻辑
网络释义:元逻辑
行业释义 网络释义
数学
1.元逻辑
-metalogic
1 . 元逻辑
正 1.形式语言和形式系统 1.1 语法和语义元逻辑(metalogic)可以定义为对形式语言和形式系统的语法和语义的研究。它与自然语言的形式处理有关,但不包括自然语言的形式.
相关词条
+metalogic of predicates
1 . 谓词元逻辑
metalanguage 元语言metalogic of predicates 谓词元逻辑metatheorem 元定理
免责声明:本站所提供的内容来源于网络搜集,由词典网小编整理,仅供个人备考、交流学习使用,不涉及商业盈利目的。如涉及版权问题,请联系本站管理员予以更改或删除。