Ieguvumi:
- Iespēja mākslīgajam intelektam pārtulkot matemātiskās izteiksmes LaTeX kodā un pārbaudīt sintaktisko precizitāti, renderējot kodu
- Spēja uztvert tvēruma (cirtainās iekavas), eksponenta, indeksa un daļskaitļu kļūdas, salīdzinot renderēto attēlu ar paredzēto matemātiku
- Spēja pielāgot notāciju mērķauditorijas un mācību programmas standartiem un precizēt neskaidrus izteicienus ar iekavām un tvērumu.
Matemātika izmanto savu īpašo rakstu valodu: daļskaitļus, integrāļus, summu simbolus, eksponentus, matricas, grieķu burtus. Šo simbolu glīta un standarta formātā rakstīšana ir neatņemama matemātiskās komunikācijas sastāvdaļa. Zinātniskajā un akadēmiskajā pasaulē standarta rīks tam ir LaTeX (bieži rakstīts kā "lateh") — dokumentu sagatavošanas sistēma, kas profesionāli veido matemātiskās izteiksmes. AI ir ļoti spējīgs ģenerēt LaTeX kodu un rediģēt matemātisko apzīmējumu; Tas nodrošina lielu ātrumu tiem, kas gatavo lekciju piezīmes, eksāmenus, rakstus un prezentācijas. Bet izveidotajam apzīmējumam jābūt pareizam gan sintaktiski (vai kods darbojas?), gan semantiski (vai tas izsaka pareizo matemātiku?). Šajā nodaļā jūs iemācīsities izmantot AI kā LaTeX un apzīmējumu palīgu.
Dažas definīcijas. LaTeX ir salikšanas sistēma, kas kodē matemātiskas izteiksmes ar tādām komandām kā \frac{a}{b}; \frac{a}{b} rada daļskaitli (a virs b). Sintakse ir koda gramatiskie noteikumi; Ja tas ir nepareizs, kods netiks apkopots. Semantika ir tas, ko kods nozīmē; var uzrakstīt nepareizu matemātiku, pat ja sintakse ir pareiza. Abiem nepieciešama atsevišķa pārbaude.
AI ieguldījums LaTeX un apzīmējumos
- Izteiksmes rakstīšana: sarežģītas formulas tulkošana LaTeX kodā.
- Teksts uz LaTeX: tādas izteiksmes kā "x kvadrāts plus 2x mīnus 1" konvertēšana uz x^2 + 2x - 1.
- Formatēšana: vienādojumu izlīdzināšana, numerācija, matricas izlīdzināšana.
- Apzīmējumu standartizācija: nekonsekventu simbolu labošana.
- Atkļūdošana: Sintakses kļūdas atrašana LaTeX kodā, kas netiek kompilēts.
- Konvertēšana: tulkošana starp LaTeX un citiem formātiem (Word vienādojums, MathML).
Soli pa solim: pareiza LaTeX ģenerēšana
1. Skaidri aprakstiet apgalvojumu. Neskaidrība rada kļūdas apzīmējumos. "x uz 2n" atšķiras no "x līdz 2, reiz n"; Norādiet iekavas pat mutiski.
2. Ierakstiet LaTeX kodu AI. Aprakstiet vēlamo frāzi, pieprasiet kodu.
3. Apkopojiet un skatieties. Atveidojiet kodu LaTeX kompilatorā (lokālā instalācija, tiešsaistes redaktors, piemēram, Overleaf, vai Markdown/Jupyter matemātikas atbalsts) un skatiet vizuālo izvadi. Nedomājiet, ka kods "darbosies".
4. Salīdziniet vizuālo ar matemātiku. Vai atveidotā izteiksme parāda matemātiku, ko jūs domājat? Vai bāzes ir pareizajā vietā? Ko aptver daļlīnija? Vai iekavas ir pareizas?
5. Atrisiniet sintakses kļūdas. Ja tas netiek kompilēts, meklējiet trūkstošos krokainās iekavas {}, neaizvērtu datu nesēju vai nepareizu komandu. Nosūtiet kļūdas ziņojumu AI un lieciet to salabot.
6. Pārbaudiet apzīmējumu standartu. Vai izmantotie simboli atbilst jūsu nozares un mērķauditorijas standartiem? (Piem., decimālais atdalītājs, daži funkciju nosaukumi turkijā.)
Padoms. Visbiežāk sastopamā LaTeX kļūda ir tvēruma kļūda: izteiksme x^2n pastiprina tikai 2 (x²n), bet x^{2n} pastiprina visu (x²ⁿ). Tas pats attiecas uz apakšindeksu _ un daļskaitli \frac. Ja eksponentā, apakšindeksā vai daļskaitlī ir vairāk nekā viena rakstzīme, noteikti izmantojiet krokainas iekavas {}. Vizuāli pārbaudot renderēto izvadi, šīs kļūdas tiks atklātas.
Apzīmējuma smalkumi, kas raksturīgi turku valodai
Dažas Türkiye izmantotā matemātiskā apzīmējuma funkcijas atšķiras no AI noklusējuma (galvenokārt angļu valodā) izvades, un tās ir jāpielāgo manuāli. Vispazīstamākais ir decimāldaļu atdalītājs: Türkiye valodā decimāldaļu raksta ar komatu (3.14), angļu valodā ar punktu (3.14); Turklāt tūkstošu atdalītājs ir punkts Turkiye valodā un komats angļu valodā. AI bieži izmanto angļu valodas konvenciju; Kursa materiālā vai eksāmenā tas ir jāpārvērš vietējā standartā. Līdzīgi, daži funkciju nosaukumi (piemēram, tangenss, bet dažos senākos turku avotos ir dažādi saīsinājumi) un kopu/diapazona apzīmējumi var atšķirties atkarībā no mācību programmas.
Otrs smalkums ir atvērtā un slēgtā diapazona apzīmējums: Türkiye valodā atvērto diapazonu dažreiz norāda, mainot kvadrātiekavās (piemēram, ]a, b[) [a, b] vietā; Angļu tradīcijā (a, b) ir izplatīta. Šīs atšķirības šķiet nelielas, taču tās mulsina studentam un var izraisīt pārpratumus eksāmenā. Tāpēc pēc LaTeX iegūšanas no AI pārskatiet apzīmējumu ne tikai sintaktiski, bet arī vietējo matemātisko tradīciju ziņā. Sniedzot mākslīgā intelekta instrukcijas no paša sākuma, piemēram, "Izmantojiet Turcijas vidusskolas mācību programmas apzīmējumu, decimāldaļas atdalītājs ir komats", tiek samazināti vēlāk veicamie labojumi.
Uzmanību: AI noklusējuma matemātiskais apzīmējums galvenokārt ir angļu valodas konvencija; decimāldaļas atdalītājs, diapazona apzīmējums un daži simboli var atšķirties no Turcijas mācību programmas. Manuāli pārbaudiet apzīmējumu atbilstību vietējam standartam katrā materiālā, kas tiek nosūtīts studentiem.
Izplatītākie LaTeX modeļi
matemātika
LaTeX
piezīme
Frakcija a/b
\frac{a}{b}
Saucējs/skaitītājs iekavās
Eksponents xⁿ
x^{n}
Nepieciešams vairāku rakstzīmju eksponents {}
Apakšraksts xᵢ
x_{i}
Nepieciešams vairāku rakstzīmju rādītājs {}
kvadrātsakne
\sqrt{x}
Saturs iekavās
neatņemama
\int_{a}^{b} f(x)\,dx
Robežas ar _ un ^
Kopā
\sum_{i=1}^{n}
Apakšējā un augšējā robeža
grieķu vēstule
\alpha, \beta, \pi
kā pavēle
trīs mini futrāļi
1. gadījums — darbības jomas kļūda. Skolotājs prasīja AI izteicienu "e līdz x kvadrātā". YZ uzrakstīja e^x^2; Tas ir ne tikai nepareizi LaTeX (dubultā eksponenta nenoteikts), bet arī nodod nepareizu nozīmi. Pareizais bija e^{x^2}. Kad skolotājs to atveidoja, viņš redzēja kļūdu un izlaboja to. Cirtainas iekavas nosaka darbības jomu.
2. gadījums — daļdaļas izkropļojoša nozīme. Kāds students prasīja izteicienu "1 virs 2n". AI uzrakstīja \frac{1}{2}n — tas nozīmē (1/2)·n, savukārt students vēlējās 1/(2n). Abi apgalvojumi ir pilnīgi atšķirīgi. Kad students aplūkoja atveidoto izvadi, viņš redzēja atšķirību un laboja to uz \frac{1}{2n}. Neskaidrs apraksts rada nepareizu apzīmējumu.
3. gadījums — kods, kas netiek kompilēts. Kāds akadēmiķis paņēma matricu LaTeX no AI, bet kods aizmirsa aizvērt vidi \begin{matrix} ar \end{matrix}; kompilācija neizdevās. Akadēmiķis nodeva kļūdas ziņojumu AI; AI pievienoja trūkstošo slēgšanu un apkopoja kodu. Pieņemot, ka kods ir pareizs, nepalaižot, tas tērē laiku.
Četras kopējamas veidnes
1) LaTeX ģenerēšana no izteiksmes:
Pārvērtiet šādu matemātisko izteiksmi LaTeX kodā: [aprakstiet izteiksmi vārdos, norādiet iekavas/jomu]. Izmantojiet krokainas iekavas {}, lai norādītu pareizu eksponentu, apakšindeksu un daļskaitļu darbības jomu. Es atveidošu kodu.
2) Noskaidrošana:
Vārdam [izteiksme] var būt divas iespējamās interpretācijas: [komentārs1] un [komentārs2]. Es domāju [kas]. Skaidri uzrakstiet LaTeX kodu un vienā teikumā aprakstiet, kā tas izskatīsies atveidojot.
3) LaTeX atkļūdošana:
Tālāk norādītais LaTeX kods netiek kompilēts. Kļūdas ziņojums: [ziņa]. Atrodiet sintakses kļūdu (trūkst {}, neslēgta vide, nepareiza komanda) un ievadiet laboto kodu. Izskaidrojiet izmaiņas vienā teikumā. Kods: [šeit]
4) Apzīmējumu standartizācija:
Zemāk esošajā dokumentā matemātiskais apzīmējums ir pretrunīgs (tas pats rakstīts ar dažādiem simboliem). Padariet apzīmējumu atbilstošu [mērķa standartam]. Uzskaitiet, kur un ko mainījāt. Dokuments: [šeit]
Vāja uzvedne / spēcīga uzvedne
Vāji: "Uzrakstiet daļskaitli x2+3x-1."
Secinājums: nav skaidrs, vai ir domāts "daļdaļa", "x kvadrāts" vai "x reiz 2"; AI uzmin un, iespējams, sniedz nepatiesus apgalvojumus.
Strong: "Tulkojiet šādu izteiksmi LaTeX: daļskaitlis ar "x kvadrātā plus 3x mīnus 1" kā skaitītājs un "x mīnus 2" kā saucējs. Tātad (x²+3x−1)/(x−2). Notīriet daļskaitļa eksponentus un tvērumu, izmantojot krokainas iekavas."
Rezultāts: nav tvēruma neskaidrību; AI rada tieši vēlamo izteiksmi, un to var pārbaudīt, renderējot vadību.
Biežas kļūdas
- Kļūda tvērumā (cirtainās iekavās). x^2n un x^{2n} atšķiras; {} ir nepieciešams vairāku rakstzīmju eksponentā/apakšindeksi/daļskaitlī.
- Neskaidrs apraksts. Tādi izteicieni kā "1 virs 2n" nozīmē divas lietas; Norādiet iekavas mutiski.
- Koda pieņemšana bez renderēšanas. Kodu, kas netiek apkopots vai šķiet nepareizs, var uztvert tikai vizuāli pārbaudot.
- Apzīmējuma standarta ignorēšana. AI var sajaukt dažādu tradīciju simbolus; Norādiet mērķa standartu.
- Nenoslēgta vide. \begin{...} vienmēr prasa \end{...}; bieži aizmirstas matricas/līdzināšanas vidēs.
Uzmanību: tas, ka LaTeX kods tiek kompilēts sintaktiski, nenozīmē, ka tas ir matemātiski pareizs. \frac{1}{2}n kompilē bez problēmām, bet, ja 1/(2n) vietā ir uzrakstīts (1/2)n, tā ir nepareiza matemātika. Vienmēr salīdziniet atveidoto attēlu ar matemātiku, kuru vēlaties izteikt. Nepietiek ar to, ka kods "darbojas"; jāparāda "kas ir pareizi".
Rezumējot
LaTeX ir matemātisko apzīmējumu standarta salikšanas valoda, un mākslīgais intelekts ir ļoti spējīgs ģenerēt, tulkot un labot šo kodu. Bet ir nepieciešamas divas atsevišķas pārbaudes: sintaktiskā (vai kods tiek apkopots?) un semantiskā (vai tas parāda pareizo matemātiku?). Visizplatītākā kļūda ir tvēruma kļūda — vairāku rakstzīmju eksponentiem, apakšindeksiem un daļskaitļiem ir nepieciešamas krokainas iekavas. Skaidri aprakstiet izteicienus, noteikti atveidojiet kodu, salīdziniet vizuālo attēlu ar domājamo matemātiku un pielāgojiet apzīmējumu mērķa standartam.
Lietojumprogrammas uzdevums
Izvēlieties sarežģītu matemātisko izteiksmi (piemēram, integrāli ar robežām, summu ar eksponentiem/indeksiem vai matricu). Lieciet AI ģenerēt LaTeX kodu ar 1. veidni un apkopot to LaTeX renderēšanas rīkā (Overleaf, Jupyter, Markdown redaktors). Salīdziniet atveidoto attēlu ar domājamo matemātiku; īpaši pārbaudiet eksponenta/apakšindeksi/daļdaļas tvērumus. Pēc tam izmēģiniet apzināti neskaidru izteicienu (piemēram, "1 virs 2n") un novērojiet, kā AI to interpretē; 2. noņemiet neskaidrības ar veidni.
kontrolsaraksts
- [ ] Esmu skaidri definējis izteicienu ar tā darbības jomu un iekavām.
- [ ] Es apkopoju LaTeX kodu renderēšanas rīkā.
- [ ] Es salīdzināju atveidoto attēlu ar matemātiku, ko domāju.
- [ ] Esmu pārliecinājies, ka eksponentu/apakšindeksi/daļskaitļu tvērumos tiek izmantotas krokainas iekavas.
- [ ] Es atrisināju kompilācijas kļūdas (trūkst {}, neslēgta vide).
- [ ] Apzīmējumu pielāgoju mērķauditorijas standartam.