Ngosipụta Ọgbọ Draft yana nkwenye akaebe

Uru:

• Ikike iji ọgụgụ isi na-emepụta ihe iji chọta echiche na usoro nke akaebe (nke a na-ahụ anya, ihe na-emegiderịta onwe ya, inductive, contrapositive) na nyochaa onwe ya na ọ bụ usoro ezi uche dị na ya.
• Ikike ịchọpụta oghere ihe akaebe, echiche doro anya na mwụli elu na-ezighi ezi n'azụ okwu ndị dị ka 'n'ụzọ doro anya', 'na-enweghị ajọ mbunobi maka izugbe'
• Ikike ịmata ọdịiche dị n'etiti ịdị mma na ịdị irè site n'ịchọ ihe atụ tupu ị dabere na akaebe na-ejighị n'aka na eziokwu nke nkwupụta.

Ngosipụta mgbakọ na mwepụ bụ kpọmkwem ntọhapụ nke nzọrọ n'usoro ezi uche dị na ya site na axioms anabatara na usoro ihe ndị egosipụtara na mbụ. Ihe akaebe bụ ngwaahịa mgbakọ na mwepụ kacha sie ike: otu mgbanwe ezi uche na-adịghị mma, mwepu ma ọ bụ echiche doro anya na anyị na-akpọ "ohere", na-agbagha ihe akaebe niile. Ọgụgụ isi nwere nkà nke ukwuu n'imepụta ederede na-ekwenye ekwenye maka ihe akaebe - nke ahụ bụ kpọmkwem ihe kpatara na ọ dị ize ndụ. Ederede nke yiri ka ọ na-ekwenye ekwenye abụghị ezigbo ihe akaebe. Na ngalaba a, ị ga-amụta ka esi eji AI dị ka onye na-edepụta ihe akaebe yana otu esi enyocha usoro ezi uche ọ bụla.

Nkọwa abụọ nke mbụ. Eserese ihe akaebe bụ nchịkọta nke na-enye echiche bụ isi na ọkpụkpụ nke ihe akaebe, mana ọ naghị ejupụta nkọwa niile. Oghere ihe akaebe bụ mmụba nke ihe akaebe na-ekwu "ebe a ka ọ na-esote" mana ọ naghị akwado ya n'ezie. Ihe ize ndụ kasịnụ mgbe ị na-arụ ọrụ na AI bụ oghere ndị na-ekpuchi okwu ndị na-eme ka ha kwenye: ederede bụ mmiri mmiri, jupụtara na njikọ dị ka "ya mere" na "n'ụzọ doro anya," ma na-amali elu n'etiti ndị na-adịghị egosipụta n'ezie.

Ike na adịghị ike nke AI na akaebe

AI na-eme ihe abụọ nke ọma na ihe akaebe: (1) kpalie echiche ọkọlọtọ nke ihe akaebe nke usoro ihe ọmụma a ma ama, (2) na-atụ aro usoro (mmelite, esemokwu, kpọmkwem, contrapositive) nwere ike ịkwado maka ihe akaebe. Adịghị ike ya bụ nke a: ịhụ na nzọụkwụ ọ bụla nke ihe akaebe mbụ ma ọ bụ aghụghọ dị adị n'ezie. AI nwere ike iwepụta "ihe akaebe na-adịghị mma" nke pụtara eziokwu mana ọ bụ ụgha n'ezie - dịka ọmụmaatụ, ọ nwere ike ịfefe isi okwu na ntinye ntinye, ma ọ bụ ọ nwere ike ịsị "na-emebighị izugbe" mana mee echiche nke na-emebi izugbe.

Ya mere, iwu ọla edo na ihe akaebe: jiri AI chọta ma depụta echiche nke ihe akaebe ahụ; Lelee izi ezi nke nzọụkwụ ọ bụla ezi uche dị na ya n'onwe gị. Tupu "nabata" ihe akaebe, jide n'aka na "ya mere" nke ọ bụla bụ eziokwu.

