＞数理逻辑与数学基础＞模型论＞释义 bound variable 约束变元 bound variable 约束变元，约束变量†，约束变项
理论计算机科学 程序理论 释文 bound variable 约束变量
- time axis
- time balance
- time-bandwidth product
- time base
- time-base
- time-base instability
- time base marker
- time-base stability
- time bill
- time-bounded Turing machine
- time budget
- time censored test
- time change
- time characteristic
- time chart
- time coarse check
- time code
- time comparison
- time complexity
- time complexity class
- time-complexity function
- time constant
- time constant of guidance system
- time constant of turbogenerator
- time-constructible function