computability中文什么意思

• 可计算性
• 可算性

• abacus computability:    算盘可计算性
• characterization of computability:    可计算性刻划
• computability logic:    可计算性逻辑
• computability theory:    可计算性理论
• feasible computability:    可行计算性; 可行可计算性

例句与用法

1. The thesis consists of four sections . in section one , we introduce some background of the topic , in section two we review some basic and recent results about the structure and hierarchies of the computably enumerable degrees which are closely related to our topic - the algebraic structure of the plus cupping turing degrees , in section three , we outline the basic principles of the priority tree argument , one of the main frameworks and tools of theorem proving in computability theory , and in section four , we prove a new result concerning the algebraic structure of the plus cupping turing degrees that there exist two computably enumerable degrees a , b such that a , b ? pc , and the join a v b of a and b is high
   本篇论文分为4个部分：第一部分介绍了这个领域的一些背景知识；第二部分主要回顾了前人在研究可计算枚举度的结构和层谱时所取得的一些基本和最新结果，这些结果与我们的主题?加杯图灵度的代数结构密切相关；在第三部分中，我们概要的描述了优先树方法的基本原理，此方法是可计算性理论中定理证明的一个重要框架和工具；第四部分证明了一个加杯图灵度代数结构的新结果：存在两个可计算枚举度a ， b ，满足a ， b pc ，而且a和b的并a b是一个高度。

百科释义

Computability is the ability to solve a problem in an effective manner. It is a key topic of the field of computability theory within mathematical logic and the theory of computation within computer science.

其他语言

computabilityとは意味：{名} : 計算可能性｛けいさん かのうせい｝
computability meaning： noun
computability en francais：n. capacité de calculer
computability перевод：вычисляемость, вычислимость - complete computability - computability predicate - effective computability - generalized computability - hyperarithmetical computability - mechanical computability - part...