中英▼
go top

Computability logic

  • 可计算性逻辑（可计算性逻辑是一种可计算性理论，将逻辑恢复为系统的形式，逻辑公式表示计算问题，有效性意味着总是可计算的）

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

  可计算性逻辑

doc 关键词: Cirquent演算;可计算性逻辑;Extended IF逻辑 [gap=1148]Key words: Cirquent calculus; computability logic; Extended IF logic ...

基于2460个网页-相关网页

短语

Briefly about computability logic 可计算性逻辑

  • 可计算性逻辑 - 引用次数：4

    参考来源 - 基于可计算性逻辑的知识表示与推理 Knowledge Representation and Reasoning Based on Computability Logic

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

Computability logic

  • abstract: Introduced by Giorgi Japaridze in 2003, computability logic is a research programme and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed to classical logic which is a formal theory of proof. In this approach logical formulas represent computational problems (or, equivalently, computational resources), and their validity means being "always computable".

以上来源于: WordNet

双语例句

  • Based on the sound and complete subset CL4 of computability logic, knowledge representation is discussed by dividing knowledge into elementary and general ones.

    以可计算性逻辑的完备子集cl4为基础进行知识表示，将知识分为简单知识与一般知识。

    youdao

  • It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.

    它是可计算性的形式理论，正如经典逻辑是真理的形式理论。

    youdao

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

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

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