＞数理逻辑与数学基础＞模型论＞释义 bound variable 约束变元 bound variable 约束变元，约束变量†，约束变项
理论计算机科学 程序理论 释文 bound variable 约束变量
- discriminant locus
- discriminant modular form
- discriminant of a family of curves
- discriminant of an algebraic equation
- discriminant of an elliptic curve
- discriminant of an ideal
- discriminant of a number field
- discriminant of a polynomial
- discriminant of a polynomial in one unknown
- discriminant of a quadratic curve
- discriminant of a quadratic equation
- discriminant of a quadratic equation in one unknown
- discriminant of a quadratic form
- discriminant of a simple algebra
- discriminant of a simple ring
- discriminant rule
- discriminant set
- discriminant subset
- discriminant surface
- discriminant tensor
- discriminant theorem
- discriminant validity
- discriminate intensively
- discriminate the void and the real
- discriminating