Документ взят из кэша поисковой машины. Адрес оригинального документа : http://theory.sinp.msu.ru/pipermail/computer_algebra/2004-January/000063.html
Дата изменения: Fri Jan 9 13:41:33 2004
Дата индексирования: Tue Oct 2 08:17:08 2012
Кодировка: koi8-r
[Computer_algebra] Meeting on January 14

[Computer_algebra] Meeting on January 14

Victor Edneral edneral@theory.sinp.msu.ru
Fri, 9 Jan 2004 08:15:17 +0300


     Dear Colleagues,

     The next meeting of Computer Algebra seminar will take place on
Wednesday, January 14, at 16:20 (room 645, building VMK, Moscow State
University).

    AGENDA:

Levinskaya M.A. (Post-graduate student, MAI)

SOFTWARE TOOLKIT FOR CREATING INTELLIGENT TUTORING SYSTEMS
WITH VISUAL FORMULAE TRANSFORMATION, COMPARISON AND EVALUATION

Intelligent tutoring system in Mathematics is presented, which performs
automatic generation
of interactive problem assignments and knowledge evaluation of a student by
adaptive testing.
Declarative language T-Refal (Tree-Refal), based on tree structures and
Refal semantics is
proposed and implemented, taking problem domain specifics into account.
Using this
language, some algorithms of computer algebra are implemented, including
formula
simplification in problem generation, formula transformation for problem
solving, and
formula structural comparison in interactive testing.
Actual educational software systems are demonstrated, which utilize
above-mentioned tools
for problem generation and knowledge evaluation. The results of using
proposed technology
for creating both electronic textbooks and typography pre-print typesetting
is discussed.


Левинская Е.А. (Аспирант МАИ)


ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА СОЗДАНИЯ ИНТЕЛЛЕКТУАЛЬНЫХ ОБУЧАЮЩИХ СИСТЕМ
С ВИЗУАЛЬНЫМ ПРЕОБРАЗОВАНИЕМ, СОПОСТАВЛЕНИЕМ И ВЫЧИСЛЕНИЕМ ФОРМУЛ

Представлена интеллектуальная обучающая система по математике,
осуществляющая генерацию
интерактивных заданий и контроль знаний учащегося. Предложен и реализован
декларативный язык
древовидных структур Т-Рефал (Tree-Refal), основанный на семантике Рефала и
учитывающий специфику
предметной области. С помощью данного языка реализованы некоторые алгоритмы
компьютерной алгебры:
упрощение формул при генерации задач, преобразование формул для решателя
задач и сопоставление формул
при проверке знаний.
Демонстрируются конкретные обучающие системы по математике, в которых
использованы предлагаемые
инструментальные средства генерации задач и проверки знаний. Обсуждаются
результаты применения этих средств в процессе создания электронных учебников
и для автоматизированной подготовки оригинал-макетов.
--------------------------------------------------------------------------
 Best regards,
 Vitaly Rostovtsev
 Victor Edneral