...3 学分 形上学(Metaphysics) 3 学分 集合论(Set Theory) 3 学分 后设逻辑(Metalogic) 3 学分 计算理论(Theory of Computability) 3 学分 语言哲学(Philosophy of Language) 3 学分 科学哲学(Philosophy of Science) 3 学分 人工智能哲学(Philosophy of Artifi...
基于1个网页-相关网页
theory of computability
可计算性理论
以上为机器翻译结果，长、整句建议使用 人工翻译 。
The traditional theory of computability is based on Turing machines.
传统的可计算性理论以图灵机为基础模型。
youdao
It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.
它是可计算性的形式理论，正如经典逻辑是真理的形式理论。
应用推荐
模块上移
模块下移
不移动