gap theorem 间隙定理，缺项定理
理论计算机科学 可计算性与计算复杂性 释文 gan theorem 间隙定理
- control gate mark
- Control Group
- control group
- control hazard
- control head
- control in epidemic area of biological warfare
- control in heat transfer process
- control in-process for food safety
- control input place
- control instrument
- control instrumentation
- control integration design
- control knob
- controllability
- controllability canonical form
- controllability index
- controllability indices
- controllability matrix
- controllability of Markov jumping systems
- controllability of nonlinear system
- controllability of quantum systems
- controllable
- controllable canonical form
- controllable criteria
- controllable differential equation