Nzọụkwụ site nzọụkwụ: ịlele ihe akaebe

1. Kọwaa nkwupụta na echiche. Gịnị na-egosi? N'okpuru ihe echiche? Ọ bụrụ na ndị a edoghị anya, ihe akaebe na-edoghị anya.

2. Mara usoro ihe akaebe. Kpọmkwem, site na mgbagha, inductively, contrapositively? Mara ihe nhazi usoro a chọrọ (dịka ọmụmaatụ, na ntinye, isi ikpe + ntinye ntinye dị mkpa).

3. Jụọ onye ọ bụla "ya mere". Na mgbanwe ezi uche dị na ya ọ bụla, "nke a ọ na-esochi usoro ndị gara aga?" juo. Oghere ndị kachasị aghụghọ na-ezo n'azụ okwu ndị a "n'ụzọ doro anya", "a na-ahụ ya ngwa ngwa", "na-enweghị atụfu izugbe".

4. Chọọ maka echiche efu. Ihe akaebe ahụ ọ dabere n'echiche a na-ekwughị okwu? Dịka ọmụmaatụ, enwere ike ịnakwere na nzuzo na ọnụọgụ dị mma ma ọ bụ ọrụ na-aga n'ihu.

5. Gbalịa mee ihe atụ. Ọ bụrụ na nkwupụta ahụ bụ ụgha, ihe atụ na-emebi emebi. Tupu ịnakwere ihe akaebe ahụ, nwalee na nkwupụta ahụ bụ eziokwu n'ezie n'okwu ndị pụrụ iche dị mfe.

6. Kpọtụrụ ndị na-ahụ maka ịzụ ahịa. Tulee ọkọlọtọ ọkọlọtọ maka theorems amaara na ebe a pụrụ ịdabere na ya (akwụkwọ ederede, isi mmalite nyochara ndị ọgbọ).

Ndụmọdụ: Nkebi ahịrịokwu ahụ "na-enweghị nkwụsị nke izugbe" na ihe akaebe bụ mma agha ihu abụọ. Mgbe ụfọdụ, ọ na-adị irè (ọ bụrụ na e nwere symmetry), mgbe ụfọdụ ọ bụ njehie zoro ezo. AI na-eji okwu a ọtụtụ ihe. Gosi onwe gị ezi mgbe ọ bụla na "izugbe adịghị agbaji n'ezie"; Ejila okwu AI maka ya.

Ụzọ akaebe na ọnyà

usoro akaebe

Nhazi

Ọnyà AI kachasị ewu ewu

kpọmkwem

Echiche → ... → Mmechi

na-amapụ nzọụkwụ n'etiti

esemokwu

Were ya na-emegide → chọta esemokwu

Esemokwu ahụ abụghị eziokwu

nnabata

Isi ikpe + nzọụkwụ

Na-echefu isi ọnọdụ

contrapositive

¬Mkpebi → ¬Atụ

okwu ụgha

Ihe nlere anya (mgbaghara)

otu ihe atụ

Counterexample abaghị uru

Obere ikpe atọ

Ikpe 1 - ikpe ntọala ezughị ezu. Onye nkuzi nwere AI gosipụtara usoro "1 + 2 + ... + n = n (n+1)/2" site na ntinye. AI dere usoro ntinye nke ọma mana enyochaghị ikpe ntọala (n=1). Onye nkuzi jụrụ "olee ebe ikpe ntọala dị?" ọ jụrụ; AI gbakwunyere. Na-enweghị ala ala, induction bụ adịghị mma; Nlele nke nkeji iri atọ chekwara ihe akaebe ahụ.

Ikpe 2 - Nkewa nzuzo site na efu. Otu nwa akwụkwọ hụrụ “ihe akaebe” na-akpa ọchị dị ka “a = b maka a, b” wee jụọ AI “kedu ebe ndudue nọ ebe a?” ọ jụrụ. YZ gosipụtara n'ụzọ ziri ezi na ihe akaebe na-ekewa site na (a-b) n'otu nzọụkwụ, na n'okpuru echiche a = b, nke a bụ nkewa site na efu. N'ebe a AI nwere ihe ịga nke ọma dị ka onye nyocha; mana nwa akwụkwọ ahụ ka ji aka nke aka ya chọpụta nzọụkwụ a.

