语言
没有数据
通知
无通知
(1)〔induction〕
推論の手続きが帰納によっているさま。
次元に関して帰納的に空間の次元を定義できるものでなければならない。 小さい帰納次元と大きい帰納次元は位相空間に対する「次元」概念を捉えるのに最も利用される三つの方法のうちの二つで、（距離空間などの余分な性質に依存することなく）その位相のみによって定まる。三つのうち後一つはルベーグ被覆次元
で添字付けられた対象の族、fij: Ai → Aj (i ≤ j) を準同型の族として、以下の条件 fii は Ai の恒等写像であり、 任意の i ≤ j ≤ k に対して fik = fjk ∘ fij が成立する。 が満たされるとき、対、⟨Ai, fij⟩ は I 上の帰納系と呼ばれる。 帰納系 ⟨Ai, fij⟩
帰納言語（きのうげんご、英: Recursive language）は、数学・論理学・計算機科学における形式言語の一種である。決定性言語(Decidable Language)、チューリング決定性言語(Turing-decidable Language)とも呼ぶ。全ての帰納言語の属する複雑性クラスをRと呼ぶが、RPクラスを
〖programming〗
指示関数が帰納的関数となるような集合を帰納的集合（きのうてきしゅうごう）という。 端的に言えば、決定可能な集合であり、チャーチのテーゼを認めるならば、計算可能な集合である。 たとえば、素数の集合は、帰納的集合である。一方で停止性問題（実行すると停止するプログラムと入力の組の集合）は帰納的でない。 帰納的関数
後退帰納法（こうたいきのうほう、Backward induction）とは、問題や状況の終わり（最終回）から時間を遡って、最適な行動の順序を決定する帰納法。後向き帰納法（後ろ向き帰納法、うしろむききのうほう）、逆向き帰納法（ぎゃくむききのうほう）とも。 ベルマン方程式 後向き連鎖
搜索 
搜索 搜索 
