＞数理逻辑与数学基础＞递归论＞释义 oracle Turing machine 带外部信息源的图灵机
理论计算机科学 可计算性与计算复杂性 释文 oracle Turing machine 谕示图灵机
- projective special orthogonal group
- projective special unitary group
- projective spectrum
- projective spectrum of a ring
- projective stationary set
- projective straight line
- projective structure
- projective subcone
- projective subspace
- projective surface
- projective symplectic group
- projective system
- projective system of topological groups
- projective technique
- projective tensor
- projective test
- projective theorem
- projective theory of surfaces
- projective topology
- projective torsion
- projective torsion tensor
- projective tower
- projective transfer
- projective transformation
- projective transformation group