Добици:
- Способност да вештачка интелигенција преведе математичке изразе у ЛаТеКс код и провери синтаксичку тачност приказивањем кода
- Способност хватања опсега (вијенасте заграде), експонента, индекса и грешака у разломцима упоређивањем приказане слике са предвиђеном математиком
- Способност прилагођавања нотације стандардима циљне публике и наставног плана и програма и појашњавање двосмислених израза са заградама и обимом.
Математика користи свој посебан писани језик: разломке, интеграле, симболе збира, експоненте, матрице, грчка слова. Писање ових симбола уредно и у стандардном формату је саставни део математичке комуникације. У научном и академском свету, стандардни алат за ово је ЛаТеКс (често се пише „латех“) — систем за припрему докумената који куца математичке изразе на начин који изгледа професионално. АИ је веома способан да генерише ЛаТеКс код и уређује математичку нотацију; Ово обезбеђује велику брзину за оне који припремају белешке са предавања, испите, чланке и презентације. Али произведена нотација мора бити исправна и синтаксички (да ли код функционише?) и семантички (да ли изражава исправну математику?). У овој јединици ћете научити да користите АИ као ЛаТеКс и помоћник за нотацију.
Неколико дефиниција. ЛаТеКс је систем писања текста који кодира математичке изразе командама као што су \фрац{а}{б}; \фрац{а}{б} производи разломак (а над б). Синтакса су граматичка правила кода; Ако је нетачан, код се неће компајлирати. Семантика је оно што код значи; може написати погрешну математику чак и ако је синтакса тачна. То двоје захтева одвојену верификацију.
Допринос АИ ЛаТеКс-у и нотацији
- Писање израза: Превођење сложене формуле у ЛаТеКс код.
- Текст у ЛаТеКс: Претварање израза као што је "к на квадрат плус 2к минус 1" у к^2 + 2к - 1.
- Форматирање: поравнање једначине, нумерисање, поравнање матрице.
- Стандардизација нотације: Поправљање недоследних симбола.
- Отклањање грешака: Проналажење синтаксичке грешке у ЛаТеКс коду који се не компајлира.
- Конверзија: Превођење између ЛаТеКс-а и других формата (Ворд екуатион, МатхМЛ).
Корак по корак: генерисање исправног ЛаТеКс-а
1. Јасно опишите изјаву. Двосмисленост доводи до грешака у нотацији. "к до 2н" се разликује од "к до 2, пута н"; Наведите заграде чак и усмено.
2. Напишите ЛаТеКс код у АИ. Опишите фразу коју желите, затражите код.
3. Саставите и погледајте. Рендерујте код у ЛаТеКс компајлеру (локална инсталација, онлајн уређивач као што је Оверлеаф или подршка за математику Маркдовн/Јупитер) и погледајте визуелни излаз. Немојте претпостављати да ће код „радити“.
4. Упоредите визуелно са математиком. Да ли приказани израз показује математику на коју мислите? Да ли су базе на правом месту? Шта покрива линија разломака? Да ли су заграде тачне?
5. Решите синтаксичке грешке. Ако се не компајлира, потражите недостајуће витичасте заграде {}, незатворени медијум или нетачну команду. Дајте поруку о грешци АИ и нека је поправи.
6. Проверите стандард нотације. Да ли коришћени симболи испуњавају стандарде ваше области и циљне публике? (нпр. децимални сепаратор, називи неких функција на турском језику.)
Савет: Најчешћа грешка у ЛаТеКс-у је грешка у опсегу: израз к^2н експонира само 2 (к²н), док к^{2н} експонира све (к²ⁿ). Исто важи и за индекс _ и разломак \фрац. Ако постоји више од једног знака у експоненту, индексу или разломку, обавезно користите витичасте заграде {}. Визуелна провера рендерованог излаза ће ухватити ове грешке.
Суптилности нотације специфичне за турски
Неке карактеристике математичке нотације која се користи у Турској разликују се од подразумеваног излаза АИ (углавном заснованог на енглеском) и треба их ручно прилагодити. Најпознатији је децимални сепаратор: у Турској се децимални део пише са зарезом (3.14), на енглеском са тачком (3.14); Поред тога, сепаратор хиљада је тачка на турском језику и зарез на енглеском. АИ често користи енглеску конвенцију; Ово је неопходно конвертовати у локални стандард у материјалу курса или испиту. Слично томе, називи неких функција (нпр. тан за тангенту, али различите скраћенице у неким старијим турским изворима) и ознаке скупова/опсега могу се разликовати у зависности од наставног плана и програма.
Друга суптилност је нотација отвореног и затвореног опсега: у Турској се отворени опсег понекад означава променом смера угластих заграда (нпр. ]а, б[) уместо [а, б]; У енглеској традицији, (а, б) је уобичајено. Ове разлике изгледају мале, али су збуњујуће за студента и могу довести до неспоразума на испиту. Дакле, након што добијете ЛаТеКс од АИ, прегледајте нотацију не само синтаксички већ иу смислу локалне математичке традиције. Давање АИ инструкција од почетка, као што је „Користите нотацију турског средњошколског програма, нека децимални сепаратор буде зарез“, смањује исправке које треба извршити касније.
Опрез: Подразумевана математичка нотација АИ је углавном енглеска конвенција; децимални сепаратор, нотација опсега и неки симболи могу се разликовати од турског наставног плана и програма. Ручно проверите нотацију у односу на локални стандард на сваком материјалу који иде ученицима.
Уобичајени ЛаТеКс обрасци
математике
ЛаТеКс
напомена
Разломак а/б
\фрац{а}{б}
Именилац/бројилац у витичастим заградама
Експонент кⁿ
к^{н}
Експонент са више знакова {} је обавезан
Субсцрипт кᵢ
к_{и}
Потребан је вишезнаковни индекс {}
квадратни корен
\скрт{к}
Садржај у витичастим заградама
интегрални
\инт_{а}^{б} ф(к)\,дк
Границе са _ и ^
Укупно
\сум_{и=1}^{н}
Доња и горња граница
грчко писмо
\алпха, \бета, \пи
као команду
три мини кофера
Случај 1 — Грешка у опсегу. Наставник је тражио од АИ израз "е на х на квадрат". ИЗ је написао е^к^2; Ово не само да није тачно у ЛаТеКс-у (двоструки експонент неодређен) већ такође преноси погрешно значење. Тачан је био е^{к^2}. Када га је наставник приказао, видео је грешку и исправио је. Коврџаве заграде одређују обим.
Случај 2 — Разломак који искривљује значење. Ученик је тражио израз „1 преко 2н“. АИ је написао \фрац{1}{2}н — што значи (1/2)·н, док је ученик желео 1/(2н). Две изјаве су потпуно различите. Када је ученик погледао приказани резултат, видео је разлику и исправио је на \фрац{1}{2н}. Двосмислен опис производи нетачну нотацију.
Случај 3 — Код који се не компајлира. Један академик је узео матрични ЛаТеКс од АИ, али је код заборавио да затвори \бегин{матрик} окружење са \енд{матрик}; компилација није успела. Академик је дао поруку о грешци АИ; АИ је додао затварање које недостаје и код је компајлиран. Под претпоставком да је код исправан без покретања губи време.
Четири шаблона за копирање
1) Генерисање ЛаТеКс-а из израза:
Конвертујте следећи математички израз у ЛаТеКс код: [опишите израз речима, наведите заграде/обим]. Користите витичасте заграде {} да бисте дали исправан опсег за експоненте, индексе и разломке. Ја ћу приказати код.
2) Вишезначна одредница:
„[израз]“ може имати два могућа тумачења: [коментар1] и [коментар2]. Мислим [који]. Напишите ЛаТеКс код за ово јасно и у једној реченици опишите како ће изгледати када се прикаже.
3) ЛаТеКс отклањање грешака:
ЛаТеКс код испод се не компајлира. Порука о грешци: [порука]. Пронађите синтаксичку грешку (недостаје {}, незатворено окружење, погрешна команда) и дајте исправљени код. Објасните промену у једној реченици. Шифра: [овде]
4) Стандардизација нотације:
У документу испод математичка нотација је недоследна (иста ствар написана различитим симболима). Направите нотацију у складу са [циљним стандардом]. Наведите где и шта сте променили. Документ: [овде]
Слаби промпт / Јаки промпт
Слабо: "Напиши разломак к2+3к-1."
Закључак: Нејасно је да ли се мисли на "разломак", "х на квадрат" или "х пута 2"; АИ погађа и можда производи лажне изјаве.
Снажно: „Преведите следећи израз у ЛаТеКс: разломак са „к на квадрат плус 3к минус 1“ као бројилац и „к минус 2“ као именилац. Дакле (к²+3к−1)/(к−2). Обришите експоненте и опсег разломка са витичастим заградама.“
Резултат: нема нејасноћа у опсегу; АИ производи тачно жељени израз и може се верификовати контролом рендеровања.
Уобичајене грешке
- Грешка у опсегу (вијенасте заграде). к^2н и к^{2н} се разликују; {} је обавезан у експоненту/подскрипту/разломку са више знакова.
- Нејасан опис. Изрази попут "1 преко 2н" значе две ствари; Усмено наведите заграде.
- Прихватање кода без рендеровања. Код који се не компајлира или се чини нетачним може се открити само визуелном инспекцијом.
- Игнорисање стандарда нотације. АИ може мешати симболе из различитих традиција; Наведите циљни стандард.
- Незапечаћена окружења. \бегин{...} увек захтева \енд{...}; често заборављени у матричним/усклађеним окружењима.
Опрез: Само зато што се ЛаТеКс код компајлира синтаксички не значи да је математички исправан. \фрац{1}{2}н се компајлира без икаквих проблема, али ако је (1/2)н написано уместо 1/(2н), то је погрешна математика. Увек упоредите приказану слику са математиком коју желите да изразите. Није довољно да код „ради“; мора показати "шта је исправно".
Укратко
ЛаТеКс је стандардни језик математичке нотације, а АИ је веома способан да генерише, преведе и исправи овај код. Али потребне су две одвојене провере: синтаксичка (да ли се код компилира?) и семантичка (да ли приказује исправну математику?). Најчешћа грешка је грешка при одређивању опсега — витичасте заграде су потребне за експоненте са више знакова, индексе и разломке. Јасно опишите изразе, обавезно рендерујте код, упоредите визуелни приказ са математиком на коју мислите и прилагодите нотацију циљном стандарду.
Задатак апликације
Изаберите сложени математички израз (нпр. интеграл са границама, збир са експонентима/индексима или матрицу). Нека АИ генерише ЛаТеКс код са шаблоном 1 и компајлира га у ЛаТеКс алату за рендеровање (Оверлеаф, Јупитер, Маркдовн едитор). Упоредите приказану слику са математиком на коју мислите; посебно проверите опсеге експонента/подскрипта/разломка. Затим покушајте са намерно нејасним изразом (нпр. „1 преко 2н“) и посматрајте како га АИ тумачи; 2. отклонити нејасноће са шаблоном.
контролна листа
- [ ] Јасно сам дефинисао израз са његовим обимом и заградама.
- [ ] Превео сам ЛаТеКс код у алатку за рендеровање.
- [ ] Упоредио сам приказану слику са математиком на коју сам мислио.
- [ ] Проверио сам да се витичасте заграде користе у опсегу експонент/субсцрипт/фрацтион.
- [ ] Решио сам грешке при компилацији (недостаје {}, незатворено окружење).
- [ ] Ознаку сам прилагодио стандарду циљне публике.