Ikpe 3 - Ihe akaebe ụgha na-ekwenye ekwenye. Nwa akwụkwọ injinia nwere AI gosipụtara ahaghị nhata. Edemede ahụ mara mma ma kwenye, ma mgbe ị na-agbanye mgbọrọgwụ square n'otu nzọụkwụ, ọ leghaara ohere nke ma mgbọrọgwụ dị mma na nke na-adịghị mma ma were naanị ihe dị mma. Nwa akwụkwọ ahụ chọtara oghere a mgbe ọ jụrụ nzọụkwụ ọ bụla. Ihe akaebe ahụ bara uru mgbe agbakwunyere ọnọdụ agbakwunyere (ezigbo nke mgbanwe).

Ndebiri anọ enwere ike iṅomi

1) Ịrịọ akwụkwọ nkwado (echiche):

Kedu usoro ga-adabara iji gosipụta nkwuputa ndị a (nke a na-ekwu kpọmkwem, mgbagha, inductive, contrapositive)? Naanị nye MAIN IDEA na ọkpụkpụ nke ihe akaebe ahụ, edela ihe akaebe zuru oke. Okwu: [ebe a]

2) Nzọụkwụ site nzọụkwụ, ihe akaebe:

Jiri [usoro] gosi nkwupụta a: [nkwa]. Dee axiom/theorem/nkọwa nke ị tụkwasịrị obi maka nzọụkwụ ọ bụla. Ejila okwu dị ka "n'ụzọ doro anya" ma ọ bụ "dị mfe"; Hazie mgbanwe ọ bụla nke ọma. Ọ bụrụ na ntinye, gosi ihe ndabere na nzọụkwụ ntinye iche iche.

3) Na-egosi ịchụ nta oghere:

Lelee ihe akaebe dị n'okpuru. Naanị chọọ oghere ezi uche dị na ya, echiche ndị doro anya, na mwụli elu na-ezighi ezi. Lelee ma "ya mere" nke ọ bụla na-esote usoro ndị gara aga. Dee oghere ọ bụla ị chọtara na nzọụkwụ ọ dị. Ihe akaebe: [ebe a]

4) Chọọ ihe atụ:

Achọrọ m ịnwale ma ihe a na-ekwu ọ bụ EZIOKWU: [claim] .Nwale ya n'ọnọdụ pụrụ iche dị mfe; gbalịa ịchọta COUNTEREEXAMPLE. Ọ bụrụ na ịchọta ihe atụ, gosi ya; Ọ bụrụ na ịnweghị ike ịchọta ya, depụta ọnọdụ ndị ị nwara (mana nke a abụghị ihe akaebe, naanị ịchọ ihe akaebe).

Ngwa ngwa adịghị ike / Ike siri ike

Adịghị ike: "Gopụta na √2 enweghị isi."

Nsonaazụ: Ọkọlọtọ akaebe na-abịa, mana otu nzọụkwụ (dịka “mgbe ahụ p bụ ọbụna”) nwere ike ịwụpụ ya n'enweghị ihe ziri ezi ma ị gaghị achọpụta.

Ike: "Gosipụta site na mgbagha na √2 bụ ihe ezi uche na-adịghị na ya. Detuo echiche nke i jiri mee ihe na nzọụkwụ ọ bụla; kwadokwa nkwupụta etiti dịka 'Ọ bụrụ na p² bụ ọbụna, mgbe ahụ p na ọbụna'. N'ikpeazụ, gosi n'ụzọ doro anya ebe kpọmkwem esemokwu ahụ bilitere."

