귀납,induction

귀납, 귀납법

TODO 아래 어떤건 수학적귀납법,mathematical_induction으로 옮겨야

구조적귀납법? 구조적귀납? 구조귀납? 구조귀납법? ,structural_induction
{
수리논리,mathematical_logic에서 쓰이는 proof_method 이다. (증명,proof 방법)
수학적귀납법,mathematical_induction의 일반화,generalization임.

rel. 구조적 재귀 ? 구조재귀? structural_recursion
귀납,induction ? or 수학적귀납법,mathematical_induction ? chk structural_induction
재귀,recursion structural_recursion

rel. ,loop_invariant - 루프,loop에 작성중

이것의 쌍대,dual는 coinduction.

Twins:
WpEn:Structural_induction
WpJa:構造的帰納法 (구조적귀납법)
}


weak_induction
... Google:weak induction



Noetherian_induction = well-founded_induction ? chk. (w)
{
Noetherian induction
well-founded induction



induction_axiom
귀납공리 via kms
공리,axiom
... Google:induction.axiom Google:귀납공리



Compare: 연역,deduction, abduction
and coinduction (writing)

MKLINK
일반화,generalization
반례,counterexample — 귀납에 의거한 주장(논증,argument)은 반례 하나로 깨질 수 있다.

같은 영단어 다른 뜻: 유도,induction