Riba:
- Ikon samun basirar wucin gadi suna fassara maganganun lissafi cikin lambar LaTeX da bincika daidaiton haɗin gwiwa ta hanyar yin lambar.
- Ikon kama iyakoki (maɓalli mai lanƙwasa), mai magana, fihirisa da kurakurai ta hanyar kwatanta hoton da aka yi da lissafin da aka nufa.
- Ikon daidaita bayanin martaba ga ma'auni na masu sauraron da aka yi niyya da kuma manhaja da kuma fayyace maganganu marasa ma'ana tare da baka da iyaka.
Lissafi na amfani da nasa rubutaccen harshe na musamman: juzu'i, haɗin kai, alamomin jimla, ma'auni, matrices, haruffan Girkanci. Rubuta waɗannan alamomin da kyau kuma a cikin daidaitaccen tsari wani muhimmin sashi ne na sadarwar lissafi. A cikin duniyar kimiyya da ilimi, daidaitaccen kayan aikin wannan shine LaTeX (sau da yawa ana rubuta "lateh")-tsarin shirye-shiryen daftarin aiki wanda ke tsara maganganun lissafi ta hanyar ƙwararru. AI yana da matukar ikon samar da lambar LaTeX da kuma gyara bayanin ilimin lissafi; Wannan yana ba da babban sauri ga waɗanda ke shirya bayanin lacca, jarrabawa, labarai da gabatarwa. Amma bayanin da aka samar dole ne ya zama daidai duka biyu (yana aiki da lambar?) Da ma'ana (yana bayyana mathematics daidai?). A cikin wannan rukunin zaku koyi amfani da AI azaman LaTeX da mataimakan sanarwa.
'Yan ma'anoni. LaTeX tsarin nau'in nau'in nau'in nau'in nau'in nau'in nau'in nau'in nau'in nau'in nau'in nau'in nau'in nau'in nau'in nau'in nau'in nau'in nau'in nau'in nau'in nau'in nau'i nau'i nau'i nau'i nau'i nau'i nau'i nau'i na LaTeX wanda ke ɓoye kalmomin lissafi tare da umarni irin su \ frac{a}{b}; \frac{a}{b} yana samar da juzu'i (a over b). Syntax shine ka'idodin nahawu na lambar; Idan ba daidai ba ne, lambar ba za ta tattara ba. Semantics shine abin da lambar ke nufi; na iya rubuta lissafin da ba daidai ba ko da ma'anar ma'anar daidai ce. Biyu suna buƙatar tabbaci daban.
Gudunmawar AI ga LaTeX da sanarwa
- Rubutun magana: Fassara hadadden tsari zuwa lambar LaTeX.
- Rubutu zuwa LaTeX: Canza magana kamar "x squared da 2x debe 1" zuwa x^2 + 2x - 1.
- Tsara: Daidaita daidaito, lamba, daidaita matrix.
- Daidaita bayanin sanarwa: Gyara alamomin da basu dace ba.
- Gyara kuskure: Nemo kuskuren syntax a lambar LaTeX wanda baya tarawa.
- Juyawa: Fassara tsakanin LaTeX da sauran nau'ikan tsari (Equation Word, MathML).
Mataki-mataki: ƙirƙirar LaTeX daidai
1. Bayyana bayanin a sarari. Rashin fahimta yana haifar da kurakurai a cikin sanarwa. "x zuwa 2n" ya bambanta da "x zuwa 2, sau n"; Faɗa baka ko da da baki.
2. Rubuta lambar LaTeX zuwa AI. Bayyana jumlar da kuke so, nemi lambar.
3. Tattara ku gani. Sanya lambar a cikin mai tara LaTeX (shigarwar gida, editan kan layi kamar Overleaf, ko tallafin lissafi na Markdown/Jupyter) kuma duba fitowar gani. Kada ku ɗauka cewa lambar za ta "yi aiki".
4. Kwatanta abin gani da lissafi. Shin furucin da aka fassara yana nuna lissafin da kuke nufi? Shin tushe a wurin da ya dace? Menene layin juzu'i ya rufe? Shin bakan gizo daidai ne?
5. warware kurakuran syntax. Idan bai tattara ba, nemo bacewar takalmin gyaran kafa na lanƙwasa {}, kafofin watsa labarai da ba a rufe, ko umarnin da ba daidai ba. Ba da saƙon kuskure ga AI kuma gyara shi.
6. Duba ma'auni. Shin alamomin da aka yi amfani da su sun dace da ma'auni na filin ku da masu sauraron da ake hari? (Misali mai raba goma, wasu sunayen ayyuka a cikin Turkiye.)
Tukwici: Kuskuren da ya fi kowa yawa a cikin LaTeX shine kuskuren iyaka: furcin x^2n yana ƙarawa 2 (x²n), yayin da x^{2n} yana ƙayyadaddun duka (x²ⁿ). Haka yake ga subscript _ da juzu'in \ frac. Idan akwai haruffa fiye da ɗaya a cikin mai magana, rubuto, ko juzu'i, tabbatar da amfani da maƙallan lanƙwasa {}. Duba abin da aka fitar da gani zai kama waɗannan kurakurai.
Takaddun bayanai na musamman ga Turanci
Wasu fasalulluka na bayanin lissafin lissafi da aka yi amfani da su a cikin Turkiye sun bambanta da fitowar AI (mafi yawa na tushen Ingilishi) kuma suna buƙatar daidaitawa da hannu. Mafi sanannun shine mai rarraba goma: A Turkiye, an rubuta sashin goma da waƙafi (3.14), a cikin Ingilishi tare da lokaci (3.14); Bugu da ƙari, dubunnan masu rarraba digo ne a cikin Turkiye da waƙafi a cikin Ingilishi. AI akai-akai yana amfani da al'adar Ingilishi; Wajibi ne a canza wannan zuwa daidaitattun gida a cikin kayan kwas ko jarrabawa. Hakazalika, wasu sunaye na aiki (misali tan don tangent, amma gajarta daban-daban a wasu tsoffin kafofin Turkiyya) da saiti/kewaye na iya bambanta ta hanyar manhaja.
Dabarar ta biyu ita ce bayanin buɗaɗɗe da rufaffiyar kewayon: a cikin Turkiye, buɗe kewayon wani lokaci ana nuna shi ta hanyar canza alkiblar maƙallan murabba'i (misali a, b[) maimakon [a, b]; A cikin al'adar Ingilishi, (a, b) na kowa ne. Wadannan bambance-bambancen ba su da yawa amma suna damun dalibi kuma suna iya haifar da rashin fahimta a kan jarrabawar. Don haka bayan kun sami LaTeX daga AI, bitar bayanin ba kawai ta hanyar daidaitawa ba har ma dangane da al'adar lissafin gida. Ba da umarnin AI tun daga farko, kamar "Yi amfani da bayanin tsarin karatun sakandare na Turkiyya, bari mai rarraba decimal ya zama waƙafi", yana rage gyare-gyaren da za a yi daga baya.
Tsanaki: Tsohuwar bayanin ilimin lissafi na AI shine galibin al'adar Ingilishi; Mai raba goma, bayanin kewayon da wasu alamomi na iya bambanta da tsarin karatun Turkiyya. Bincika da hannu bisa ƙa'idar gida akan kowane abu da ke zuwa ga ɗalibai.
Tsarin LaTeX gama gari
ilmin lissafi
LaTeX
bayanin kula
Kashi a/b
\frac{a}{b}
Mai ƙididdigewa/mai ƙididdigewa a cikin maƙallan lanƙwasa
Exponent x
x^{n}
Ana buƙatar juzu'i da yawa {}
Subscript xᵢ
x_{i}
Ana buƙatar fihirisar haruffa {}
tushen murabba'i
\sqrt{x}
Abun ciki a cikin maƙallan masu lanƙwasa
m
\int_{a}^{b} f(x)\,dx
Iyakoki tare da _ da ^
Jimlar
\sum_{i=1}^{n}
Ƙananan iyaka da babba
harafin Girkanci
\alpha, \beta, \pi
a matsayin umarni
uku mini lokuta
Case 1 - Kuskuren iyaka. Wani malami ya tambayi AI don kalmar "e zuwa x squared". YZ ya rubuta e^x^2; Wannan ba daidai ba ne kawai a cikin LaTeX (biyu ba daidai ba) amma kuma yana isar da ma'ana mara kyau. Madaidaicin shine e^{x^2}. Da malamin ya yi sai ya ga kuskure ya gyara. Maɓalli masu lanƙwasa suna ƙayyade iyaka.
Case 2 - Juzu'i yana karkatar da ma'ana. Wani dalibi ya nemi kalmar "1 sama da 2n". AI ya rubuta \ frac{1}{2}n — wanda ke nufin (1/2)·n, yayin da ɗalibin ya so 1/(2n). Maganganun biyu sun sha bamban. Lokacin da ɗalibin ya kalli fitowar da aka yi, ya ga bambanci kuma ya gyara shi zuwa \ frac{1}{2n}. Bayani mai ma'ana yana haifar da bayanin da ba daidai ba.
Case 3 - Lambar da ba ta tattara ba. Wani malami ya ɗauki matrix LaTeX daga AI, amma lambar ta manta don rufe mahallin fara{matrix} tare da ƙarshen{matrix}; abin ya kasa cikawa. Masanin ilimin ya ba da sakon kuskure ga AI; AI ya kara da bacewar rufewar kuma an haɗa lambar. Zaton lambar daidai ba tare da aiki ba yana bata lokaci.
Samfura huɗu masu kwafi
1) Samar da LaTeX daga magana:
Maida kalmar lissafi mai zuwa zuwa lambar LaTeX: [bayyana magana a cikin kalmomi, ƙididdige ƙididdiga/ iyaka]. Yi amfani da maƙallan masu lanƙwasa {} don ba da madaidaicin iyaka ga mabambantan ƙira, rubutowa, da ɓangarori. Zan sanya lambar.
2) Rashin fahimta:
"[bayani]" na iya samun fassarori biyu masu yuwuwa: [comment1] da [comment2]. Ina nufin [wanda]. Rubuta lambar LaTeX don wannan a sarari kuma bayyana a cikin jumla ɗaya yadda za ta kasance idan an fassara ta.
3) Gyaran LaTeX:
Lambar LaTeX da ke ƙasa baya tattarawa. Saƙon kuskure: [saƙo]. Nemo kuskuren daidaitawa (bacewar {}, muhallin da ba a rufe ba, umarni mara kyau) kuma ba da lambar da aka gyara. Bayyana canjin a cikin jumla ɗaya. Code: [a nan]
4) Daidaitawar sanarwa:
A cikin daftarin aiki da ke ƙasa bayanin lissafin lissafin bai dace ba (abu ɗaya da aka rubuta tare da alamomi daban-daban). Yi bayanin kula daidai da [madaidaicin manufa]. Jerin inda da abin da kuka canza. Takardun: [nan]
Rauni mai ƙarfi / Ƙarfi mai ƙarfi
Rauni: "Rubuta juzu'in x2+3x-1."
Kammalawa: Ba a sani ba ko "gudu" ana nufin, "x squared" ko "x times 2"; AI yana tsammani kuma yana iya haifar da maganganun ƙarya.
Karfi: "Fassara wannan magana zuwa LaTeX: juzu'i tare da 'x squared da 3x deno 1' a matsayin mai ƙididdigewa da 'x debe 2' a matsayin ma'auni. Don haka (x²+3x−1)/(x−2).
Sakamako: Babu tabbatacciyar ma'ana; AI yana samar da ainihin bayanin da ake so kuma ana iya tabbatar da shi ta hanyar sarrafawa.
Kuskuren gama gari
- Kuskuren Matsakaicin madaidaicin madaidaicin madauri. x^2n da x^{2n} sun bambanta; Ana buƙatar {} a cikin mabambanta/subscript/ juzu'i masu yawa.
- Bayani mai ban sha'awa. Kalmomi kamar "1 sama da 2n" suna nufin abubuwa biyu; Fadi bakan gizo da baki.
- Karɓar lambar ba tare da nunawa ba. Lambar da ba ta tara ko bayyana ba daidai ba za a iya kama ta ta hanyar dubawa na gani kawai.
- Yin watsi da ma'auni. AI na iya haɗa alamomi daga al'adu daban-daban; Ƙayyade mizanin manufa.
- Wuraren da ba a rufe ba. \fara{...} yana buƙatar \ƙarshen{...}; akai-akai ana mantawa da shi a cikin mahallin matrix/alignment.
Tsanaki: Kawai saboda lambar LaTeX tana haɗawa da daidaitawa ba yana nufin tana da daidai ta lissafi ba. \frac{1}{2}n yana tattarawa ba tare da wata matsala ba, amma idan (1/2)n aka rubuta maimakon 1/(2n), lissafin kuskure ne. Koyaushe kwatanta hoton da aka yi da lissafin da kuke son bayyanawa. Bai isa ba cewa lambar "aiki"; dole ne a nuna "abin da ke daidai".
A takaice
LaTeX shine daidaitaccen harshe na nau'in rubutun lissafi, kuma AI yana da ikon ƙirƙira, fassara, da gyara wannan lambar. Amma ana buƙatar tabbatarwa daban-daban guda biyu: syntactic (shin lambar tana tattarawa?) da na ma'ana (yana nuna math daidai?). Kuskuren da ya fi kowa shine kuskuren tsinke - ana buƙatar maƙallan masu lanƙwasa don ƙayyadaddun abubuwa masu yawa, rubutowa, da ɓangarori. Bayyana maganganun a sarari, tabbatar da sanya lambar, kwatanta abin gani da lissafin da kuke nufi, kuma daidaita bayanin rubutu zuwa daidaitattun manufa.
Aikin aikace-aikace
Zaɓi madaidaicin furci na lissafi (misali, haɗe-haɗe tare da iyakoki, jimla tare da maballi/ fihirisa, ko matrix). Shin AI ta samar da lambar LaTeX tare da samfuri 1 kuma a haɗa shi a cikin kayan aikin LaTeX (Overleaf, Jupyter, editan Markdown). Kwatanta hoton da aka yi da lissafin da kuke nufi; musamman duba ƙayyadaddun ƙayyadaddun bayanai/subscript/ƙasuwa. Sa'an nan kuma gwada furcin da gangan (misali "1 sama da 2n") kuma ku lura da yadda AI ke fassara shi; 2. cire shubuha tare da samfuri.
jerin abubuwan dubawa
- [ ] Na fayyace ma'anar a fili tare da iyawarta da baqin ciki.
- [ ] Na tattara lambar LaTeX zuwa kayan aiki mai ma'ana.
- [ ] Na kwatanta hoton da aka yi da lissafin da nake nufi.
- [ ] Na tabbatar da cewa ana amfani da maƙallan masu lanƙwasa a cikin ƙayyadaddun ƙayyadaddun bayanai/subscript/ ɓangarorin yanki.
- [ ] Na warware kurakuran da aka tattara (rasa {}, muhallin da ba a rufe).
- [ ] Na daidaita bayanin ga ma'auni na masu sauraron da aka yi niyya.