「算術的階層」を解説文に含む見出し語の検索結果(91～100/158件中)
数理論理学において記述集合論（英: descriptive set theory）はよい振る舞いを持つポーランド空間（例えば実数直線）の部分集合の研究である。集合論の主要な研究分野のひとつであ...
ナビゲーションに移動検索に移動EXPTIME（EXPとも）は、計算量理論において、チューリング機械で O(2p(n)) の時間で解ける全ての決定問題の集合である。なお、p(n) は n の多項式関数で...
神託機械（しんたくきかい、英: oracle machine）または預言機械（よげんきかい）は、計算複雑性理論や計算可能性理論における抽象機械の一種であり、決定問題の研究で使われる。チューリン...
神託機械（しんたくきかい、英: oracle machine）または預言機械（よげんきかい）は、計算複雑性理論や計算可能性理論における抽象機械の一種であり、決定問題の研究で使われる。チューリン...
神託機械（しんたくきかい、英: oracle machine）または預言機械（よげんきかい）は、計算複雑性理論や計算可能性理論における抽象機械の一種であり、決定問題の研究で使われる。チューリン...
神託機械（しんたくきかい、英: oracle machine）または預言機械（よげんきかい）は、計算複雑性理論や計算可能性理論における抽象機械の一種であり、決定問題の研究で使われる。チューリン...
アルゴリズム的ランダムな無限列（あるごりずむてきらんだむなむげんれつ、英: Algorithmically random sequence）、あるいは単にランダムな列は、直感的にはどんなアルゴ...
タルスキの定義不可能性定理 (Tarski's undefinablity theorem)とは1933年にアルフレト・タルスキによって提唱・証明された数理論理学、数学基礎論、形式意味論[要曖...
タルスキの定義不可能性定理 (Tarski's undefinablity theorem)とは1933年にアルフレト・タルスキによって提唱・証明された数理論理学、数学基礎論、形式意味論[要曖...
数理論理学において、ボレル階層（ボレルかいそう、英語: Borel hierarchy）はポーランド空間の開集合によって生成されるボレル代数の階層化である; この代数の要素はボレル集合と呼ばれ...