Sò͘-ha̍k kui-la̍p-hoat (mathematical induction) sī 1 chióng chèng-bêng ê hong-hoat, tiāⁿ ēng lâi chèng-bêng bó͘-mih tîn-su̍t tùi só͘-ū ê chū-jiân-sò͘ (natural number) lóng sī chin--ê.
Chit ê hong-hoat ē-tàng khok-chhiong chò kiat-kò͘ kui-la̍p-hoat (structural induction), ēng tiàm khah it-poaⁿ-te̍k, ū liông-ki koan-hē (Well-founded relation) ê kiat-kò͘, pí-lūn kóng chhiū-á (chi̍p-ha̍p-lūn). Sò͘-ha̍k-te̍k ê lô-chek ham tiān-naú kho-ha̍k mā lóng ū leh ēng kiat-kò͘ kui-la̍p-hoat. Sò͘-ha̍k kui-la̍p-hoat ham chiah-ê ū hû-ha̍p liông-sū goân-chek (well-ordering principle) ê hong-hoat tī lô-chek téng-koân lóng sio-siâng, in lóng sī lô-chek téng-kè (logical equivalence) ê hong-hoat.
Chún kóng lán beh sò͘-ha̍k kui-la̍p-hoat lâi chèng-bêng tùi só͘-ū ê chū-jiân-sò͘ n lóng sêng-li̍p.
Tē 1 pō͘: n = 1 ê sî,
Tē 2 pō͘: ká-siat n = m ê sî sêng-li̍p,
Tē 3 pō͘: Án-ne n = m + 1 ê sî,
mā ē sêng-li̍p.
Kin-kì Sò͘-ha̍k kui-la̍p-hoat, tùi só͘-ū ê chū-jiân-sò͘ n lóng sêng-li̍p. #
Pún bûn-chiuⁿ sī chi̍t phiⁿ phí-á-kiáⁿ. Lí thang tàu khok-chhiong lâi pang-chō͘ Wiki Bân-lâm-gú. |
This article uses material from the Wikipedia Bân-lâm-gú article Sò͘-ha̍k kui-la̍p-hoat, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Nā bô lēng-gōa kóng, chiàu CC BY-SA 4.0 thang īng. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Bân-lâm-gú (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.