理学 图论 释 complexity of algorithms 算法复杂性 ，问这是一个“问题”（problem），称之为加法问题，而形如：的这类无穷多个具体加法计算的每一个题目，称之为加法问题的实例。
交叉学科 非线性物理学 algorithm complexity 算法复杂性 个别轨道不可预测性的度量。 algorithm complexity 算法复杂性†
＞数论＞算法数论＞释义 algorithmic complexity 算法复杂性 algorithmic complexity = algorithm complexity 算法复杂性
理论计算机科学 可计算性与计算复杂性 释文 algorithm complexity 算法复杂性
- predicate logic
- predicate logic of first order
- predicate logic of higher order
- predicate logic of second order
- predicate logic with equality
- predicate modification rule
- predicate of first level
- predicate of first order
- predicate of n arguments
- predicate of n variables
- predicate of second level
- predicate of second order
- predicate symbol
- predicate transformer
- predicate transformer semantics
- predicate/transition system
- predicate variable
- predicate word
- predicative
- predicative analysis
- predicative definition
- predicative formal theory
- predicative ordinal number
- predicative property
- predicative proposition