Language of Mathematical Texts Representations on the Internet
Журнал "Новітні комп'ютерні технології"
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Language of Mathematical Texts Representations on the Internet
Язык представления математических текстов в Интернете Мова подання математичних текстів в Інтернеті |
|
| Creator |
Вовк, Анатолій Іванович
Гірник, Денис Анатолійович |
|
| Description |
The report presents editor MathTextView, which implements the language of presentation of mathematical texts for the Internet. Especially effective is, in our opinion, its use in test systems for mathematical and physical disciplines, which will radically change the principle of testing, which has at present a number of disadvantages.
В докладе представлен редактор MathTextView, реализующий язык представления математических текстов для работы в Интернете. Нотация языка максимально приближена к используемой в языках программирования нотации для представления математических выражений. Язык относится к классу натуральных и обладает рядом важных свойств: возможностью сохранения наряду с синтаксисом формулы ее семантики, преобразования нотации к бесскобочной польской записи, которая удобна для машинной обработки математических выражений; семантическим контролем нотации; динамическим вводом информации (форумы, чаты, система WYSIWYG и др.), конвертированием в другие системы нотации; лаконичностью, возможностью в некоторых случаях справлять ошибки нотации.Язык MathTextView близок по нотации к языку TеX, но в отличие от последнего является носителем не только синтаксиса формулы, но и ее семантики. Язык Content MathML позволяет также отображать семантику формул, но его нотация в силу большой громоздкости не позволяет пользователю непосредственно на этом языке кодировать и далека от естественной нотации математических формул. Поэтому MathML пригоден лишь для машинной обработки математических текстов. Таким образом, язык MathTextView объединяет простоту нотации, присущую языкам серии ТЕХ, с возможностью отображения семантики математических выражений, присущей языку MathML. При этом нотация MathTextView максимально приближена к языку общения специалистов на различных форумах по математике, физике и другим техническим дисциплинам. Эффект сохранения семантики математической формулы при ее естественной нотации достигается потому, что естественная нотация математических текстов, формировавшаяся столетиями, по своей природе строго структурирована, что выражает суть самой математики. Кроме представления формул в MathTextView имеется метаязык, с помощью которого можно описывать схематические рисунки и графики из множества элементарных функций.Разработан конвертер MathTextView в MathML. Для презентации возможностей применения редактора математических текстов создан сайт http://math.accent.kiev.ua. В настоящее время MathTextView позволяет описать более 250 математических объектов: например, математические функции, логические операции, операции над множествами. Представлены операции дифференцирования, интегрирования, суммирования, умножения. Есть возможность представления векторов, матриц, тензоров, определителей, многозначных функций, таблиц. Легко работать с греческими символами. Есть готические символы и ряд специальных символов. Имеется возможность корректно использовать кириллицу для представления размерности. Семантические возможности языка демонстрируются с помощью калькулятора символьного дифференцирования. В качестве примера использования языка представлена электронная книга по математической логике, набранная с помощью разработанного редактора электронных книг, в основу которого положен MathTextView. Cоздан форум для общения специалистов по техническим дисциплинам. Такими же возможностями обладает и гостевая книга на указанном сайте. В гостевой книге имеется возможность обмениваться математическими текстами по электронной почте.В настоящее время разработан вариант обработки математически структурированной информации на сервере. При этом окончательный вариант графического представления математических текстов может быть выполнен с помощью ставшего де-факто стандартом аппаратно-независимого формата DVI (DeVice Independent), что дает возможность представления математических текстов в форматах GIF, JPG, PNG, LaTeX, PDF, PostScript, SVG. Таким образом достигается эффект сохранения семантики математической формулы с возможностью ее презентации в современных издательских системах.В системах дистанционного обучения редактор MathTextView может быть использован по всем перечисленным выше направлениям. Особенно эффективно, на наш взгляд, его использование в системах тестирования по математическим и физическим дисциплинам, что позволит кардинально изменить сам принцип тестирования, имеющий в настоящее время ряд существенных недостатков. Тестирование продуктов, созданных на основе использования MathTextView в системе дистанционного обучения Moodle, показало, что интегрирование этого редактора в систему ДО не представляет никаких трудностей. На основе MathTextView разработан ряд встроенных программируемых калькуляторов, используемых в автоматизированных системах расчета смет. У доповіді представлено редактор MathTextView, який реалізує мову представлення математичних текстів для роботи в Інтернеті.Особливо ефективним, на наш погляд, є його використання в системах тестування з математичних та фізичних дисциплін, що дозволить кардинально змінити сам принцип тестування, що має в даний час ряд істотних недоліків. |
|
| Publisher |
State institution of higher education «Kryvyi Rih National University»
|
|
| Date |
2013-11-02
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion |
|
| Format |
application/pdf
|
|
| Identifier |
http://ccjournals.eu/ojs/index.php/nocote/article/view/55
|
|
| Source |
New computer technology; Vol 5 (2007): Problems of training and retraining of IT specialists; 15-16
Новітні комп'ютерні технології; Том 5 (2007): Проблеми підготовки та перепідготовки фахівців у сфері інформаційних технологій; 15-16 Новые компьютерные технологии; Том 5 (2007): Проблемы подготовки и переподготовки специалистов в сфере информационных технологий; 15-16 2309-1460 |
|
| Language |
rus
|
|
| Relation |
http://ccjournals.eu/ojs/index.php/nocote/article/view/55/48
|
|
| Rights |
Copyright (c) 2014 New computer technology
|
|