arithmetical hierarchy
Sideways from the hand. / Done with the side of the hand. / Indirect; subtle. / (UK, of a baton or nightstick) Expanding.
(uncountable) An indifference to suffering or pleasure in inflicting suffering. / (countable) A cruel act.
(transitive, intransitive, rare) To make or become crazed or crazy
(logic) A hierarchy which classifies the complexity of first-order formulae (and sets defined by them) based on the number of alternations between series of unbounded existential quantifiers and universal quantifiers.
異なる断片の記述力を判断するために、研究者たちは第一階述語論理の式やそれらが定義する集合の複雑さを、非有界の存在量化子と全称量化子のブロックの交替回数によって分類する算術階層を調べる。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★
