Модели, методы и инструментальные средства интерактивного контроля выполнения многошаговых учебных заданий тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Садчиков, Сергей Михайлович
- Специальность ВАК РФ05.13.11
- Количество страниц 169
Оглавление диссертации кандидат технических наук Садчиков, Сергей Михайлович
ВВЕДЕНИЕ.
1. КОМПЬЮТЕРНЫЕ СИСТЕМЫ В ЗАДАЧЕ КОНТРОЛЯ КАЧЕСТВА ОБУЧЕНИЯ И УСВОЕНИЯ НАВЫКОВ.
1.1. Использование компьютерных систем в образовании.
1.1.1. Автоматизация управления образовательной деятельностью учебного заведения.
1.1.2. Обзор компьютерных систем обучения и контроля результатов обучения.
1.2. Анализ предлагаемых траекторий проверки выполнения заданий.
1.3. Цели компьютеризации учебного процесса.
1.3.1. Оценка качества программных средств образовательного назначения.
1.3.2. О подходах к оцениванию трудоемких многошаговых заданий.
1.4. Постановка задачи. Проблемы контроля навыков и предложения по их решению.
2. МОДЕЛИ ОБЛАСТИ ОБУЧЕНИЯ В СИСТЕМАХ КОНТРОЛЯ ЗНАНИЙ И НАВЫКОВ.
2.1. Математические основы анализа схем контроля.
2.2. Модели и методы анализа предлагаемых траекторий проверки выполнения учебных заданий.
2.2.1. Получение сводного графа выполнения задания.
2.2.2. Разработка контролирующей системы на основе предложенного графа контроля.
2.3. Модель студента в диалоговых многошаговых системах решения задачи 62 2.3.1. Категории действий и данных: правильные, разрешенные, ошибочные, неразрешенные
2.4. Выводы по главе.
3. ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА.
3.1. Интерактивная среда построения схем решения и вычисления их характеристик.
3.1.1. Основные возможности системы.
3.1.2. Архитектура системы и разработка алгоритмов вычисления основных числовых характеристик.
3.1.3. Пример работы с системой.
3.2. Общая архитектура прикладной системы контроля.
3.3. Применение открытого и скрытого контроля процесса решения в комплексе по математическому программированию.
3.3.1. Понятия действий и данных.
3.3.2. Анализ графов схем выполнения задания и контроля.
3.3.3. Выделение состояний, множеств действий и данных в комплексах по математическому программированию.
3.3.4. Комплексы контролирующих и обучающих компьютерных программ по курсу "Методы оптимизации".
3.4. Выводы по главе.
4. ОПЫТ ИСПОЛЬЗОВАНИЯ КОМПЛЕКСА.
4.1. Анализ результатов использования компьютерного контроля.
4.1.1. Сравнение результатов компьютерного и традиционного контроля.
4.1.2. Анализ использования различных способов автоматического оценивания выполненных заданий
4.1.3. Проверка качества интерактивных заданий (анализ дискриминативности шагов, заданий, вариантов).
4.1.4. Анализ временных затрат на проведение контрольных мероприятий.
4.2. Анализ характеристик графа контроля.
4.2.1. Возможность описания предложенным способом требуемых схем выполнения заданийЮб
4.2.2. Анализ числовых характеристик.
4.3. Развитие набора компьютерных комплексов по математическому программированию.
4.3.1. Внедрение комплексов учебный процесс.
4.3.2. Использование комплекса различными группами студентов.
4.3.3. Примеры диалогового решения задач.
4.3.4. Анализ использования студентами средств автоматизированного контроля.
4.4. Предполагаемое дальнейшее развитие.
4.5. Использование математического аппарата исследования характеристик графов схем решения для анализа программ дисциплин и учебных планов.
4.5.1. Математические и методические основы для решения других задач педагогики.
4.5.2. Задача формирования программы учебной дисциплины.
4.5.3. Задача доказательства соответствия учебного плана стандарту.
4.6. Выводы по главе.
Рекомендованный список диссертаций по специальности «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», 05.13.11 шифр ВАК
Вопросы технологии создания информационной системы "Начертательная геометрия"2002 год, кандидат технических наук Поспелова, Наталья Валерьевна
Технология "активный блок" для создания распределенных обучающих программных комплексов2001 год, кандидат технических наук Хрущев, Сергей Анатольевич
Методологические основы и технологии разработки и функционирования комплексной системы контроля качества подготовки специалистов в вузе1994 год, доктор педагогических наук Жуковская, Зоя Дмитриевна
Дидактические требования к разработке компьютерных контролирующих заданий2006 год, кандидат педагогических наук Парфенов, Дмитрий Анатольевич
Компьютерная поддержка совершенствования грамматических навыков студентов, изучающих английский язык на средних и продвинутых уровнях2009 год, кандидат педагогических наук Маковецкая, Ирина Александровна
Введение диссертации (часть автореферата) на тему «Модели, методы и инструментальные средства интерактивного контроля выполнения многошаговых учебных заданий»
Актуальность. Контролирующие процедуры являются, как правило, неотъемлемой частью современных компьютерных обучающих систем. Доля затрат на разработку процедур контроля в обучающих системах значительна.
Применение сценариев интерактивного взаимодействия с обучаемым предусмотрено общепринятыми международными документами в области разработки компьютерных программ для образования. Подобное взаимодействие реализуется соответствующими программными компонентами.
Использование в компьютерной программе функций проверки интерактивного выполнения многошаговых учебных заданий позволяет отслеживать технологию решения, повысить эффективность и снизить временные затраты процедур контроля и самоконтроля.
• За счет компьютерного выполнения рутинных операций при решении учебных заданий экономится время студента, что позволяет выполнять больше различных задач, представляющих предмет изучения, при этом они могут иметь большую размерность, часто невозможную при решении вручную.
• За счет компьютерного контроля процесса решения экономится время преподавателей на детальную проверку каждой выполненной работы. Это позволяет при том же штате преподавателей проводить контроль большего количества студентов или углубить контроль.
• За счет контроля промежуточных результатов увеличивается полнота освоения и контроля методов выполнения заданий, решается ряд проблем для определенного круга заданий, возникающих при контроле только конечного ответа: о правильный ответ к задаче не гарантирует использования испытуемым требуемого метода решения - слежение за траекторией позволит проконтролировать технологию решения; о неправильно введенный ответ к заданию часто не позволяет выставить оценку, отличную от нуля, - оценивание каждого шага процесса решения позволяет дифференцировано формировать некоторую положительную оценку для частично правильных решений, что важно для заданий, требующих длительного многошагового выполнения; о фиксированная последовательность псевдотестовых "микрозаданий" часто не позволяет испытуемому проявлять инициативу и комплексно продемонстрировать все умения по выполнению задания - разрешение продолжения решения после определенных ошибок помогает решить эту проблему.
Одним из видов подобных интерактивных процедур являются задания (учебные задачи), для решения которых в явном виде должны применяться алгоритмы, состоящие более чем из одной операции, т.е. они выполняются за несколько шагов (действий). Для выполнения заданий может существовать и использоваться несколько алгоритмов (или вариантов алгоритмов). Для контроля усвоения материала помимо конечного ответа являются важными получаемые промежуточные результаты, принятые решения и траектория процесса решения. При этом увеличение точек контроля в общем случае приводит к увеличению затрат на реализацию системы.
В настоящее время не существует типовых решений и общепринятых формальных методик для синтеза и оценки интерактивных процедур контроля выполнения многошаговых заданий.
В данной диссертации исследуются модели и методы разработки (проектирования) компьютерных программ интерактивной проверки знаний и умений выполнять многошаговые задания. Предлагаемые методы анализа схем контроля являются формальной основой выбора и проектирования сценария работы пользователя при выполнении интерактивного задания.
Целью работы является разработка моделей и методов их создания, обеспечивающих необходимую полноту усвоения и глубину (детальность) контроля и снижающих трудоемкость разработки, а также реализация обучающих и контролирующих комплексов по математическому программированию. При разработке сценариев работы студента анализируются необходимая детальность контроля (количество и положение точек контроля промежуточных результатов решения) и затраты на разработку комплексов. Использование результатов исследования должно дать уменьшение затрат на разработку и сокращение времени на процедуры контроля при полноте освоения изучаемых методов. Данные модели и методы могут применяться также для отбора существующих систем.
Для достижения поставленной цели в работе решены задачи:
• исследованы методы автоматизированного контроля в обучении для построения модели типового комплекса и выявления характеристик, используемых для оценки интерактивных заданий;
• предложены и исследованы оригинальные модели и методы синтеза и модификации нагруженных графов, описывающих схемы (сценарии) выполнения заданий и процедур контроля, метод оценки необходимой детальности данных процедур контроля с целью получения корректных сценариев компьютерного интерактивного контроля выполнения заданий;
• создано алгоритмическое и программное обеспечение для оценки необходимой детальности реализуемых сценариев (схем) контроля решения задачи;
• разработано программное обеспечение комплексов контроля выполнения задания и исследовать их характеристики;
• экспериментально проверены разработанные методы и программные средства. Методы исследования. При разработке математического обеспечения в диссертационной работе используются методы теории графов, теории множеств. При разработке программного обеспечения (ПО) используются методы объектно-ориентированного программирования.
Научная новизна работы заключается в следующем:
• выполнен анализ современного программно-информационного обеспечения для контроля выполнения многошаговых учебных заданий, выявлены его ограничения и необходимая функциональность, что позволило сформировать необходимую структуру проектируемого ПО;
• предложена модель оценки (сравнения) интерактивных систем контроля по критериям глубины (детальности) контроля и реализованное™ его в ПО; решение сводится к задаче на графах, что является традиционным, но разработаны собственные методы расчета необходимых характеристик, что является теоретической основой для анализа схем интерактивного контроля;
• предложена алгебра для синтеза корректных сценариев выполнения заданий, что обеспечивает возможность многократного использования фрагментов сценариев;
• предложена гомоморфная операция стягивания, показаны ее свойства, что позволяет проводить корректную редукцию сценариев выполнения заданий и исследовать их свойства.
Практическая ценность. По тематике диссертационной работы выполнялись исследования над первой очередью комплексов в рамках договора 95-3-114-521/10 ЭУ/95 с Российским НИИ информационных систем (РосНИИ ИС) в МИФИ. Данные исследования описаны в соответствующем отчете о НИР [94].
Разработанные методы и инструментальные средства используются при проектировании программных систем, предназначенных для компьютерного интерактивного контроля выполнения заданий.
Внедрение комплексов позволило сохранить уровень знаний студентов, сократив время, затрачиваемое преподавателем на детальный контроль проверочных работ, в 2-5.6 раза. Разработанные решения были использованы в МИФИ и МГИУ при изучении курсов по математическому программированию в следующих подразделениях: на факультете "Информационная безопасность" МИФИ, в Экономико-аналитическом институте МИФИ, на кафедрах факультета "Кибернетика" МИФИ №17 "Информатика и процессы управления", №22 "Кибернетика", №29 "Интеллектуальные управляющие системы", на факультете иностранных учащихся МИФИ (группы ИК).
Во всех подразделениях отмечен положительный опыт использования компьютерных комплексов,
На защиту выносятся:
• модель описания сценариев выполнения многошаговых учебных заданий, алгебра для синтеза корректных сценариев; метод анализа необходимой глубины (детальности) процедуры контроля решения задач компьютерными средствами, модель оценки многошаговых заданий;
• гомоморфное преобразование редукции (стягивания) для схем контроля, сохраняющее свойство достижимости результата;
• структура программных комплексов, включающая модули фиксации трассы решения, диалоговой и вычислительной поддержки;
• методы оптимизации структуры учебных курсов с использованием методов преобразования графов;
• программная реализация инструментального средства для анализа схем контроля;
• программная реализация и внедрение обучающе-контролирующих комплексов, разработанных с использованием вышеназванной методики анализа схем контроля.
Апробация работы. Комплексы обучающих и контролирующих программ по математическому программированию зарегистрированы в Отраслевом фонде алгоритмов и программ [112] и во ВНТИЦ (государственный регистрационный № 50200501308) [114].
Теоретические положения и практические результаты были доложены на следующих конференциях, семинарах и выставках:
• конференция "Информатика и новые информационные технологии в системе лицей-ВУЗ", МИФИ, 1995 [95];
• Международный научный конгресс студентов, аспирантов и молодых ученых "Молодежь и наука-третье тысячелетие", 1996 [96];
• конференция "Телекоммуникации и новые информационные технологии в системе лицей-ВУЗ", МИФИ, 1997 [97];
• IX Международная конференция-выставка "Информационные технологии в образовании", 1998 [98];
• Научная сессия МИФИ, 2000 и 2002-2006 [99, 102-104, 106, 108, 110, 111, 117, 118];
• 5-я Выставка-конференция "Телекоммуникации и новые информационные технологии в образовании", МИФИ, 2001 [100];
• X - XV Международные научно-технические семинары "Современные технологии в задачах управления, автоматизации и обработки информации", Алушта, 20012006 [101, 105,107,109, 115];
• Первая научно-практической конференция "Современные информационные технологии и ИТ-образование", ВМК МГУ, 2005 [113];
• Четвертая открытая всероссийская конференция "Преподавание информационных технологий в России-2006", (г. Москва, 2006) [119].
Структура и объем работы. Диссертация содержит 4 главы, введение и заключение, 72 рисунка, 7 таблиц, 8 приложений. Общий объем страниц без приложений: 134 (с приложениями - 169). Список использованных источников содержит 154 наименования.
Похожие диссертационные работы по специальности «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», 05.13.11 шифр ВАК
Исследование методов и разработка алгоритмов и программных средств планирования обслуживания терминалов распределенных компьютерных систем2012 год, кандидат технических наук Воробьева, Ирина Александровна
Разработка метода и алгоритмов тестирования знаний на основе интеллектуальной обработки ответов испытуемого на естественном языке2006 год, кандидат технических наук Белов, Евгений Александрович
Методы разработки и применения многофункциональных сетевых электронных учебников1999 год, кандидат технических наук Леонова, Наталия Михайловна
Средства автоматизации структурно-функционального проектирования микропроцессорных систем с развитой поддержкой обучения2002 год, доктор технических наук Негода, Виктор Николаевич
Методы и алгоритмы построения компьютерных учебных программ и систем на основе генераторов информационных объектов2005 год, доктор технических наук Кручинин, Владимир Викторович
Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Садчиков, Сергей Михайлович
4.6. Выводы по главе
1. В главе проводится сравнение результатов традиционного контроля и компьютерного, использующего разработанные комплексы. Проведенный анализ показал высокую степень корреляции данных результатов.
2. Сравнение затрат времени студентов и преподавателей на процедуру контроля показывает существенное преимущество разработанных комплексов (экономия времени достигает до 5 раз).
3. Приведены результаты использования характеристик дискриминативности и сложности для шагов заданий и задач в целом. В разработанных комплексах данные характеристики используются для отбора корректных вариантов заданий.
4. Рассмотрено использование предлагаемых моделей и методов анализа сценариев выполнения заданий для собственных и сторонних разработок. Показано, что низкое значение показателя детальности контроля D, соответствует отсутствию контроля выполнения некоторых важных компонент задания, что согласуется с разработанной теорией.
5. Приведены интерфейсы диалогового выполнения различных заданий, как индивидуальных, так и единых для некоторого набора заданий, что дополнительно сокращает затраты на разработку.
6. Приведен график внедрения в учебный процесс новых комплексов, а также статистика их использования студентами. Результаты опроса свидетельствуют о востребованности компьютерных комплексов.
7. Рассмотрено применение предлагаемых моделей и методов в задаче формирования программы учебной дисциплины. Показана возможность их использования для сравнения различных авторских курсов, синтеза единой программы дисциплины, читаемой для нескольких специальностей.
Заключение
В работе решена задача создания математического и программно-алгоритмического обеспечения процедур анализа эффективности интерактивного решения задач с точки зрения необходимой детальности контроля, реализацию обучающих и контролирующих комплексов по математическому программированию.
В результате работы над диссертацией получены следующие результаты:
• исследованы методы автоматизированного обучения и контроля и предложены оригинальные методы описания и оценки необходимой детализированности процедур контроля с помощью нагруженных графов, композиции и модификации данных графов;
• создано программно-алгоритмическое обеспечение решения задачи оценки необходимой детализированности графа в среде MS Visio;
• решена задача реализации программных комплексов контроля и исследования их характеристик по математическому программированию;
• разработанные комплексы внедрены в эксплуатацию в различных подразделениях МИФИ и МГИУ.
Список литературы диссертационного исследования кандидат технических наук Садчиков, Сергей Михайлович, 2006 год
1. Салмин И.Д. Внедрение компьютерных обучающих программ в высшей школе // Университетская книга. - 1997. - № 6 - С. 19-21.
2. RenshawC.E., Taylor Н.А. The educational effectiveness of computer-base instruction // Pergamon. Computers & Geosciences. 2000. - Vol. 26. - № 6. - Pp. 677-682.
3. Каменский Я.А. Избранные педагогические сочинения. В 2-х томах. М.: Педагогика, 1982.
4. Майоров А.Н. Теория и практика создания тестов для системы образования. М,: "Интеллект-центр", 2001. - 296 с.
5. Кречетников К.Г. Методология проектирования, оценки качества и применения средств информационных технологий обучения. М.: Госкоорцеитр информационных технологий, 2001. - 244с.
6. Вострокнутов И.Е. Теория и технология оценки качества программных средств образовательного назначения. М.: Госкоорцеитр информационных технологий, 2001.- 300с.
7. Сапунцов В.Д. Компьютер в экономическом образовании. М.: "Издательский дом НОВЫЙ ВЕК", 1999. - 232 с.
8. Соловьев А.И., Жданова Г.В., Новикова Г.В., Гонсалес К.Э.Э. Методика оценки деятельности оперативного персонала при обучении на тренажерах // Вестник МЭИ. Теплоэнергетика. 1998. - №5. - С. 11-15.
9. Тренажерные технологии: 2-я специализированная выставка. Каталог разработок, представленных на стенде Минобразования России. Санкт-Петербург, 4-7 июня 2002 года. СПб., 2002. 29с.
10. ДьячукП.П., Дрозд А.С., Лариков Е.В. Стратегия обучения алгоритмам и компьютерные тренажеры по физике. // Сибирский образовательный журнал "Современное образование" 2002. - №4.
11. Образование и XXI век: Информационные и коммуникационные технологии. -М.:Наука, 1999. 191 с.
12. Бежанова М.М. Компьютерные образовательные программы: обзор инструментальных средств / Системная информатика: Сб. научных трудов, Новосибирск: Наука. Сибирское предприятие РАН, 1998. - Вып. 6. - С. 174-198.
13. Тиффин Д., Раджасингам JI. Что такое виртуальное обучение. Образование в информационном обществе. М.: "Информатика и образование", 1999. - 312 с.
14. Брусенцов Н.П., Маслов С.П., Рамиль Альварес X. Микрокомпьютерная система обучения "Наставник". М.: Наука, 1990. - 224 с.
15. Романов А.Н., Торопцов B.C., Григорович Д.Б. Технология дистанционного обучения. М.:ЮНИТИ-ДАНА, 2000. 303 с.
16. ИКТ в управлении образованием. // Сб. Труды XII Международная конференция "Информационные технологии в образовании". Часть IV. — М.: МИФИ, 2002.
17. ИКТ в управлении образованием. // Сб. Труды XIII Международной конференции-выставки "Информационные технологии в образовании". Секция IV. Часть V. - М.: Просвещение, 2003. - С. 167-263.
18. Клеванский Н.Н., Наумова С.В. Математическое моделирование учебных планов ВУЗ'ов. // Сб. Труды XII Международной конференции-выставки "Информационные технологии в образовании". Часть IV. - М.: МИФИ, 2002. - С. 193-194.
19. Клеванский Н.Н., Наумова С.В., Костин С.А. Моделирование проектной деятельности при разработке учебных планов вуза. // Сб. Труды XIII Международной конференции "Информационные технологии в образовании". Часть V. - М.: Просвещение, 2003. -С. 202-203.
20. Клеванский Н.Н., Костин С.А. Модели и алгоритмы глобальной оптимизации первоначального расписания занятий вуза. / Сб. Труды XIV Международной конференции "Информационные технологии в образовании". Часть V. - М.: Просвещение, 2004. - С. 202-203
21. Китаевская Т.Ю. Система проектирование обучения в вузе в условиях информатизации образования/ Сб. Труды XIV Международной конференции "Информационные технологии в образовании". Часть V. - М.: Просвещение, 2004.
22. СолововА.В., Мрыкин С.В., Колпащиков А.Г. Оптимизация. Комплекс по математическим методам оптимального проектирования. Самара: СГАУ, 1994. - 52 с.
23. Adams Joel С., Armstrong Aaron A. Web-based testing: a study in insecurity // Elsevier Science Ltd. World Wide Web. 1998. -№ 1. -Pp 193-208.
24. Corbett A., McLaughlin M., Scarpinatto K.Ch. Modeling Student Knowledge: Cognitive Tutors in High School and College. // Kluwer Academic Publishers. User Modeling and User-Adapted Interaction. 2000. - Vol. 10. - № 2/3. - Pp. 81-108.
25. Mitrovic A. Experiences in Implementing Constraint-Based Modeling in SQL-Tutor // Springer-Verlag Berlin Heidelberg. Lecture Notes in Computer Science. 1998. - Vol. 1452. -Pp. 414-423.
26. Mitrovic A., Martin B. Evaluating the effect of open student models on learning / 2nd Int. Conf. on Adaptive Hypermedia and Adaptive Web-based Systems AH 2002, Malaga, Spain, 29-31 May. 2002. - Pp. 296-305.
27. Башмаков А.И., Башмаков И.А. Разработка компьютерных учебников и обучающих систем. М.: Информационно-издательский дом "Филинъ", 2003. - 616 с.
28. Millaln Е., Pelrez-De-La-Cruz J. A Bayesian Diagnostic Algorithm for Student Modeling and its Evaluation. II Kluwer Academic Publishers. User Modeling and User-Adapted Interaction. 2002. - Vol. 12. - № 2/3. - Pp. 281-330.
29. Sanchez J.Ch., Encinas L.H., Fernandez R.L., Sanchez M.R. Designing hypermedia tools for solving problems in mathematics // Pergamon. Computers & Education. 2002. - Vol. 38. -№ 1-3.-Pp. 303-317.
30. Потемкин В.Г., Ульяиина M.H. Интегрированная среда визуального моделирования при обучении прикладной математике / Сб. Научная сессия МИФИ-2002. Т. 2. -М.: МИФИ, 2002. - С. 161-162.
31. Беспалько В.П. Образование и обучение с участием компьютеров (педагогика третьего тысячелетия). М.: Изд-во Московского психолого-социального института; Воронеж: Издательство НПО "МОДЭК", 2002. - 352с.
32. Агапонов С.В., Джалиашвили З.О., КречманД.Л., Никифиров И.С., Ченосова Е.С., Юрков А.В. Средства дистанционного обучения. Методика, технология, инструментарий. СПб.: БХВ-Петербург, 2003. - 366 с.
33. IMS Question and Test Interoperability Implementation Guide. Copyright. IMS Global Learning Consortium, Inc., 2006.
34. Трояновский В. M. Автоматизированный контроль знаний в системе взаимосвязанных понятий. // Информатика и образование. 2002. -№3. - С.54-56.
35. ИжогинЯ. В. Компьютер как инструмент педагогической деятельности. // Информатика и образование. 2003. -№12. - С.51-55.
36. Курганская Г.С. Модели, методы и технология дифференцированного обучения на базе интернет; Автореф. дисс. физ.-мат. наук. М., 2001.
37. Мицель А.А., Романенко В.В. Мультимедийный обучающий курс "Вычислительная математика". // Открытое образование. 2003. -№1. - С.47-51.
38. Буч Г., Рамбо Дж., Джекобсон А. Язык UML. Руководство пользователя. М.: ДМК, 2000. - 432 с.
39. Горбатов В.А., Горбатов А.В., Горбатова М.В. Дискретная математика. М.: "ACT", "Астрель", 2003.-447 с.
40. Ершов А.П. Введение в теоретическое программирование. Беседы о методе. М.: Наука, 1977. - 288с.
41. Евстигнеев В.А. Применение теории графов в программировании. М.: Наука, 1985. -352с.
42. Касьянов В.Н., Евстигнеев В.А. Графы в программировании: обработка, визуализация и применение. СПб.: БХВ-Петербург, 2003. - 1104с.
43. Брой М. Информатика. Основопологающее введение. Ч. 1. - М.: Диалог-МИФИ, 1996.-299с.
44. Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. М.: Мир, 1982.-416с.
45. Харари Ф. Теория графов. М.: Едиториал УРСС, 2003. - 296с.
46. Ахо Альфред В., Хопкрофт Джон, Ульман Джеффри Д. Структуры данных и алгоритмы. М.: Издательский дом "Вильяме", 2000. - 384с.
47. Глушков В.М. Алгебра. Языки. Программирование. М.: - 319с.
48. Мальцев А. И. Алгоритмы и рекурсивные функции. М.: Наука. Гл. ред. физ.-мат. лит., 1986.-368с.
49. Свами М., Тхуласирамаи К. Графы, сети и алгоритмы. М.: Мир, 1984. - 454с.
50. Татт У. Теория графов. М.: Мир, 1988. - 424с.
51. Марков А.А., Нагорный Н.М. Теория алгорифмов.—М.: Наука. Главная редакция физико-математической литературы, 1984.— 432с.
52. Новиков Ф.А. Дискретная математика для программистов.— СПб: Питер, 2000. 304с.
53. Демушкин А.С., Кириллов А.И., Сливина Н.А., Чубров Е.В., Кривошеев А.О., Фомин С.С. Компьютерные обучающие программы // Информатика и образование 1995 - №3 - С.15-22.
54. Соловов А.В. Проектирование компьютерных систем учебного назначения. -Самара: СГАУ, 1995. 138с.
55. Шафер Д.Ф., Фатрелл Р.Т., Шафер Л.И. Управление программными проектами: достижение оптимального качества при минимуме затрат. М.: Издательский дом "Вильяме", 2003.-1136 с.
56. Тягунова Т.Н. Философия и концепция компьютерного тестирования. -М.: МГУП, 2003.-246с.
57. Ohlsson S.:Constraint-based Student Modeling. / Student Modeling:the Key to Individualized Knowledge -based Instruction. Editors: Greer J.E., McCallaG.I.: NATO ASI Series, Vol.125. Springer-Verlag, Berlin- Heidelberg-New York, 1994 Pp. 167-189.
58. Mypra JI.O. Обучающая система по решению графовых задач. // Educational Technology & Society. — 2000. №3(2). - С. 126-133.
59. Серова Г.А., Никитин Н.В. Подходы к организации дистанционного обучения при профессиональной подготовке персонала // Управление персоналом. 2002. - №5. -С. 33-39.
60. Филатова Н.Н., Вавилова Н.И., Ахремчик О.Л. Мультимедиа тренажерные комплексы для технического образования. // Educational Technology & Society. — 2003. №6(3). -С. 164-186.
61. Кноп К. Математика прямо по курсу. // Компьютерра. - 1998. - №24-25.
62. Боревский Л.Я. Усовершенствование методики компьютерных обучающих программ "Курса физики для школьников и абитуриентов"/ Сб. Труды VIII Международной конференции-выставки "Информационные технологии в образовании". Москва, 1998.
63. Ижуткин B.C., Сушенцов А.А. Интернет-технологии при изучении методов оптимизации. // Educational Technology & Society. — 2002. №5(3). - С. 231-239.
64. Чепегин В.И. ПСС система обучения в стиле "Попробуй свои силы" (обзор программного обеспечения). // Educational Technology & Society. — 2000. -№3(3). - С. 564-572.
65. Левинская М.А. Автоматизированная генерация заданий по математике для контроля знаний учащихся. // Educational Technology & Society. — 2002. №5(4). - С. 214-221.
66. Моисеенко С.И., Майстренко А.В. Практические навыки и дистанционное обучение. // Educational Technology & Society. — 2003. №6(2). - С. 111-116.
67. Христочевский С.А. Электронный учебник текущее состояние // Компьютерные инструменты в образовании. - 2001. - №6.
68. Шмелев А.Г. Компьютеризация экзаменов: проблема защиты от фальсификаций. // Сб. Труды XI Международной конференции-выставки "Информационные технологии в образовании". Секция VI. ИТ в контроле результатов обучения М., 2001.
69. Минина Е.Е. Компьютерные средства оценки качества обучения. // Сб. Труды XI Международной конференции-выставки "Информационные технологии в образовании". Секция VI. ИТ в контроле результатов обучения М., 2001.
70. Гуртовой А.В. НелюбинС.В., Кремнев М.В., Строков А.В., Тверьянович Д.Ю., Колодко К.В. Новые компьютерные технологии в преподавании математики. //Сб. Труды X Международной конференции-выставки "Информационные технологии в образовании М., 2000.
71. Поршнев С.В. Методика использования пакета Mathcad для изучения итерационных методов решения краевых задач для обыкновенных дифференциальных уравнений. // Вычислительные методы и программирование. Том 2. - М.: НИВЦ МГУ, 2001. - С. 3.1-3.6.
72. Самарин В.В. Решение экономико-математических задач оптимизации средствами MathCAD. // Информатика и образование. 2002. - №12. - С.42-46.
73. Воеводин В.В., Воеводин Вл.В. ЛИНЕАЛ: электронная энциклопедия по линейной алгебре. // Вычислительные методы и программирование. Том 3. - М.: НИВЦ МГУ, 2002.-С. 3.1-3.10.
74. Васильев В.И., Тягунова Т.Н., Хлебников В.А. Триадная сущность шкалы исследования. // Открытое образование. 2000. - №6.
75. Богомолов О.А. Программа "Дизайнер курсов" эффективное средство для построения электронных учебников // Открытое образование. - 2001 - №1.
76. Божич В.И., Горбатюк Н.В. Интеллектуальная система компьютерного обучения // Перспективные информационные технологии и интеллектуальные системы. 2001 -№1(5)-С. 196-206.
77. Боревский Л.Я. Курс математики 2000 // Сб, Труды IX Международной конференции-выставки "Информационные технологии в образовании". М.: МИФИ, 1999. -Часть II. - С. 202-204
78. Антонова Т.С., Харитонов А.Л. Мультимедийный или гипертекстовый учебник? (на примере компьютерного учебника "История России: XX век"). / Сб. Труды VIII Международной конференции-выставки "Информационные технологии в образовании". Москва, 1998.
79. Антонова Т.С., Харитонов А.Л. История нас рассудит! (о методике применения мультимедийного курса). // Компьютер в школе. 1999 - №8
80. Фомин С.С. Развитие технологии создания компьютерных обучающих программ // Информационные технологии. -1996. № 2. -С. 18-21.
81. Гусева А.И. Оценка качества распределенных обучающих систем. М.: Препринт/МИФИ, 006-2003, 2002. 32 с.
82. Гусева А.И. Адаптивные методики тестирования. М.: Препринт/МИФИ, 007-2002, 2002. 32 с.
83. Васильев В.И., Тягунова Т.Н. Культура компьютерного тестирования. Программно-дидактическое тестовое задание. М.: МГУП, 2005. - 84с,
84. Образцов П. И. Психолого-педагогические аспекты разработки и применения в вузе информационных технологий обучения. Орел: Орловский государственный технический университет, 2000. - 145 с.
85. Шмелев А.Г. Блиц-партия вопросов и ответов и матч-реванш для контрольной работы // Первое сентября. № 5.12/1998.
86. Салмин И,Д., Чернышев Ю.А., Садчиков С.М. Новые информационные технологии в обучении. Отчет по теме N 91-2-104-229-Г. М.: МИФИ, 1995. - 54 с.
87. Салмин И.Д., Садчиков С.М., Харьковский Р.И. Компьютерный учебник по математическому программированию. / Сб. Материалы конференции "Информатика и новые информационные технологии в системе лицей-ВУЗ". М.: МИФИ, 1995. - С. 19-20.
88. Садчиков С.М., Салмин И.Д. Компьютерный учебник по математическому программированию. / Сб. Труды Международного научного конгресса студентов, аспирантов и молодых ученых "Молодежь и наука третье тысячелетие"-96. Том 2. -М.: НТА АПФН, 1997. - С. 60,
89. Садчиков С.М., Салмин И.Д. Компьютерная обучающая система по математическому программированию / Сб. Материалы конференции "Телекоммуникации и новые информационные технологии в системе лицей-ВУЗ" М.: МИФИ, 1997. - С.54-55.
90. Садчиков С.М., Салмин И.Д., Фетисов И.А. Методологические аспекты компьютерных контролирующих программ. / Сб. Труды IX Международной конференции-выставки "Информационные технологии в образовании". М.: МИФИ, 1999. - Часть II. - С. 227228
91. Зайченко И.Н., Монахов А.Н., Озеров М.В., Садчиков С.М., Салмин И.Д., Фетисов И.А. Методологические аспекты компьютерных контролирующих программ. / Сб. Научная сессия МИФИ-2000. Т.10. - М: МИФИ, 2000. - С. 21-22.
92. Дьяконов А.А., Садчиков С.М. Сетевой программный комплекс по нелинейному программированию. / Сб. Научная сессия МИФИ-2002. Т. 2. - М.: МИФИ, 2002. -С. 49-50.
93. Яблочкин П.С., Садчиков С.М. Разработка гибкой системы контроля в обучающих и контролирующих программах. / Сб. Научная сессия МИФИ-2002. Т. 2. - М.: МИФИ,2002.-С. 48.
94. Садчиков С.М., Салмин И.Д., Фетисов И.А. Опыт разработки и использования компьютерных обучающих и контролирующих комплексов. / Сб. Научная сессия МИФИ-2002. Т. 2. - М.: МИФИ, 2002. - С. 46-47.
95. Дьяконов А.А., Никитин В.А., Садчиков С.М., Салмин И.Д., Фетисов И.А. Компьютерные обучающие и контролирующие комплексы нового поколения. / Сб. Научная сессия МИФИ-2003. Т. 2. - М.: МИФИ, 2003. - С. 83-84.
96. Садчиков С.М., Чамов И.А. Комплекс обучающих и контролирующих программ по курсам "Транспортная задача" и "Календарное планирование". / Сб. Научная сессия МИФИ-2004. Т. 2. - М.: МИФИ, 2004. - С. 84.
97. Андронова Е.Е., Вавилова А.С., Садчиков С.М. Компьютерный комплекс для очного и дистанционного обучения и контроля знаний и навыков студентов. / Сб. Научная сессия МИФИ-2005. Т. 2. - М.: МИФИ, 2005. - С. 66.
98. Садчиков С.М. О способе оценки систем обучения и контроля. / Сб. Научная сессия МИФИ-2005. Т. 2. - М.: МИФИ, 2005. - С. 96-97.
99. Салмин И.Д., Садчиков С.М., Никитин В.А. Комплексы обучающих и контролирующих программ по математическому программированию. М,: ВНТИЦ, 2005.-№50200501308.
100. Салмин И.Д., Садчиков С.М., Никитин В.А. Комплексы обучающих и контролирующих программ по математическому программированию. // Компьютерные учебные программы и инновации (телеграф отраслевого фонда алгоритмов и программ). 2005. -№ 7 (8). - С.З.
101. Садчиков С.М. Методические указания к выполнению лабораторных работ по нелинейному программированию и одномерному поиску Электронный ресурс. М.: МИФИ, [2005]. Режим доступа: http://cyber.mephi.ru/emportal/users/ MEPWAHBSX EIA/MEPAXX735/Zoit v2.pdf.
102. Садчиков С.М., Синицын С.В. Разработка программных средств детального пошагового контроля решения задач. / Сб. Научная сессия МИФИ-2006. Т. 2. -М.: МИФИ, 2006.-С. 50-51.
103. Садчиков С.М. Преобразования графов алгоритмов для пошагового контроля решения задач. / Сб. Научная сессия МИФИ-2006. Т. 2. - М.: МИФИ, 2006. - С. 74-75.
104. Fischer G. User Modeling in Human -Computer Interaction. // Kluwer Academic Publishers. User Modeling and User-Adapted Interaction. 2001. - Vol. 11.-№ 1/2. - Pp. 65-86.
105. Waller J.C., Foster N. Training via the web: a virtual instrument. // Pergamon. Computers & Education. -2000. Vol. 35. - № 2. - Pp. 161-167.
106. Васильева О.В. Инструментальные системы для создания контролирующих ППС. / Материалы секции "В" XI конференции "Информационные технологии в образовании". Электронный ресурс., М., [200-]. - Режим доступа: http://www.ito.sU/1995/b/vasileva.html
107. Бизнес приложения. Электронный ресурс. M.:KODA-PRO.com Professional Software development, 2005. - Режим доступа: http://www.koda-pro.com/it/business ru.phtml. -Загл. с экрана.
108. Компьютерный рынок для образовательных учреждений Электронный ресурс. -Новосибирск: НГУ, 1999. Режим доступа: http://www.nsu.ru/icen/grants/market/lom5/ stat%20PCeducation.htm. - Загл. с экрана.
109. Обучающая программа по математике "Computer mentor" Электронный ресурс. М: ООО "Мобилайф", [200-]. - Режим доступа: http://www.c-mentor.ru/about/index.php -Загл. с экрана.
110. Компьютер-Наставник Электронный ресурс. М., [200-]. - Режим доступа: http://www.coiTiputerm.newmail.ru/comment.htm. - Загл. с экрана.
111. Электронный учебник "Основы теории компьютеров" МИФИ Электронный ресурс. -М.: КСиТ МИФИ, 2004. Режим доступа: http://dozen.mephi.ru:8101/study/btc.htm. -Загл. с экрана.
112. И.В.Черных. "Simulink: Инструмент моделирования динамических систем" Электронный ресурс. М.:, [200-]. Режим доступа: http://www.matlab.ru/simiilink/bookl/index.asp. - Загл. с экрана.
113. Материалы секции "ИТ в контроле и оценке результатов обучения" XI Международной конференции-выставки "Информационные технологии в образовании". Электронный ресурс. М., 2001. - Режим доступа: http://Ito.eclu.ru/2001/ito/Vl.htm. - Загл. с экрана.
114. X3D, H-Anim, and VRML97 Specification Электронный ресурс. [200-]. - Режим доступа: http://www.web3d.org/x3d/specifications/. - Загл. с экрана.
115. Кузьмина Е.А. Модели и оптимизация учебных планов в образовательных системах: Дис. канд. техн. наук. Уфа: Уфимский государственный авиационный технический университет (УГАТУ), 2002. -153 с.
116. Исследование операций. Курс лекций Электронный ресурс. Киев: НТУУ "КИИ". Институт прикладного системного анализа, 2004. - Режим доступа: http://iasa.org.ua/iso.php71an g=rus. - Загл. с экрана.
117. Боревский Л.Я. Курс математики для школьников и абитуриентов XXI века (базовый). Научный консультант Н.Х.Розов. Электронный ресурс. М.: МедиаХауз, 2003. - 1 электрон, опт. диск (CD-ROM). - Загл. с вкладыша контейнера.
118. Открытая биология 2.5 Электронный ресурс. М.: ФИЗИКОН, 2003. - 1 электрон, опт. диск (CD-ROM). - Загл. с вкладыша контейнера.
119. Образовательный комплекс: Математика, 5-11 классы. Практикум Электронный ресурс. М.: ООО «1С-Паблишинг», 2005. - 2 электрон, опт. диска (CD-ROM). - Загл. с вкладыша контейнера.
120. IEEE Learning Technology Standards Committee Электронный ресурс. [2006]. -Режим доступа: http://ieeeltsc.org. - Загл. с экрана.
121. Advanced Distributed Learning SCORM Электронный ресурс. - [2006]. Режим доступа: http://www.adlnet.gov/scorm/index.cfm. - Загл. с экрана.
122. Кузин Л.Т. Основы кибернетики. Том 1.-М.: Энергия, 1973.-504с.
123. Загвязинский В.И. Теория обучения: Современная интерпретация. М.: Издательский центр "Академия", 2001.- 192 с.
Обратите внимание, представленные выше научные тексты размещены для ознакомления и получены посредством распознавания оригинальных текстов диссертаций (OCR). В связи с чем, в них могут содержаться ошибки, связанные с несовершенством алгоритмов распознавания. В PDF файлах диссертаций и авторефератов, которые мы доставляем, подобных ошибок нет.