语言
没有数据
通知
无通知
推論の手続きが帰納によっているさま。
帰納法と関係を持つ。 構造的帰納法は、（リストや木構造のように）再帰的に定義された構造のある種の x に関する全称命題 ∀x. P(x) を証明する手法である。そのような構造の上には、整礎な半順序が定義できる。（リストに対する「部分リスト」、木構造に対する「部分木」など。） 構造的帰納法による証明
(1)〔induction〕
指示関数が帰納的関数となるような集合を帰納的集合（きのうてきしゅうごう）という。 端的に言えば、決定可能な集合であり、チャーチのテーゼを認めるならば、計算可能な集合である。 たとえば、素数の集合は、帰納的集合である。一方で停止性問題（実行すると停止するプログラムと入力の組の集合）は帰納的でない。 帰納的関数
後退帰納法（こうたいきのうほう、Backward induction）とは、問題や状況の終わり（最終回）から時間を遡って、最適な行動の順序を決定する帰納法。後向き帰納法（後ろ向き帰納法、うしろむききのうほう）、逆向き帰納法（ぎゃくむききのうほう）とも。 ベルマン方程式 後向き連鎖
た行動系列，得られるプログラムの計算量を考慮した制約，種々の背景知識が挙げられる．背景知識としては，標準的なデータ型，使用する定義済み関数，データの流れや意図したプログラムを記述するプログラムの概形あるいはテンプレート，解の探索を誘導するヒューリスティクスやその他のバイアスが挙げられる．
任意の加法的関数 f(n) を用いて、乗法的関数 g(n), すなわち、互いに素な a と b に対して g(ab) = g(a) × g(b) を満たすような関数を作ることは簡単である。例えば、g(n) = 2f(n) とおけばよい。 ^ 可算和と可換であることを意味するσ加法性も「完全加法性」(completely
数論における乗法的関数（じょうほうてきかんすう、英: multiplicative function）とは、正の整数 n の数論的関数 f(n) であって、f(1) = 1 であり、a と b が互いに素であるならば常に f(ab) = f(a) f(b) が成り立つことである。さらに、f(n) が、任意のa
搜索 
搜索 搜索 
