有奖纠错
| 划词

Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.

描述逻辑知识表示形式化语,阶逻辑可判定子集。

评价该例句:好评差评指正

用户正在搜索


aminopherase, aminophylline, aminopicoline, aminoplast, aminoplastics, aminopolypeptidase, aminopolypetidase, aminopromazine, aminopropanol, aminopropylbenzene,

相似单词


3G, 401(K), a,

声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。

科技 Crash Course

Turing reasoned if there existed a program, whose halting behavior was not decidable by age, it would mean the halting problem is unsolvable.

图灵推断,如果存在一个程序,其停机行为不能由年龄意味着停机问无法解

评价该例句:好评差评指正
Veritasium真理

But Turing's ideas about computability came from his concept of the Turing machine, which came from thinking about Hilbert's question, is math decidable?

是图灵关于可计算性的思想来自于他的图灵机概念,而图灵机概念又来自于对希尔伯特问的思考:数学是可判的吗?

评价该例句:好评差评指正

用户正在搜索


aminos, aminosaccharide, aminosal, aminosidin, aminosidine, aminosin, aminosol, aminostiburea, aminosugar, amino-sumene,

相似单词


3G, 401(K), a,
  • 微信二维码

    关注我们的微信

  • 手机客户端二维码

    下载手机客户端

赞助商链接