「記述計算量」を解説文に含む見出し語の検索結果(1～10/35件中)
最小不動点（さいしょうふどうてん、英: Least fixed point, LFP）は、関数の不動点の中でも、何らかの半順序関係において最も小さい不動点をいう。例えば、次の実関数f(x) = x2の...
最小不動点（さいしょうふどうてん、英: Least fixed point, LFP）は、関数の不動点の中でも、何らかの半順序関係において最も小さい不動点をいう。例えば、次の実関数f(x) = x2の...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/03/07 19:04 UTC 版)「ELEMENTARY」の記事における「記述的特徴付け」の解説記述計算量の観点から見ると...
記述計算量（きじゅつけいさんりょう、英: Descriptive complexity）は、有限モデル理論の一種であり、計算複雑性理論と数理論理学の一分野である。複雑性クラスを言語で表現するのに必要と...
記述計算量（きじゅつけいさんりょう、英: Descriptive complexity）は、有限モデル理論の一種であり、計算複雑性理論と数理論理学の一分野である。複雑性クラスを言語で表現するのに必要と...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/08 05:41 UTC 版)「数理論理学」の記事における「計算機科学との関係」の解説計算機科学における計算可能性理論...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 20:32 UTC 版)「計算複雑性理論」の記事における「複雑性クラス」の解説ある量の計算資源を使って解くことが...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/24 15:46 UTC 版)「論理学の歴史」の記事における「戦後論理学」の解説第二次世界大戦後、数理論理学は4つの互...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
NL（えぬえる、英: Nondeterministic Logarithmic-space）は、計算複雑性理論における決定問題の複雑性クラスの一つである。非決定性チューリングマシンで対数規模の...
< 前の結果 | 次の結果 >