Riba:
- Ƙarfin yin amfani da hankali na wucin gadi a cikin magance matsala a cikin ayyuka daban-daban guda uku a matsayin mai ba da shawara na dabarun, mai samar da mafita da mai duba bayani, wanda ya dace da matakin haɗari na kowane.
- Ikon duba kowane mataki na mafita cikin tsari ta hanyar ƙididdigewa, tambayar ƙa'ida, duba lissafin lissafi, lissafin kuɗi da jera duk shari'o'i.
- Samun damar tabbatar da duka sakamakon da mafita tare da hanyoyi masu zaman kansu, fahimtar cewa sakamakon daidai ba ya nufin hanya madaidaiciya.
Maganin matsalar lissafi shine jerin matakai masu alaƙa; Idan duk wata hanyar haɗin yanar gizo ta karye, sakamakon ba shi da inganci. AI yana da kyau sosai wajen gina wannan sarkar cikin sauri - amma ya rage na mutane su sanya ido kan ƙarfin sarkar. A cikin wannan rukunin, zaku koyi yadda ake amfani da AI azaman abokin tarayya mai warware matsala kuma, mafi mahimmanci, yadda ake sarrafa kowane matakin da aka samar. Manufar ita ce amfani da saurin AI yayin da ba a rasa wani kuskure ba.
Na farko, ma'anar: Tabbacin mataki-mataki yana duba ko kowane matsakaicin mataki na mafita daidai ne daya bayan daya. A cikin lissafi, "Shin sakamakon daidai ne?" Tambayar ba ta isa ba; "Shin kowane matsakaicin mataki daidai ne?" Tambayar tana da mahimmanci. Domin wani lokaci matakan da ba daidai ba suna haifar da kwatsam zuwa sakamako mai kyau (mafita maras tabbas), wani lokacin kuskuren lissafi guda ɗaya a cikin ingantaccen dabara yana lalata sakamakon.
Matsayi daban-daban guda uku na AI a cikin warware matsala
Kuna iya amfani da AI wajen magance matsala ta hanyoyi daban-daban guda uku, kuma kowanne yana buƙatar tabbatarwa daban:
- Mashawarcin dabarun: "Yaya zan magance wannan matsalar?" Anan, AI yana nuna hanya. Hadarin yana da ƙasa saboda kuna yin lissafin da kanku.
- Magani janareta: "Maganin wannan matsala." Haɗarin yana da girma saboda duka dabarun da lissafin sun fito ne daga AI; Dole ne a kula da kowane mataki.
- Magani mai duba: "Duba mafitata." Yana da matsakaicin haɗari; AI na iya samun kwari, amma kuma yana iya ƙirƙirar kwaro waɗanda ba su wanzu ko rasa ainihin kwaro.
Hanya mafi aminci shine yawanci don haɗa 1 da 3: samun dabarun daga AI, yi lissafin da kanku ko tare da SymPy, sannan ku bincika AI da bincika.
Mataki-mataki: yadda ake duba mafita
1. Lamba kowane mataki. Neman AI don mafita a matakai masu ƙididdigewa yana ba ku damar cewa, "Akwai kuskure a mataki na 3."
2. A kowane mataki "wace doka?" yallabai. Shin AI ta rubuta wace ƙa'idar algebraic, theorem, ko ainihi ake amfani da ita a kowace fasfo. Idan sunan ka'idar ba daidai ba ne, matakin kuma abin tambaya ne.
3. Bincika lissafin daban. Ko da mahangar algebra daidai ne, kurakuran lamba na kowa. Bincika kowane ƙari, ninkawa, da sa hannu canji.
4. Gwada iyakoki da keɓancewa. Gwada sakamakon a sauƙi masu sauƙi kamar x=0, x=1. Idan dabarar ba ta da ma'ana a waɗannan ƙimar, akwai kuskure.
5. Koma baya. Bincika sakamakon abin da aka samo asali ta hanyar haɗawa, musanya tushen ma'auni, ninka haɓakar baya.
6. Nemo daidaiton girman / naúrar. Idan raka'a ba su ƙara cikin matsalolin da aka yi amfani da su ba (misali ƙara mita da daƙiƙa), dabarar ba daidai ba ce.
Tukwici: "Tabbatar da aiki ta baya" shine kayan aikin tabbatarwa mafi ƙarfi a cikin lissafi kuma kusan kyauta ne. Idan kun sami tushen ma'auni, canza shi; Idan kun ɗauki abin haɗaka, ɗauki abin da aka samo asali; Idan kun yi juzu'i, ninka baya. Wannan bincike na daƙiƙa 30 yana hana sa'o'i na kuskuren shugabanci.
Ƙarfin samarwa ya fito ne daga 'yancin kai daga AI. Lokacin da kuka maye gurbin tushen, kuna yin bincike na ƙayyadaddun ƙayyadaddun ƙayyadaddun ƙayyadaddun ƙayyadaddun ƙayyadaddun abin da AI ke yi a cikin hanyar warwarewa: ko dai ma'aunin ya gamsu ko ba haka ba, babu a tsakanin. Shi ya sa tabbatarwa ya fi daraja fiye da AI yana cewa "tabbas, dama"; saboda AI na iya maimaita kuskure iri ɗaya yayin tabbatar da nasa mafita, amma tabbatarwa mai zaman kanta yana wajen wannan madauki. Lokacin da zaku iya isar da sakamako mai mahimmanci ta hanyoyi daban-daban masu zaman kansu guda biyu (misali duka maye da SymPy), amincin ku yana ƙaruwa sosai.
Rarraba kurakurai
Teburin da ke ƙasa yana taƙaita nau'ikan kurakuran da kuka fi gani a cikin hanyoyin AI da kuma hanyar kama kowane ɗayan.
Nau'in kuskure
misali
hanyar kamawa
kuskuren alamar
Rubutun - (a-b) = -a-b
Budewa da duba sunana da hannu
kuskuren lissafi
7×8 = 54
Tabbatarwa tare da kalkuleta/SymPy
doka mara kyau
manta da tsarin sarkar
"Wace mulki?" tambaya
Kuskuren filin / ma'ana
samun log (mara kyau)
Duba yankin
Matsayin da aka tsallake
Yin watsi da wariya <0
Lissafa duk matsayi
Ka'idar da aka gyara
sunan theorem wanda babu shi
Tabbatarwa daga tushe
uku mini lokuta
Case 1 - Sakamakon daidai, hanya mara kyau. Wani dalibi ya tambayi AI iyaka tambaya. AI ta sami sakamakon ya zama 3 - wanda yayi daidai - amma a cikin tsaka-tsakin mataki ya yi amfani da dokar L'Hôpital inda ba za a iya amfani da shi ba (ba tare da rashin tabbas na 0/0 ba). dalibin ya tambaya "wace doka ta shafi kuma me yasa?" Lokacin da aka tambaye shi, AI ta karɓi kuskuren kuma ta sake kai 3 ta hanyar da ta dace. Sakamakon haka ya kasance, amma hanyar ba ta da ƙarfi; Tafiyar kuma an samu maki a jarabawar.
Case 2 - Harkar da aka tsallake. Injiniya, |2x - 4| = 6 cikakkiyar ma'aunin ƙima an warware ta YZ. YZ kawai ya warware 2x - 4 = 6 kuma ya ba x = 5; Ya tsallake 2x - 4 = -6 jiha (x = -1). Injiniyan ya tambaya "jihohi nawa ne suke da cikakkiyar darajar?" Lokacin da na tambaya, sai na biyu ya bayyana. An tabbatar da daidaiton tushen duka biyu ta hanyar musanya.
Case na 3 - Bincike ya gano kurakurai 3. Wani malami ya sa AI ta yi shaidar shaidar trigonometric mataki 10. Sannan ya kwatanta wannan hujja ta mataki-mataki tare da aikin sauƙaƙan SymPy. Ya gano cewa AI ta yi amfani da ainihi ba daidai ba a cikin matakai 3 cikin 10. Jimlar lokacin duba minti 12; Amincewar da aka samu bashi da kima.
Samfura huɗu masu kwafi
1) Ƙididdigar ƙididdiga, maganin tushen ƙa'ida:
Magance wannan matsalar: [matsala]. Rubuta maganin a matakai NUMBERED. A kowane mataki, faɗi sunan ƙa'idar/ka'idar da kuka yi amfani da ita a cikin baka. Kada ku tsallake kowane mataki ta hanyar cewa "a fili"; nuna kowane canji.
2) Kar a tilastawa duk jihohi:
Magance wannan matsalar: [matsala]. Lissafin DUKKAN lamuran da za a iya samu yayin warwarewa (misali cikakkiyar ƙima, maƙasudi, ƙaƙƙarfan yanki). Kada ku tsallake kowane lamari; Idan kun tsallake shi, ku ba da hujjar dalilin da yasa kuka tsallake shi.
3) Neman tanadi:
Kun samo: [sakamako]. Yanzu TABBATAR da wannan sakamakon ta aikin juzu'i:[ bambanta / musanya / ninka baya]. Nuna sakamakon checksum kuma gaya ko ya dace da ainihin matsalar.
4) Ikon Kuskure:
KAWAI nemo kurakurai a cikin maganin da ke ƙasa. Duba kowane mataki cikin tsari; idan ka sami kuskuren farko, rubuta wane mataki, wane nau'in kuskure (alama / lissafi / ka'ida) da abin da yake daidai. Ƙirƙirar sabon bayani. Magani: [nan]
Rauni mai ƙarfi / Ƙarfi mai ƙarfi
Rauni: "Magana x² - 5x + 6 = 0."
Sakamako: "x = 2 da x = 3" - na iya zama gaskiya, amma ba za ku lura ba idan an rasa abin ban mamaki ko ƙididdiga ba daidai ba ne.
Ƙarfafa: "A warware ma'auni x² - 5x + 6 = 0 ta hanyar ƙididdiga da ƙididdiga na nuna bambanci; nuna cewa hanyoyin biyu suna ba da tushe iri ɗaya. Sa'an nan kuma samar da kowane tushe ta hanyar musanya shi a cikin lissafin."
Sakamako: Hanyoyi masu zaman kansu guda biyu suna tabbatar da juna, suna tabbatar da sakamakon daidai ne. Idan akwai kuskure, hanyoyin biyu za su yi karo da juna kuma za ku gan shi nan da nan.
Kuskuren gama gari
- Kallon sakamakon kawai. Sakamakon daidai ba yana nufin hanya mai ƙarfi ba. Hakanan duba hanya.
- Tsallake samarwa. Canji na daƙiƙa 30/tambayi na baya yana kama mafi yawan kurakurai; Kada ku yi sakaci.
- Ba lissafin yanayi ba. Ragewa a cikin cikakkiyar ƙima, quadratic, tushen da iyakokin yanki sune mafi yawan kurakurai.
- Amincewa da AI don faɗi "babu kwari". AI a cikin aikin mai duba na iya rasa ainihin kuskuren; Idon mutum yana da mahimmanci a cikin aiki mai mahimmanci.
- Samun gamsuwa da hanya ɗaya. Idan zai yiwu, warware da kwatanta ta amfani da hanyoyi masu zaman kansu guda biyu.
Tsanaki: Lokacin da AI ta bincika maganin ku, wani lokaci yana iya yin "kwaro" maras wanzuwa kuma ya hana ku daga daidaitaccen maganin ku. Don haka lokacin da AI ya nuna kuskure, kuna kuma bincika ko wannan kuskuren kuskure ne. Hakanan mai binciken yana iya yin kuskure.
A takaice
A cikin warware matsalar, AI tana taka rawa guda uku: mai ba da shawara na dabarun, janareta na warwarewa, mai duba bayani. Hanya mafi aminci ita ce ɗaukar dabarun daga AI, yin ƙididdiga tare da kayan aiki masu zaman kansu, da kuma duba tsarin kowane mataki. Matakai masu lamba, "wace doka?" tambaya, checksum (aiki mai juyayi), iyakance shari'o'i, da jeri duk lokuta sune ainihin kayan aikin kama kurakurai. Sakamakon daidai ba yana nufin hanya mai ƙarfi ba; Duba duka sakamakon da kuma hanya.
Aikin aikace-aikace
Zaɓi ma'auni huɗu ko cikakken ƙimar ƙimar. Warware YZ tare da samfuri na 1 da 2. Sannan: (a) duba cewa an rufe dukkan shari'o'i, (b) tabbatar da kowane tushe ta hanyar musanya, (c) warwarewa da kwatanta sake ta hanya ta biyu, idan zai yiwu. Idan kun sami kuskure, lura da wane nau'i ne (alama / lissafi / doka / yanayin da aka tsallake).
jerin abubuwan dubawa
- [ ] Na ɗauki maganin a matakai masu lamba.
- [ ] Na tabbatar da dokar da aka yi amfani da ita a kowane mataki.
- [ ] Na tabbatar da cewa an magance duk abubuwan da ke faruwa.
- [ ] Na duba sakamakon ta hanyar aiki mai juzu'i (dubawa).
- [ ] Idan zai yiwu, na kwatanta shi da hanya ta biyu.
- [ ] Na kuma tabbatar da kan "kurakurai" da AI ta nuna.