Awọn anfani:
- Agbara lati ni oye atọwọda tumọ awọn ikosile mathematiki sinu koodu LaTeX ati ṣayẹwo deede syntactic nipa jigbe koodu naa
- Agbara lati mu iwọn (awọn biraketi iṣupọ), olupilẹṣẹ, atọka ati awọn aṣiṣe ida nipa ifiwera aworan ti a ṣe pẹlu mathimatiki ti a pinnu
- Agbara lati ni ibamu pẹlu akiyesi si awọn iṣedede ti awọn olugbo ibi-afẹde ati iwe-ẹkọ ati ṣe alaye awọn ikosile alaiṣedeede pẹlu awọn akọmọ ati iwọn.
Iṣiro nlo ede kikọ pataki tirẹ: awọn ida, awọn akojọpọ, awọn aami apao, awọn olutayo, awọn matiriki, awọn lẹta Giriki. Kikọ awọn aami wọnyi daradara ati ni ọna kika boṣewa jẹ apakan pataki ti ibaraẹnisọrọ mathematiki. Ni agbaye ti imọ-jinlẹ ati ti ẹkọ, ọpa boṣewa fun eyi ni LaTeX (nigbagbogbo ti a pe ni “lateh”) — eto igbaradi iwe kan ti o ṣe iru awọn ikosile mathematiki ni ọna ti o dabi alamọdaju. AI jẹ agbara pupọ lati ṣe ipilẹṣẹ koodu LaTeX ati ṣiṣatunṣe akiyesi mathematiki; Eyi pese iyara nla fun awọn ti ngbaradi awọn akọsilẹ ikẹkọ, awọn idanwo, awọn nkan ati awọn ifarahan. Ṣugbọn ami akiyesi ti a ṣejade gbọdọ jẹ atunṣe mejeeji ni syntactically (Ṣe koodu naa ṣiṣẹ bi?) Ati ni itumọ-ọrọ (ṣe o ṣe afihan mathematiki to pe?). Ninu ẹyọ yii iwọ yoo kọ ẹkọ lati lo AI bi LaTeX ati oluranlọwọ akiyesi.
Awọn itumọ diẹ. LaTeX jẹ eto titọtẹ ti o ṣe koodu awọn ikosile mathematiki pẹlu awọn aṣẹ bii \ frac{a}{b}; \frac{a}{b} n ṣe ida kan (a over b). Sintasi ni awọn Gírámọ ofin ti awọn koodu; Ti o ba jẹ aṣiṣe, koodu ko ni ṣajọ. Semantics jẹ ohun ti koodu tumọ si; le kọ mathematiki ti ko tọ paapaa ti sintasi naa ba tọ. Awọn mejeeji nilo ijẹrisi lọtọ.
Ilowosi AI si LaTeX ati akiyesi
- Kikọ ikosile: Titumọ agbekalẹ eka kan sinu koodu LaTeX.
- Ọrọ si LaTeX: Yiyipada ikosile bi "x squared plus 2x iyokuro 1" si x^2 + 2x - 1.
- Kika: Titete idogba, nọmba, titete matrix.
- Iṣatunṣe akiyesi: Titunṣe awọn aami aisedede.
- N ṣatunṣe aṣiṣe: Wiwa aṣiṣe sintasi ni koodu LaTeX ti ko ṣe akopọ.
- Iyipada: Itumọ laarin LaTeX ati awọn ọna kika miiran (Idogba Ọrọ, MathML).
Igbesẹ nipasẹ igbese: ṣiṣẹda LaTeX ti o tọ
1. Ṣe apejuwe alaye naa kedere. Ambiguity nyorisi awọn aṣiṣe ni akọsilẹ. "x si 2n" yatọ si "x si 2, igba n"; Sọ awọn akọmọ paapaa ni lọrọ ẹnu.
2. Kọ LaTeX koodu si AI. Ṣe apejuwe gbolohun ọrọ ti o fẹ, beere fun koodu naa.
3. Ṣe akopọ ati ki o wo. Ṣe koodu naa sinu akopọ LaTeX kan (fifi sori ẹrọ agbegbe, olootu ori ayelujara bii Overleaf, tabi atilẹyin iṣiro Markdown/Jupyter) ati wo iṣelọpọ wiwo. Maṣe ro pe koodu naa yoo "ṣiṣẹ".
4. Afiwe wiwo si awọn isiro. Ṣe ikosile ti a ṣe afihan mathematiki ti o tumọ si? Ṣe awọn ipilẹ wa ni aye to tọ? Kini laini ida naa bo? Ṣe awọn akomo naa tọ?
5. Yanju awọn aṣiṣe sintasi. Ti ko ba ṣe akopọ, wa fun awọn àmúró ti o sonu {}, media ti ko tii, tabi pipaṣẹ ti ko tọ. Fun ifiranṣẹ aṣiṣe naa si AI ki o ṣe atunṣe.
6. Ṣayẹwo boṣewa ami akiyesi. Njẹ awọn aami ti a lo ni ibamu pẹlu awọn iṣedede aaye rẹ ati awọn olugbo ibi-afẹde? (Fun apẹẹrẹ oluyapa eleemewa, diẹ ninu awọn orukọ iṣẹ ni Türkiye.)
Imọran: Aṣiṣe ti o wọpọ julọ ni LaTeX ni aṣiṣe aaye: ikosile x^2n nikan ṣe alaye 2 (x²n), lakoko ti x^{2n} ṣe alaye gbogbo (x²ⁿ). Kanna n lọ fun ṣiṣe-alabapin _ ati ida \ frac. Ti o ba wa ju ẹyọkan lọ ninu olupilẹṣẹ, ṣiṣe alabapin, tabi ida kan, rii daju pe o lo awọn biraketi iṣupọ {}. Ṣiṣayẹwo oju-iwoye iṣẹjade ti a ṣe yoo mu awọn aṣiṣe wọnyi mu.
Awọn arekereke akiyesi ni pato si Tọki
Diẹ ninu awọn ẹya ti akiyesi mathematiki ti a lo ni Türkiye yato si aiyipada AI (ti o da lori Gẹẹsi julọ) ati pe o nilo lati ṣe adaṣe pẹlu ọwọ. Eyi ti o mọ julọ ni iyatọ eleemewa: Ni Türkiye, apakan eleemewa ni a kọ pẹlu aami idẹsẹ (3.14), ni Gẹẹsi pẹlu akoko kan (3.14); Ni afikun, oluyatọ ẹgbẹẹgbẹrun jẹ aami kan ni Türkiye ati aami idẹsẹ ni Gẹẹsi. AI nigbagbogbo nlo apejọ Gẹẹsi; O jẹ dandan lati yi eyi pada si boṣewa agbegbe ni ohun elo iṣẹ-ẹkọ tabi idanwo. Bakanna, diẹ ninu awọn orukọ iṣẹ (fun apẹẹrẹ tan fun tangent, ṣugbọn awọn kuru oriṣiriṣi ni diẹ ninu awọn orisun Turki agbalagba) ati awọn akiyesi ṣeto/aarin le yatọ nipasẹ iwe-ẹkọ.
Abele keji jẹ ami akiyesi ti ṣiṣi ati ibiti o ti ni pipade: ni Türkiye, ibiti o ṣii jẹ itọkasi nigbakan nipasẹ yiyipada itọsọna ti awọn biraketi onigun mẹrin (fun apẹẹrẹ ] a, b[) dipo [a, b]; Ninu aṣa Gẹẹsi, (a, b) jẹ wọpọ. Awọn iyatọ wọnyi dabi kekere ṣugbọn o jẹ airoju si ọmọ ile-iwe ati pe o le ja si aiyede lori idanwo naa. Nitorinaa lẹhin ti o gba LaTeX lati AI, ṣe atunyẹwo akiyesi kii ṣe ni isọdọkan nikan ṣugbọn tun ni awọn ofin ti aṣa mathematiki agbegbe. Fifun awọn itọnisọna AI lati ibẹrẹ, gẹgẹbi "Lo akọsilẹ iwe-ẹkọ ile-iwe giga ti Turki, jẹ ki iyatọ eleemewa jẹ aami idẹsẹ", dinku awọn atunṣe lati ṣe nigbamii.
Išọra: Iṣeduro mathematiki aiyipada ti AI jẹ apejọ Gẹẹsi pupọ julọ; Iyapa eleemewa, akiyesi ibiti ati diẹ ninu awọn aami le yato si iwe-ẹkọ Turki. Pẹlu ọwọ ṣayẹwo ami akiyesi lodi si boṣewa agbegbe lori gbogbo ohun elo ti o lọ si awọn ọmọ ile-iwe.
Awọn ilana LaTeX ti o wọpọ
mathimatiki
LaTeX
akiyesi
Ida a/b
\frac{a}{b}
Denominator/nọmba ninu awọn biraketi iṣupọ
Exponent x
x^{n}
Olupilẹṣẹ olona-kika {} ni a nilo
Alabapin xᵢ
x_{i}
Atọka awọn ohun kikọ pupọ {} ni a nilo
root square
\sqrt{x}
Akoonu ni iṣupọ biraketi
je egbe
\int_{a}^{b} f(x)\,dx
Awọn aala pẹlu _ ati ^
Lapapọ
\sum_{i=1}^{n}
Isalẹ ati oke ni opin
Greek lẹta
\alpha, \beta, \pi
bi aṣẹ
mẹta mini igba
Ọran 1 - Aṣiṣe ipari. Olukọ kan beere lọwọ AI fun ikosile "e si x squared". YZ kowe e^x^2; Eyi kii ṣe aṣiṣe nikan ni LaTeX (ilọpo meji indeterminate) ṣugbọn tun ṣe afihan itumọ ti ko tọ. Eyi to pe e^{x^2}. Nígbà tí olùkọ́ náà ṣe é, ó rí àṣìṣe náà ó sì tún un ṣe. Awọn biraketi wiwọ ṣe ipinnu iwọn.
Ọran 2 - Ida ipadaru itumo. Ọmọ ile-iwe kan beere fun ikosile "1 ju 2n". AI kọ \ frac{1}{2}n — eyiti o tumọ si (1/2)·n, lakoko ti ọmọ ile-iwe fẹ 1/(2n). Awọn gbolohun meji naa yatọ patapata. Nigbati ọmọ ile-iwe naa wo abajade ti a ṣe, o rii iyatọ o si ṣe atunṣe si \ frac{1}{2n}. Apejuwe aibikita ṣe agbejade akiyesi ti ko tọ.
Ọran 3 - Koodu ti ko ṣe akopọ. Omowe kan gba matrix LaTeX lati AI, ṣugbọn koodu naa gbagbe lati tii agbegbe \ bẹrẹ{matrix} pẹlu opin{matrix}; akopo kuna. Awọn ẹkọ ẹkọ fun aṣiṣe aṣiṣe si AI; AI ṣafikun pipade ti o padanu ati koodu ti o ṣajọ. A ro pe koodu naa tọ laisi ṣiṣiṣẹ o padanu akoko.
Mẹrin daakọ awọn awoṣe
1) Ṣiṣẹda LaTeX lati ikosile:
Yi ikosile mathematiki wọnyi pada si koodu LaTeX: [ṣapejuwe ikosile ni awọn ọrọ, pato awọn akọmọ/opin]. Lo awọn biraketi wiwọ {} lati fun ni aaye to pe fun awọn olupilẹṣẹ, awọn ṣiṣe alabapin, ati awọn ida. Emi yoo ṣe koodu naa.
2) Iyatọ:
"[ikosile]" le ni awọn itumọ meji ti o ṣeeṣe: [asọye1] ati [asọye2]. Mo tumọ si [eyi]. Kọ koodu LaTeX fun eyi ni kedere ati ṣapejuwe ninu gbolohun ọrọ kan bi yoo ṣe rii nigbati o ba ṣe.
3) LaTeX n ṣatunṣe aṣiṣe:
Koodu LaTeX ni isalẹ ko ṣe akopọ. Ifiranṣẹ aṣiṣe: [ifiranṣẹ]. Wa aṣiṣe sintasi (ti o padanu {}, agbegbe ti ko tii, aṣẹ ti ko tọ) ki o fun koodu atunṣe. Ṣe alaye iyipada ninu gbolohun kan. Koodu: [nibi]
4) Iṣatunṣe akiyesi:
Ninu iwe ti o wa ni isalẹ akọsilẹ mathematiki ko ni ibamu (ohun kanna ti a kọ pẹlu awọn aami oriṣiriṣi). Ṣe akọsilẹ ni ibamu pẹlu [boṣewa afojusun]. Ṣe atokọ ibiti ati kini o yipada. Iwe aṣẹ: [nibi]
Ailagbara kiakia / Alagbara kiakia
Alailagbara: "Kọ ida x2+3x-1."
Ipari: Ko ṣe akiyesi boya “ida” tumọ si, “x squared” tabi “x times 2”; AI ṣe amoro ati pe o ṣee ṣe agbejade awọn alaye eke.
Lagbara: "Tumọ ọrọ ti o tẹle yii si LaTeX: ida kan pẹlu 'x squared plus 3x minus 1' gẹgẹbi nọmba ati 'x iyokuro 2' gẹgẹbi iyeida. Nitorina (x²+ 3x−1)/(x−2) Ko awọn olupilẹṣẹ ati ipari ida naa kuro pẹlu awọn biraketi iṣupọ."
Esi: Ko si scope ambiguity; AI ṣe agbejade ikosile ti o fẹ ni deede ati pe o le rii daju nipasẹ ṣiṣe iṣakoso.
Awọn aṣiṣe ti o wọpọ
- Dopin (curly biraketi) aṣiṣe. x^2n ati x^{2n} yato; {} ni a nilo ni olupilẹṣẹ oni-nọmba pupọ/alabapin/ida.
- Apejuwe aiduro. Awọn gbolohun ọrọ bi "1 lori 2n" tumọ si ohun meji; Sọ awọn akọmọ ni lọrọ ẹnu.
- Gbigba koodu lai Rendering. Koodu ti ko ṣe akopọ tabi han pe ko tọ le ṣee mu nipasẹ ayewo wiwo nikan.
- Fojusi boṣewa ami akiyesi. AI le dapọ awọn aami lati awọn aṣa aṣa; Pato idiwọn ibi-afẹde.
- Awọn agbegbe ti a ko fi idi silẹ. \bẹrẹ{...} nigbagbogbo nbeere \opin{...}; nigbagbogbo gbagbe ni matrix / titete agbegbe.
Išọra: Nitoripe koodu LaTeX ṣe akopọ syntactically ko tumọ si pe o tọ ni mathematiki. \frac{1}{2}n ṣe akojọpọ laisi iṣoro eyikeyi, ṣugbọn ti o ba jẹ pe (1/2) n kọ dipo 1/(2n), maṣiṣi ti ko tọ. Ṣe afiwe aworan ti a ṣe nigbagbogbo si iṣiro ti o fẹ lati sọ. O ko to pe koodu naa "ṣiṣẹ"; gbọdọ fihan "ohun ti o tọ".
Ni akojọpọ
LaTeX jẹ ede titọka boṣewa ti akiyesi mathematiki, ati pe AI ni agbara pupọ lati ṣe ipilẹṣẹ, itumọ, ati atunṣe koodu yii. Ṣugbọn awọn ijerisi lọtọ meji ni a nilo: syntactic (njẹ koodu naa ṣe akopọ bi?) Ati atunmọ (ṣe o ṣafihan iṣiro to pe?). Aṣiṣe ti o wọpọ julọ jẹ aṣiṣe scoping - awọn biraketi wiwọ ni a nilo fun awọn olutọpa ohun kikọ pupọ, awọn ṣiṣe alabapin, ati awọn ida. Ṣe apejuwe awọn ikosile ni kedere, rii daju pe o ṣe koodu naa, ṣe afiwe wiwo si mathematiki ti o tumọ si, ki o mu ami akiyesi naa pọ si boṣewa ibi-afẹde.
Ohun elo iṣẹ-ṣiṣe
Yan ikosile mathematiki eka kan (fun apẹẹrẹ, irẹpọ pẹlu awọn aala, apao pẹlu awọn olutayo/awọn atọka, tabi matrix). Ni AI ṣe ipilẹṣẹ koodu LaTeX pẹlu awoṣe 1 ki o ṣajọ rẹ ni ohun elo mimu LaTeX kan (Overleaf, Jupyter, olootu Markdown). Ṣe afiwe aworan ti a ṣe si iṣiro ti o tumọ si; paapa ṣayẹwo awọn olutayo / alabapin / ida scopes. Lẹhinna gbiyanju ikosile ti o mọọmọ (fun apẹẹrẹ "1 ju 2n") ki o ṣe akiyesi bi AI ṣe tumọ rẹ; 2. yọ ambiguity pẹlu awoṣe.
akojọ ayẹwo
- [] Mo ti ṣe alaye asọye ni kedere pẹlu iwọn rẹ ati awọn akọmọ.
- [] Mo ṣe akojọpọ koodu LaTeX sinu ohun elo ti n ṣe.
- [] Mo ṣe afiwe aworan ti a ṣe pẹlu iṣiro ti Mo tumọ si.
- [] Mo ti rii daju pe awọn biraketi iṣupọ ni a lo ni awọn iwọn olofofo/alabapin/awọn iwọn ida.
- [] Mo yanju awọn aṣiṣe akopo (sonu {}, agbegbe ti ko tii).
- [] Mo ṣe atunṣe akọsilẹ naa si boṣewa ti awọn olugbo ibi-afẹde.