＞数理逻辑与数学基础＞递归论＞释义 Church-Turing thesis 丘奇-图灵论题
理论计算机科学 可计算性与计算复杂性 释文 Church-Turing thesis 丘奇-图灵论题
- additional provisions of enterprise property insurance
- additional provisions of motor vehicle damage insurance
- additional sampling technique
- additional structure
- additional term
- additional tribute from Northern Song to Liao in the Chongxi era
- additional wall thickness
- Additional Works of Criticism of Xitang Yongri
- addition chain
- addition conjecture
- addition curve
- addition elimination mechanism
- addition-elimination mechanism
- addition formula
- addition logarithm
- addition method
- addition model
- addition-multiplication magic square
- addition of matrices
- addition of polynomials in one variable
- addition of sets
- addition of tensors
- addition of the elevated rank to the official's new post
- addition of vectors
- addition polymer