Nsonaazụ: Ihe ọ bụla nke etiti na-ekwu bụ ihe ziri ezi, isi iyi nke esemokwu ahụ doro anya, ọ dịghị oghere ọ bụla fọdụrụ.

Mmejọ ndị nkịtị

• Na-agbagwoju anya were were na ndaba. Ederede na-eme ka mmadụ kwenye abụghị ezigbo ihe akaebe; A ghaghị ilekọta usoro ọ bụla.
• Na-amafe steeti ala na ntinye. AI na-echefukarị ikpe isi; Naanị nzọụkwụ ntinye ezughị.
• Ịnabata "na-enweghị atụfu izugbe" na-enweghị ajụjụ. Okwu a nwere ike ịbụ njehie zoro ezo; Debe ya mgbe ọ bụla.
• Anaghị ahụ echiche doro anya. Echiche dị ka positivity, ịga n'ihu, enweghị efu, wdg nwere ike ịdaba n'ime ihe akaebe ahụ.
• Ịtụkwasị ihe akaebe ahụ n'atụghị egwu ihe atụ. Ọ bụrụ na nkwupụta ahụ bụ ụgha, ihe akaebe ahụ bụkwa ụgha; Nyochaa eziokwu nke nkwupụta ahụ n'okwu ndị dị mfe mbụ.

Kpachara anya: AI nwere ike iwepụta “ihe akaebe” ọbụlagodi maka nkwupụta nke bụ ụgha - n'ihi na ọ na-emepụta ederede, ọ naghị ekwe nkwa izi ezi. Ọ bụrụ na ịmaghị maka izi ezi nke nkwupụta, buru ụzọ chọọ ihe atụ mgbagha. "Ngosipụta" nke nkwupụta ụgha bụchaghị nke nwere oghere; Ọrụ gị bụ ịchọta oghere ahụ.

Na nchịkọta

Ihe akaebe bụ ngwaahịa mgbakọ na mwepụ kacha sie ike, AI nwere ike wepụta “ihe akaebe na-ezighi ezi.” Jiri AI ịchọta echiche na usoro ihe akaebe; Lelee izi ezi nke nzọụkwụ ọ bụla ezi uche dị na ya n'onwe gị. Chọọ maka isi okwu, echiche ndị doro anya, na oghere dị n'azụ nkebiokwu dị ka "n'ụzọ doro anya" na "na-enweghị ajọ mbunobi." Ọ bụrụ na ị maghị nke bụ eziokwu nke nkwupụta, nwalee ihe atụ na-emegide onwe gị tupu ị tụkwasa ihe akaebe ahụ. Ịsụ asụsụ adịghị mma.

Ọrụ ngwa

Họrọ ụkpụrụ ụkpụrụ (dịka "nchikota nke ọnụọgụ abụọ ọbụna" ma ọ bụ "√2 enweghị isi"). Mee ka AI gosipụta ya site na nzọụkwụ site na iji ndebiri nke abụọ. Mgbe ahụ nye otu ihe akaebe ahụ dị ka ndebiri nke atọ ọzọ maka ịchụ nta ọdịiche - ka ọ lelee ihe akaebe nke ya. Mgbe ahụ jiri aka jụọ onye ọ bụla "ya mere": enwere isi okwu, enwere echiche doro anya, mgbanwe ọ bụla ziri ezi? Chọta wee mara opekata mpe otu oghere ma ọ bụ ebe nkwalite nwere ike.

ndetu

• [ ] A kọwaara m nkwupụta na echiche.
• [] Amatara m usoro ịgba akaebe na ihe nhazi ya chọrọ.
• [ ] Achọpụtara m na "ya mere" nke ọ bụla na-esote usoro ndị gara aga.
• [] Emere m ihe nleba anya n'ihe bụ isi/nyocha echiche doro anya.
• [ ] A nwalere m nkwupụta ahụ n'okwu ndị dị mfe wee chọọ ihe atụ.
• [] M tụnyere ọkọlọtọ ọkọlọtọ maka theorems ama ama na isi iyi a pụrụ ịdabere na ya.