computability

Matin D. Davis, Computability, Complexity, and Languages, Academic Press, 1983. 《

可计算性、复杂性和语言》，清华大学出版社，北京，1989

互联网摘选

For a more advanced graduate course, computability theory and computational complexity theory are also covered.

高级课程中还包括了可计算理论和计算复杂性理论.

互联网摘选

A more extensive and theoretical treatment of the material in 18.400 J, Automata , Computability, and Complexity computabilitytheory.

本课程比18.400J[自动机, 可计算性和复杂性]涉及面更广、更理论化.

互联网摘选

This introduced the idea of relative computability, or relative unsolvability, which opened up a new field of enquiry in mathematical logic.

这就引入了“相对可计算性”的观点，或者说相对不可计算性，于是开创了一个数理逻辑的新领域。

互联网摘选

For curricula automata subject a more advanced graduate course, computability theory and computational complexity theory are also covered.

高级课程中还包括了可计算包括理论模型理论和计算复杂性理论。

互联网摘选

Matin D . Davis , Computability, Complexity, and Languages, Academic Press, 1983.

《可计算性 、 复杂性和语言》, 清华大学出版社,北京, 1989.

互联网摘选

A more extensive and theoretical treatment of the material in 18.400J, Automata, Computability, and Complexity computabilitytheory.

本课程比18.400J[自动机，可计算性和复杂性]涉及面更广、更理论化

互联网摘选

The technical details of things like Turing completeness and theories of computability are beyond most of them.

如图灵可计算的完整性和理论的东西的技术细节超出了大多数。

互联网摘选