go top

metalogic
英 [ˈmetəˌlɒdʒɪk]

  • n. 元逻辑

网络释义专业释义英英释义

  元逻辑

这种分层次的,在某一层次上来研究另一层次的语言所引发出来的逻辑问题即所谓“元逻辑”(meta-logic),在分层次的语言系统中,描述语言的语言也就是用作工具的语言被称作“元语言”(meta-language),被描述的语言被称作“对象语言...

基于32个网页-相关网页

短语

meta-level logic 元级逻辑

Logic Meta Study 逻辑元研究

meta-programming in logic 元逻辑程序

The Meta-research of Chinese Logic 中国逻辑元研究

 更多收起网络短语
  • 元逻辑

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

Metalogic

  • abstract: Metalogic is the study of the metatheory of logic. While logic is the study of the manner in which logical systems can be used to construct valid and sound arguments, metalogic studies the properties of the logical systems themselves.

以上来源于: WordNet

双语例句

  • There is a specific runtime system, called the MOP (stands for Meta-Object Protocol) that is responsible for the dispatching logic.

    在Groovy中有一个特殊的运行时系统,叫做MOP(元对象协议Meta - Object Protocol),负责方法分派逻辑。

    youdao

  • Traditional grammar studies English conditionals in terms of truth value and logic while pragmatics from the angle of speech acts and speech meta-representation.

    英语条件式在传统语法里是从真实值和逻辑的角度去分类研究的,在语用学里则是从言语行为、言语元表征的角度来加以研究。

    youdao

  • The UML class graph is adopted in the new modeling method, which made it more clear to display the whole logic data structure and more convenient to describe the meta-data model of the data warehouse.

    新的建模方法通过在建模过程中引入UML的类图,方便了数据仓库组织构架的细化,并且很好地描述了数据仓库的元数据,使该方法更加适于设计面向主题的数据模型。

    youdao

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

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

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