Модели и алгоритмы верификации решений задач в системах электронного обучения

• Автор: Перченок, Олег Владимирович
• Шифр специальности: 05.13.06
• Научная степень: Кандидатская
• Год защиты: 2013
• Место защиты: Санкт-Петербург
• Количество страниц: 132 с. : ил.

Содержание
Введение
Глава 1. Верификация задач в системах электронного обучения
1.1 Множественность форм представления знания как основа использования компьютерной поддержки предметного обучения
1.1.1 Множественность форм представления знаний в обучении математике
1.1.2 Использование возможностей множественности представления знаний в обучении дискретной математике в технических вузах..
1.1.3 Использование возможностей множественности представления знаний в организации и поддержке исследовательской деятельности
1.2 Подходы к верификации задач по программированию
1.3 Верификация задач по математике
1.3.1 Предметно-ориентированные языки
1.3.2 Верификация задач по геометрии
1.3.3 Верификация задач по алгебре
1.4 Выводы к первой главе
Глава 2. Модели и алгоритмы верификации задач
2.1. Математическая модель самопроверяемой задачи и абстрактная модель языка описания условия
2.2. Онтология самопроверяемых задач
2.3 Модель жизненного цикла системы электронного обучения, обеспечивающей поддержку самопроверяемых задач
2.4 Алгоритмы верификации задач
2.4.1 Алгоритм верификации задач класса СобеРгоЫеш
2.4.2 Алгоритм верификации задач класса Р1о1РгоЫет
2.4.3 Алгоритм верификации задач класса ЕхргеззюпРгоЫеш
2.5 Выводы ко второй главе
Глава 3. Реализация систем электронного обучения, обеспечивающих поддержку самопроверяемых задач
3.1 Система электронного обучения МбзеТавкэСеот^гу
3.1.1 Онтология предметной области
3.1.2 Описание системы
3.1.3 Сравнение с другими системами динамической геометрии
3.2 Система электронного обучения ViseTasksDSP
3.2.1 Онтология предметной области
3.2.2 Описание системы
3.2.4 Сравнение с другими пособиями по изучению МАТЬАВ
3.3 Выводы к третьей главе
Глава 4. Разработка учебных систем удаленного управления устройствами.
4.1 Виртуальный музей занимательной науки
4.2 Разработка экспоната «Центробежная сила»
4.2.1 Физическая реализация
4.2.2 Программная реализация
4.3 Спецкурс «Удаленное управление устройствами»
4.4 Экспонат «Равномерное движение по окружности»
4.5 Выводы к четвертой главе
Глава 5. Экспериментальное использование результатов диссертации
5.1 Опытная апробация рабочей версии системы ViseTasksGeometry
5.2 Тестирование второй рабочей версии продукта
5.2.1 Тестирование полноты решения функциональных задач
5.2.2 Тестирование удобства использования и эксплуатации
5.2.3 Прочие виды тестирования
5.3 Доработка рабочей версии по результатам опытной эксплуатации.
5.4 Внедрение в средней школе
5.5 Выводы к пятой главе
Заключение
Литература

Кроме этого, такое условие может быть внедренным объектом из других приложений (например, формула MathType).
Список ограничений на множество инструментов может быть пустым. Если ограничений на множество инструментов нет, то для решения данной задачи предоставляются инструменты из множества Q' данного класса задач (см. определение 3.5.3). Ограничения могут не только уменьшать множество инструментов за счет запрещения использования некоторого подмножества Q', но и разрешать использовать дополнительные инструменты из множества Q/Q'.
В описании задачи должно быть хотя бы одно верификационное условие. Такие условия позволяют вычислить значение верификатора для конкретной задачи. Верификационное условие может быть представлено в виде предиката или задавать какое-то состояние среды для проверки условий (например, исходное множество для задач по комбинаторике или исходный чертеж для задач по геометрии).
Под параметрами генерации на рис. 2 имеется в виду описание имен параметров генерации и областей их значений.
Рисунок 2 - Абстрактная модель, на которой основан предметно-ориентированный язык описания условия задачи Ьг
Для каждой предметной области на основе абстрактной модели строится конкретная модель для предметно-ориентированного языка.