Kasu:
- Võimalus lasta tehisintellektil tõlkida matemaatilised avaldised LaTeX-koodiks ja kontrollida süntaktilist täpsust koodi renderdades
- Võimalus tabada ulatust (kõverad sulud), eksponendi, indeksi ja murdarvu vigu, võrreldes renderdatud pilti kavandatud matemaatikaga
- Oskus tähistust kohandada sihtrühma ja õppekava standarditega ning selgitada mitmetähenduslikke väljendeid sulgude ja ulatusega.
Matemaatikas on kasutusel oma eriline kirjakeel: murded, integraalid, summasümbolid, eksponendid, maatriksid, kreeka tähed. Nende sümbolite ilusti ja standardvormingus kirjutamine on matemaatilise suhtluse lahutamatu osa. Teaduslikus ja akadeemilises maailmas on selle standardseks tööriistaks LaTeX (sageli kirjutatud "lateh") – dokumentide ettevalmistamise süsteem, mis ladub matemaatilisi avaldisi professionaalselt näival viisil. AI on väga võimeline genereerima LaTeX-koodi ja redigeerima matemaatilisi tähistusi; See tagab suure kiiruse neile, kes koostavad loengukonspekte, eksameid, artikleid ja esitlusi. Kuid toodetud märge peab olema õige nii süntaktiliselt (kas kood töötab?) kui ka semantiliselt (väljendab õiget matemaatikat?). Selles üksuses õpite kasutama tehisintellekti LaTeX-i ja noodiabilisena.
Mõned määratlused. LaTeX on ladumissüsteem, mis kodeerib matemaatilisi avaldisi käskudega nagu \frac{a}{b}; \frac{a}{b} annab murdosa (a üle b). Süntaks on koodi grammatilised reeglid; Kui see on vale, siis koodi ei kompileerita. Semantika on see, mida kood tähendab; võib kirjutada vale matemaatika isegi siis, kui süntaks on õige. Need kaks nõuavad eraldi kontrollimist.
AI panus LaTeX-i ja tähistusse
- Avaldise kirjutamine: keeruka valemi tõlkimine LaTeX-koodi.
- Tekst LaTeX-i: avaldise nagu "x ruudus pluss 2x miinus 1" teisendamine x^2 + 2x - 1-ks.
- Vormindamine: võrrandite joondamine, nummerdamine, maatriksi joondamine.
- Tähistuste standardimine: vastuoluliste sümbolite parandamine.
- Silumine: süntaksivea leidmine LaTeX-i koodis, mida ei kompileerita.
- Teisendamine: tõlkimine LaTeX-i ja muude vormingute vahel (Word võrrand, MathML).
Samm-sammult: õige LaTeXi genereerimine
1. Kirjeldage väidet selgelt. Ebaselgus toob kaasa vigu märkimisel. "x kuni 2n" erineb väärtusest "x kuni 2, korda n"; Esitage sulud isegi verbaalselt.
2. Kirjutage AI-le LaTeX-i kood. Kirjeldage soovitud fraasi, küsige koodi.
3. Koosta ja vaata. Renderdage kood LaTeX-i kompilaatoris (kohalik installimine, veebiredaktor nagu Overleaf või Markdowni/Jupyteri matemaatika tugi) ja vaadake visuaalset väljundit. Ärge eeldage, et kood "töötab".
4. Võrrelge visuaali matemaatikaga. Kas renderdatud avaldis näitab matemaatikat, mida mõtlete? Kas alused on õiges kohas? Mida murrujoon hõlmab? Kas sulud on õiged?
5. Lahendage süntaksivead. Kui see ei kompileeri, otsige puuduvaid lokkis sulgusid {}, sulgemata kandjat või vale käsku. Andke AI-le veateade ja laske see parandada.
6. Kontrollige tähistusstandardit. Kas kasutatavad sümbolid vastavad teie valdkonna ja sihtrühma standarditele? (Nt kümnendkoha eraldaja, mõned funktsioonide nimed türki keeles.)
Näpunäide: LaTeX-i kõige levinum viga on ulatuse viga: avaldis x^2n eksponeerib ainult 2 (x²n), samas kui x^{2n} eksponentsib kõik (x²ⁿ). Sama kehtib ka alaindeksi _ ja murdosa \frac kohta. Kui eksponendis, alamindeksis või murdosas on rohkem kui üks märk, kasutage kindlasti lokkis sulgusid {}. Renderdatud väljundi visuaalne kontrollimine tuvastab need vead.
Türgi keelele omased tähistuse peensused
Mõned Türkiye's kasutatava matemaatilise tähise funktsioonid erinevad tehisintellekti vaikeväljundist (enamasti inglise keeles) ja neid tuleb käsitsi kohandada. Tuntuim on kümnendkoha eraldaja: Türkiye's kirjutatakse kümnendosa komaga (3,14), inglise keeles punktiga (3,14); Lisaks on tuhandete eraldaja türki keeles punkt ja inglise keeles koma. AI kasutab sageli inglise tava; Kursuse materjalis või eksamil on vaja see konverteerida kohalikule standardile. Sarnaselt võivad mõned funktsioonide nimed (nt tangensi puhul tangens, kuid mõnedes vanemates türgi allikates erinevad lühendid) ja hulga/vahemiku tähised olenevalt õppekavast erineda.
Teine peensus on avatud ja suletud vahemiku märkimine: Türkiye's tähistatakse mõnikord avatud vahemikku nurksulgude suuna muutmisega (nt ]a, b[) [a, b] asemel; Inglise traditsioonis on (a, b) tavaline. Need erinevused tunduvad väikesed, kuid ajavad õpilast segadusse ja võivad eksamil põhjustada arusaamatusi. Nii et pärast seda, kui olete AI-st LaTeX-i hankinud, vaadake üle tähistus mitte ainult süntaktiliselt, vaid ka kohalike matemaatikatraditsioonide seisukohast. Kui anda algusest peale tehisintellekti juhised, näiteks "Kasutage türgi keskkooli õppekava tähistust, kümnendkoha eraldaja olgu koma", vähendab hiljem tehtavaid parandusi.
Ettevaatust: AI matemaatiline vaikimisi tähistus on enamasti inglise keel; kümnendkoha eraldaja, vahemiku märkimine ja mõned sümbolid võivad erineda Türgi õppekavast. Kontrollige käsitsi iga õpilastele saadetava materjali märge kohaliku standardi järgi.
Levinud LaTeX-mustrid
matemaatika
LaTeX
märkus
Murd a/b
\frac{a}{b}
Nimetaja/lugeja lokkis sulgudes
Eksponent xⁿ
x^{n}
Nõutav on mitme tähemärgi astendaja {}
Alamindeks xᵢ
x_{i}
Nõutav on mitme tähemärgiga indeks {}
ruutjuur
\sqrt{x}
Sisu lokkis sulgudes
lahutamatu
\int_{a}^{b} f(x)\,dx
Äärised _ ja ^-ga
Kokku
\sum_{i=1}^{n}
Alumine ja ülemine piir
kreeka kiri
\alpha, \beta, \pi
käsuna
kolm minikarpi
Juhtum 1 – ulatuse viga. Õpetaja küsis AI-lt väljendit "e x ruudus". YZ kirjutas e^x^2; See pole mitte ainult vale LaTeX-is (kaheastmeline määramatu), vaid annab ka vale tähenduse. Õige oli e^{x^2}. Kui õpetaja selle renderdas, nägi ta viga ja parandas selle. Kohalikud sulud määravad ulatuse.
Juhtum 2 – murdosa moonutav tähendus. Üks õpilane küsis väljendit "1 üle 2n". Tehisintellekt kirjutas \frac{1}{2}n — mis tähendab (1/2)·n, samas kui õpilane soovis 1/(2n). Need kaks väidet on täiesti erinevad. Kui õpilane vaatas renderdatud väljundit, nägi ta erinevust ja parandas selle väärtuseks \frac{1}{2n}. Mitmetähenduslik kirjeldus tekitab vale märgistuse.
Juhtum 3 – kood, mida ei kompileerita. Akadeemik võttis tehisintellektist maatriksi LaTeX, kuid kood unustas sulgeda \begin{matrix} keskkonna koodiga \end{matrix}; koostamine ebaõnnestus. Akadeemik andis veateate tehisintellektile; AI lisas puuduva sulguri ja kompileeritud koodi. Eeldades, et kood on ilma käivitamata õige, raiskab see aega.
Neli kopeeritavat malli
1) LaTeX-i genereerimine avaldisest:
Teisenda järgmine matemaatiline avaldis LaTeX-koodiks: [kirjelda väljendit sõnadega, määra sulud/ulatus]. Kasutage astendajate, alaindeksite ja murdude õige ulatuse andmiseks lokkis sulgusid {}. Ma renderdan koodi.
2) Täpsustused:
"[väljendil]" võib olla kaks võimalikku tõlgendust: [kommentaar1] ja [kommentaar2]. Ma mõtlen [mis]. Kirjutage selle LaTeX-i kood selgelt ja kirjeldage ühe lausega, kuidas see renderdamisel välja näeb.
3) LaTeX-i silumine:
Allolev LaTeX kood ei kompileeri. Veateade: [sõnum]. Otsige üles süntaksiviga (puudub {}, sulgemata keskkond, vale käsk) ja sisestage parandatud kood. Selgitage muutust ühe lausega. Kood: [siin]
4) Tähistuste standardimine:
Allolevas dokumendis on matemaatiline märge ebaühtlane (sama asi kirjutatud erinevate sümbolitega). Muutke märge [sihtstandardiga] kooskõlas. Loetlege, kus ja mida muutsite. Dokument: [siin]
Nõrk viip / Tugev viip
Nõrk: "Kirjutage murd x2+3x-1."
Järeldus: on ebaselge, kas on mõeldud "murd", "x ruudus" või "x korda 2"; AI oletab ja võib-olla esitab valeväiteid.
Strong: "Tõlgige järgmine avaldis LaTeX-i: murd, mille lugejaks on "x ruudus pluss 3x miinus 1" ja nimetajaks "x miinus 2". Seega (x²+3x−1)/(x−2). Tühjendage murdu astendajad ja ulatus kõverate sulgudega."
Tulemus: ulatuse ebaselgus puudub; AI loob täpselt soovitud avaldise ja seda saab kontrollida juhtimise renderdamisega.
Levinud vead
- Ulatus (lokkis sulgudes) viga. x^2n ja x^{2n} on erinevad; {} on nõutav mitme märgiga eksponendis/alaindeksis/murrus.
- Ebamäärane kirjeldus. Väljendid nagu "1 üle 2n" tähendavad kahte asja; Märkige sulud suuliselt.
- Koodi aktsepteerimine ilma renderdamiseta. Koodi, mida ei kompileerita või mis näib olevat vale, saab tabada ainult visuaalse kontrolliga.
- Märgistusstandardi eiramine. AI võib segada erinevatest traditsioonidest pärit sümboleid; Määrake sihtstandard.
- Suletud keskkonnad. \begin{...} nõuab alati \end{...}; maatriks/joonduskeskkondades sageli unustatud.
Ettevaatust. See, et LaTeX-i kood kompileerib süntaktiliselt, ei tähenda, et see oleks matemaatiliselt õige. \frac{1}{2}n kompileerib probleemideta, aga kui 1/(2n) asemel on kirjutatud (1/2)n, on tegemist vale matemaatikaga. Võrrelge alati renderdatud pilti matemaatikaga, mida soovite väljendada. Sellest ei piisa, et kood "töötab"; peab näitama "mis on õige".
Kokkuvõttes
LaTeX on matemaatilise märgistuse standardne trükikeel ja AI on väga võimeline seda koodi genereerima, tõlkima ja parandama. Kuid on vaja kahte eraldi kontrolli: süntaktilist (kas kood kompileerib?) ja semantilist (kas kuvab õiget matemaatikat?). Kõige levinum viga on ulatuse viga – mitmekohaliste eksponentide, alaindeksite ja murdude jaoks on vaja lokkis sulud. Kirjeldage väljendeid selgelt, renderdage kindlasti kood, võrrelge visuaali matemaatikaga, mida mõtlete, ja kohandage tähistus sihtstandardiga.
Rakenduse ülesanne
Valige keeruline matemaatiline avaldis (nt integraal piiridega, summa eksponentide/indeksitega või maatriks). Laske AI-l genereerida LaTeX-i kood malliga 1 ja kompileerida see LaTeX-i renderdustööriistas (Overleaf, Jupyter, Markdowni redaktor). Võrrelge renderdatud pilti matemaatikaga, mida mõtlete; eriti kontrollige eksponendi/alaindeksi/murru ulatust. Seejärel proovige tahtlikult ebamäärast väljendit (nt "1 üle 2n") ja jälgige, kuidas AI seda tõlgendab; 2. eemalda ebaselgus malli abil.
kontrollnimekiri
- [ ] Olen selgelt määratlenud väljendi selle ulatuse ja sulgudega.
- [ ] Kompileerisin LaTeX-koodi renderdustööriistaks.
- [ ] Võrdlesin renderdatud pilti matemaatikaga, mida mõtlesin.
- [ ] Olen kontrollinud, et astendaja/alaindeksi/murru ulatustes kasutatakse lokkis sulgusid.
- [ ] Lahendasin kompileerimisvead (puudub {}, sulgemata keskkond).
- [ ] Kohandasin märke sihtrühma standardile vastavaks.