理论计算机科学 可计算性与计算复杂性 释文 oracle tape 谕示带
- strict implication calculus
- strict inclusion
- strict incompatibility
- strict increasing
- strict inductive limit
- strict inequality
- striction
- striction band
- striction curve
- striction line
- strict isotonicity
- strict liability
- strictly antitone function
- strictly antitone mapping
- strictly between
- strictly categorical set
- strictly complementary solution
- strictly concave
- strictly concave function
- strictly convex
- strictly convex Banach space
- strictly convex [Banach] space
- strictly convex function
- strictly convex norm
- strictly convex set