Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://theory.sinp.msu.ru/pipermail/computer_algebra/2004-January/000065.html
Дата изменения: Sun Jan 11 07:19:00 2004 Дата индексирования: Tue Oct 2 08:17:22 2012 Кодировка: koi8-r |
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