＞数理逻辑与数学基础＞递归论＞释义 Church-Turing thesis 丘奇-图灵论题
理论计算机科学 可计算性与计算复杂性 释文 Church-Turing thesis 丘奇-图灵论题
- theory of new social defense
- theory of non-essentials and fundamentals
- theory of non-existent effect
- theory of normative behavior
- theory of nucleosynthesis
- theory of numbers
- theory of numerations
- theory of nutrient returns
- theory of objective attribution
- theory of obstructions
- theory of oil gas formation
- theory of oil-gas formation
- theory of ominant structural plane
- theory of open and peaceful mind
- theory of opera conception
- theory of opera imagery
- theory of opera real-virtual interplay
- theory of operators
- theory of optical activity
- theory of ordinals
- theory of ordinary representations
- theory of organic decentralization
- theory of organizations
- theory of original evil of human nature
- theory of original goodness of human nature