Создание учебно-исследовательской программной среды в области математических дисциплин тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат наук Марьясина, Татьяна Давидовна

• Марьясина, Татьяна Давидовна
• кандидат наук
• 1993

Оглавление диссертации кандидат наук Марьясина, Татьяна Давидовна

ОГЛАВЛЕНИЕ

стр

ГЛАВА 1. АНАЛИЗ СОСТОЯНИЯ РАБОТ В НАПРАВЛЕНИИ СОЗДАНИЯ УЧЕБНО-ИССЛЕДОВАТЕЛЬСКОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ В ОБЛАСТИ МАТЕМАТИЧЕСКИХ ДИСЦИПЛИН.

ПОСТАНОВКА ЗАДАЧИ

1.1. Программная поддержка учебного процесса в области математических дисциплин

1.1.1. Программы обучающе-тренирувде-контролирующего типа по математическим дисциплинам

1.1.2. Использование компьютеров в обучении в качестве инструмента для решения математических задач

1.2. Программное обеспечение профессионального назначения для решения математических задач

1.3. Инструментальные средства для разработки программных средств учебного назначения

1.4. Постановка задачи

ГЛАВА 2. ПЕРСОНАЛЬНЫЙ АВТОМАТИЗИРОВАННЫЙ КОНСУЛЬТАНТ В

ОБЛАСТИ МАТЕМАТИЧЕСКИХ ДИСЦИПЛИН ПАК МАТЕМАТИК

2.1. Назначение ПАК МАТЕМАТИК

2.2. Анализ состояния работ в области автоматизированного доказательства теорем

2. 3. Описание шкета ПАК МАТЕМАТИК

2.4. Некоторые вопросы реализации макета ПАК МАТЕМАТИК

2. 5. Выводы и направления дальнейших исследований

ГЛАВА 3. УЧЕБНЫЕ СПРАВОЧНИКИ ПО МАТЕМАТИЧЕСКИМ

ДИСЦИПЛИНАМ

3.1. Описание работы обучаемого со справочником

3.2. Описание учебного материала

3.3. Описание действий разработчика

3.4. Описание программного обеспечения конструктора СПРАВОЧНИК. Вопросы реализации

3.5. Выводы и направления дальнейших исследований

ГЛАВА 4. КОМПЬЮТЕРНЫЕ ИНТЕРАКТИВНЫЕ УЧЕБНЫЕ ПОСОБИЯ ПО

МАТЕМАТИКЕ

4.1. Интерактивные учебные пособия

4.2. Описание инструментального средства ПОСОБИЕ. Вопросы реализации

4.3. Выводы и направления дальнейших исследований

ЗАКЛЮЧЕНИЕ

ЛИТЕРАТУРА

ПРИЛОЖЕНИЕ 1. Персональный Автоматизированный Консультант ПАК МАТЕМАТИК (макет). Руководство пользователя

ПРИЛОЖЕНИЕ 2. Конструктор компьютерных справочников по математическим дисциплинам СПРАВОЧНИК. Руководство пользователя

ПРИЛОЖЕНИЕ 3. Инструментальное средство ПОСОБИЕ.

Руководство пользователя

ПРИЛОЖЕНИЕ 4. Акты о внедрении результатов диссертационной работы

Введение диссертации (часть автореферата) на тему «Создание учебно-исследовательской программной среды в области математических дисциплин»

ВВЕДЕНИЕ

Актуальность теш

В настояние время при разработке программного обеспечения (ПО) учебного назначения, используемого при изучении математических дисциплин, наряду с разработкой программ обучения, тренировки, контроля знаний, при которых компьютер, в основном, заменяет учебник и выполняет функции преподавателя, особое внимание уделяется использованию компьютера в качестве инструмента для исследования и решения практических задач. Эффективное использование компьютера позволяет ввести в обучение элементы, недоступные при традиционном обучении, как, например, вычислительный эксперимент, его визуализация, хранение и доступ к большим объемам информации и др.

Компьютеризации обучения математике посвящено много работ С1 - 93, однако исследования в области создания учебного ПО для обучения абстрактным разделам математики весьма немногочисленны. Между тем теория множеств, математическая логика и т. п. являются базовыми для понимания многих курсов не только математики, но и других дисциплин. Обучение проведению математических рассуждений, в частности, доказательству теорем, способствует развитию математического мышления, применению изученных методов к самостоятельному решению задач.

Использование систем профессионального назначения для решения математических задач, например, системы МАТНЕМАТ1СА, МаЬЬСАВ и др. в целях обучения, как правило,

не является рациональным, так как они сложны в освоении вследствие излишних для обучения возможностей и имеют сложный интерфейс.

Интеллектуальные обучающие системы, основанные на использовании технологий искусственного интеллекта, как правило, также не обладают необходимым при обучении дружественным пользовательским интерфейсом.

Большинство известных компьютерных справочно-информационных систем не предполагают работу с информацией, ориентированной на изучение основных понятий, утверждений и их доказательства

В связи с этим актуальным является создание учебно-исследовательских программных сред, предназначенных для изучения математических дисциплин, в том числе абстрактных разделов, а также других, связанных с математикой, смежных дисциплин.

Целью настоящей работы является создание учебно-исследовательской программной среды в области математических дисциплин, отвечающей следующим требованиям:

- инструментальные средства (ИС) для создания компонент учебно-исследовательской среды должны быть легкими в освоении, требовать мало времени для их создания, быть доступными для преподавателей, не являющимися профессиональными программистами, или допускать участие таких преподавателей в создании компонент в содружестве с программистами.

- обучаемые могут использовать компьютер в качестве инструмента при решении математических задач-, могут

оперативно получать справочную информацию по математике, включая основные определения, утверждения и их доказательства; получать консультации по доказательству теорем. Кроме того, обучаемые должны иметь возможность самостоятельно создавать несложные интерактивные учебные пособия в рамках проведения ими учебной научно-исследовательской работы.

- интерфейс обучаемого с компонентами среды должен быть простым и дружественным.

Методы исследований. В работе использованы методы разработки графического пользовательского интерфейса, построения информационно-справочных систем, гипертекстовые модели, методы компьютерного моделирования математических рассуждений на примере автоматизированного доказательства теорем.

Научная новизна состоит в следующем:

Предложен новый подход к созданию учебно-исследовательской программной среды в области математических дисциплин, включая абстрактные, объединяющий возможности интеллектуальных обучающих систем, систем для решения математических задач, методов компьютерного моделирования математических рассуждений и графического пользовательского интерфейса

Практическая значимость.

В соответствии с поставленной задачей разработаны следующие ЙС, позволяющие создавать компоненты учебно-исследовательской среды, предназначенной для изучения математики:

- Персональный Автоматизированный Консультант ПАК

МАТЕМАТИК, работающий с базой знаний;

- СПРАВОЧНИК, работающий с базой данных;

- ПОСОБИЕ, представляющее собой оболочку для подключения необходимых программных модулей.

Разработанные ПС (программные средства) предназначены для факультативных занятий в средних (школа, гимназия, лицей) и высших учебных заведениях.

Учебно-исследовательская среда обеспечивает

индивидуализацию обучения, дает возможность обучаемым проводить самостоятельную учебную исследовательскую работу, позволяет использовать возможности компьютера в качестве инструмента для решения математических задач, оперативного получения необходимой информации.

Предлагаемые ПС могут быть использованы также инженерно-техническими и научными работниками.

Диссертация состоит из введения, четырех глав, заключения, списка литературы и приложений, содержащих акты об использовании результатов работы и руководства пользователя.

В первой главе рассматривается состояние работ в области создания учебно-исследовательского ПО по математическим дисциплинам.

Вторая глава посвящена вопросу создания ПАК МАТЕМАТИК

В третьей главе предлагается создание компьютерных учебных справочников по математике.

Четвертая глава посвящена вопросам создания визуальных оболочек по математике, позволяющих использовать компьютер в качестве инструмента для решения

математических задач.

В заключении приводятся основные результаты проведенной работы и намечаются направления дальнейших исследований.

ГЛАВА 1. АНАЛИЗ СОСТОЯНИЯ РАБОТ В НАПРАВЛЕНИИ СОЗДАНИЯ

УЧЕБНО-ИССЛЕДОВАТЕЛЬСКОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ В ОБЛАСТИ МАТЕМАТИЧЕСКИХ ДИСЦИПЛИН. ПОСТАНОВКА ЗАДАЧИ.

Применение компьютеров в образовании получает в настоящее время широкое распространение [10 - 203. Компьютеры используются при преподавании как вузовских, так и школьных математических дисциплин для обучения, тренировки, контроля, самостоятельной работы, получения справочной информации и т. п.

1.1. Программная поддержка учебного процесса в области математических дисциплин

В компьютеризации преподавания математических дисциплин можно выделить следующие направления:

- использование компьютера для обучения, тренировки и контроля знаний обучаемых;

- использование компьютера в качестве инструмента для поддержки учебного курса

Данное разделение является условным, так как многие программы, разработанные как инструмент для поддержки учебного курса, могут быть использованы также для тренировки обучаемых.

Рассмотрим опыт разработки ПО каждого из этих направлений.

1.1.1. Программы обучающе -тренирующе - контролирующего типа по математическим дисциплинам

Первые программы обучаюа^-контролирующего типа появились еще в 50х годах. Это были линейные системы, в которых материал, выдаваемый обучаемому, был представлен в виде "фреймов" [21 - 243. Большинство фреймов имели простые вопросы; обучаемому сразу выдавалось сообщение, является ли его ответ правильным или нет, и система переходила к выдаче следующего фрейма, независимо от корректности ответа обучаемого. Основные недостатки линейных программ заключались в том, что они не обеспечивали индивидуального подхода к обучаемому. Все обучаемые, независимо от их способностей и предварительной подготовки, получали один и тот же материал в одинаковой последовательности. Диалог с обучаемым осуществлялся под управлением системы, при этом корректность его действий не учитывалась.

Следующим этапом было предложение Кроудера [253 учитывать корректность ответов обучаемого при выдаче ему дальнейшего материала. Программы с ветвлением (branching programs) диагностировали ответ обучаемого и использовали его для выбора следующего фрейма. Оценка степени усвоения обучаемым материала основывалась на сравнении его ответов с ограниченным числом заранее предусмотренных эталонов. В отличие от линейных программ, допускалось не только полное сопоставление ответа с эталоном, но и частичное сопоставление. Однако причины ошибок обучаемого не

анализировались- Об " обучаемом хранились только статистические данные, такие как число правильных ответов, число ошибочных ответов и, возможно, время, затраченное на ответ. Большинство обучающих программ, разрабатываемых до середины 60-х годов, были такого фреймоориентированного типа Они получили название АОС - автоматизированные обучающие системы [263. Наиболее употребительный термин в аглоязычной литературе - "the systems for computer- ai ded instruction" (CAI), "computer-based instruction" (CBI)).

Введение элементов искусственного интеллекта в АОС отметило начало эры интеллектуальных обучающих систем (ИОС) [233, [27-313. В англоязычной литературе приняты термины Intelligent Computer-Aided Instrucion (ICAI), Inte11i gent Educat i onal Systems (IESs), Inte11i gent Tutoring Systems (ITSs). Обычно в состав ИОС входят следующие модули: эксперт в данной предметной области, эксперт в области преподавания, модель обучаемого, каталог наиболее характерных ошибок и модуль диалога Модуль эксперта в предметной области используется для того, чтобы система могла конструировать решение поставленных задачи. Модуль эксперта в области преподавания выполняет такие функции, как оценку уровня знаний обучаемого, определение причин ошибок, выбор дальнейшей стратегии преподавания для данного обучаемого. Для персонализации диалога для каждого обучаемого в ИОС предусмотрена модель студента, которая строится и динамически обновляется системой в течение диалога

В ИОС разработчик определяет знания для конкретной предметной области и правила вывода, а не

- 13 -

последовательность обучения.

В настоящее время созданы интеллектуальные обучающие системы по различным областям математики. В С213 рассматриваются вопросы построения ИОС по математике и приводятся примеры таких систем.

Система BUGGY £323 предназначена для учителей. Она помогает учителям научиться диагностировать ошибки обучаемых при выполнении основных математических упражнений. Осуществляется поиск ошибок и даются объяснения причин ошибок. Этим объясняется название системы - BUGGY - от слова ("bug" - ошибка). Развитием BUGGY является система DEBUGGY [333.

Характерной системой интеллектуального преподавания является система GEOMETRY tutor [343. Обучаемый конструирует геометрическое доказательство Система наблюдает за его работой, сравнивая его действия с базой данных, содержащей как корректные, так и некорректные правила решения задачи, и вмешивается, когда обучаемый применяет некорректное правило.

В работе [353 рассматривается система QUADRATIC tutor для обучения решению квадратных уравнений. Система состоит из компоненты обучения и компоненты, использующей данные, полученные во время сеансов работы обучаемого. Обе компоненты выражаются правилами; стратегия обучения мозййт быть модифицирована.

Известны также системы LMS [363 для обучения решению задач по алгебре; WEST [333 - по арифметике; система [373 для обучения символьному интегрированию; система SEDAF [ 243 для анализа и построения графиков функций

определенного типа, система £383 для обучения решению задач в области тригонометрии и др.

В С 363 рассматриваются возникающие при разработке преподавания: большое число обучаемого (до 30-40%), систематичности ошибок и др.

некоторые проблемы, систем интеллектуального нераспознаваемых ошибок трудность определения ввиду того, что не все

системы обладают обучаемого.

способностью анализировать ответы

1.1.2. Использование компьютеров в обучении в качестве инструмента для решения математических задач

В ряде работ [39 - 403 предлагается организовывать для обучения математике так называемые математические лаборатории, получившие свое название по аналогии с физическими или химическими лабораториями. Под математическими лабораториями понимают аудиторию, оборудованную компьютерами, работая в которых обучаемые могут проводит математические эксперименты, использовать компьютер для решения своих задач и т. д. В математических лабораториях обучаемые могут работать самостоятельно или под руководством преподавателя, готовиться к зачетам и экзаменам, проводить научные исследования.

Одним из направлений в области создания ПО учебного назначения является разработка исследовательской среды по математике. Представляет интерес модель обучения "математика для всех" С 413, под которой понимается обучениеиспользованию возможностей математики для решения

практических задач. Получает распространение разработка микромиров, представляющих собой модели реального мира [42 - 443.

Весьма перспективной является программная поддержка математического эксперимента [45 - 493 и его визуализации [503. Использование математического эксперимента в обучении математике рассматривается в ряде работ [51 -523.

Графические возможности современных компьютеров, использование элементов мультипликации обеспечивают наглядное представление изображений [53 - 563. Современный графический интерфейс обеспечивает удобство работы [57 -593. Так, например, при работе с системой координат обучаемый может не вводить числовые значения координат, а указать нужную точку на экране с помощью курсора или устройства типа "мышь".

Для использования компьютера в качестве инструмента для поддержки курса могут быть использованы как мощные системы профессионального назначения например, Mathematica, MathCAD, СИМА-80 и др. [60 - 643, Eureka [653, так и системы, специально разработанные для учебных целей, например, "математический ассистент" Derive [663. Вопросы использования математических пакетов в высшей школе рассматриваются в [673.

Разрабатываются системы, выполняющие наряду с решением задачи специальные учебные функции, например, система MATHPERT [683 для изучения алгебры, тригонометрии и др. В отличие от систем MACSYMA, MAPPLE, Mathematica MATHPERT генерирует пошаговые решения. Есть два режима

работы. В режиме меню пользователь выбирает нужный оператор, в автоматическом режиме система по шагам генерирует "идеальное решение".

Компьютеры могут использоваться также для организации учебного процесса, например, для генерации вариантов заданий [69 - 703.

1.2. Программное обеспечение профессионального назначения для решения математических задач

Рассмотрим ПС профессионального назначения, которое используется в качестве инструмента для решения математических задач.

Одной из областей применения компьютеров в математике является решение численных задач путем написания программы на универсальном языке программирования, например, на языке Фортран, Бейсик, Паскаль, АЛЛ и др. С 71 - 723, в том числе с использованием библиотек программ. Современные библиотеки программ обладают специальными сервисными средствами, так, например, в библиотеке научно-технических расчетов "ИАЫВ-Э!" предусмотрена информационно-справочная система для быстрого поиска программы и получения информации о требуемых вычислительных ресурсах, постановке задачи и алгоритма; обращении к программе, тестовых задачах, глоссарий и др. Однако, даже при наличии удобных библиотек такой метод требует достаточно высокой квалификации в области программирования и большого количества времени на отладку программ.

- 17 -

Целесообразно разрабатывать ПО, позволяющее использовать компьютер как инструмент для решения профессиональных задач без необходимости детального изучения языка программирования.

Одним из примеров такого ПО являются электронные таблицы (spreadsheet programs), использование которых позволяет решать простые задачи по исследованию и обработке данных, построению графиков [713, моделированию [ 733 и т. п. Решение более сложных задач оказывается достаточно трудоемкой задачей.

Получают распространение системы, ориентированные на решение математических задач определенного класса (матричные операции, численное интегрирование, дифференцирование, вычисление специальных функций, решение систем нелийных алгебраических уравнений и т. п. ), не требующие специальной подготовки в области программирования. Некоторые из них например, ТК! Solver [723 и Eureka [743, позволяют выполнять необходимые действия непосредственно в интерактивном режиме. Другие системы, например, Asyst, Mathlab, Gauss [723, предоставляют пользователю возможность писать программы для решения задач на одном из специализированных языков. Имеются системы, позволяющие записывать математические выражения в форме, близкой к записи математических выражений, принятой в научной литературе, AUTOMATED PROGRAMMER [753.

Принципы разработки ПО для исследования

- 18 -

стохастических систем, рассмотрены в С 763.

Одним из направлений использования компьютеров при решении математических задач является моделирование математических рассуждений, включающее автоматизированное доказательство теорем, выполнение алгебраических преобразований (компьютерную алгебру) и др. [77 - 783.

Идеи использования компьютеров для преобразования алгебраических выражений появились довольно давно. Еще в 60-х годах начали разрабатываться программы, демонстрирующие возможность использования компьютеров за пределами чисто численных расчетов. Было показано, что на компьютер можно переложить трудоемкие алгебраические операции. При этом не только уменьшается время на их выполнение, но также исключается возможность возникновения ошибок, появляющихся при работе вручную [79 - 813.

Системы компьютерной алгебры MACSYMA [82 - 833, REDUCE, muMath, MathView, MAPLE [723, Scratchpad [843, SMP [853 и др. позволяют выполнять операции символьного дифференцирования, интегрирования, решения уравнений и т. п. При этом в некоторых системах непрофессиональным пользователям предоставляется помощь в работе. Так, например, в системе MACSYMA [823 компонента ADVISOR предназначена для оказания помощи неопытным пользователям. Некоторые системы выполняют, кроме алгебраических преобразований, и другие функции. Например, в Mathematica, MathCAD и др. включены также возможности применения численных методов решения задач, построения графиков функций и т. п.

- 19 -

В 70-х годах системы алгебраических преобразований разрабатывались на больших компьютерах и мини-ЭВМ. В настоящее время мощные, непростые в использовании программы символьной математики разрабатываются для персональных компьютеров. Например, для компьютера Macintosh разработаны такие системы, как Mathematiса 1.2, Maple 4.2, Theorist, Mi lo, PowerMath II 2.5, программы численного решения математических задач MathCad 2.0, MathLab 1.1, ТК Solver Plus 1.1, Eureka: The Solver, Math View Professional [863. Состояние работ в области компьютерной алгебры рассмотрено в [803, [853, [873.

Актуальным направлением является разработка генераторов программ для решения математических задач, например, [883.

Работы в области автоматизизадии доказательства теорем рассматриваются в главе 2.

Важной вехой в компьютеризации математических исследований стало применение экспертных систем, использующих знания экспертов в данной предметной области для оказания помощи в решении задач. Например, в [893 рассматривается экспертная система для консультирования в области статистики. Применение при разработке статистического математического обеспечения подхода, характерного для интеллектуальных систем, рассматривается в работе [903. В [913 описана экспертная система, моделирующая математического консультанта в инженерной деятельности.

При использовании компьютеров для решения математических задач возникает проблема ввода и вывода

информации в естественной форме, принятой в математической литературе. Задача ввода информации в естественной форме была поставлена и решена при разработке интерактивного пакета прикладных программ "Стс-анализ" [92 - 953. Многие системы, предназначенные для решения математических задач, обладают возможностью изображения математических выражений в естественной форме, например, система Mathematica

Для подготовки текстов, содержащих

математические выражения разрабатываются специальные текстовые редакторы (например, TeX, ChiWriter и другие) и компьютерные издательские системы (например, Ventura).

1.3. Инструментальные средства для разработки программных средств учебного назначения

Проблема вовлечения преподавателя в процесс создания ПО учебного назначения рассматривалась достаточно давно. В настоящее время этот вопрос приобретает особую актуальность в связи с созданием учебных заведений с различными учебными программами.

Обеспечение дружественного интерфейса в ПС, предназначенных для обучения, является весьма важным и ответственным моментом и представляет собой достаточно трудоемкую задачу. Известны различные способы ее решения.

Как отмечалось выше, ПО учебного назначения можно создавать с использованием универсальных языков программирования, например, Си, Паскаль и др., однако это требует разработки ПО квалифицированными специалистами в

- 21 -

области программирования С961.

Разработаны авторские языки [97 - 983, например, PILOT, TUTOR, DAL, язык АОС ВУЗ и др. , предназначенные для создания АОС. Они менее сложные, что позволяет успешно работать автору, не имеющему большого опыта в области программирования. Авторские языки обычно автоматически выполняют инициализацию системных переменных, таких как, счетчики корректных ответов, число попыток ответа на вопрос и т.п. Они обеспечивают также возможность создавать графические изображения и элементы мультипликации в интерактивном режиме с использованием графического редактора и редактора мультипликации, без необходимости написания программы. Опыт работы преподавателей с авторскими языками описан в С 993.

Авторские языки позволяют сократить время программирования. Однако ограниченность авторских языков снижает возможности создаваемого ПО. Кроме того, в ряде случаев программы, написанные на авторских языках, выполняются медленнее программ, написанных на универсальных языках программирования; для выполнения программы часто требуется существенная дополнительная память.

Разработаны авторские системы, позволяющие создавать АОС без программирования, например, система PLATO, TenCORE, CAS, AIS, TICCIT, Course of Action 197 - 983. Как правило, в таких системах автор отвечает на вопросы системы, выбирая желаемую стратегию обучения, форму задания вопросов, создания графических изображений и т.п. Авторские системы предоставляют возможности анализа

ответов обучаемого, создания файлов данных, генерирования отчетов о работе обучаемого и/ или группы и др. В результате взаимодействия с автором система генерирует код для данного урока. Некоторые авторские системы используют понятия шаблона ("template"). Созданные один раз, шаблоны могут быть использованы любое число раз в аналогичных уроках.

В [1003 даны рекомендации по разработке авторских систем. Они должны обеспечивать широкий выбор моделей взаимодействия обучаемого с программой; выбор стратегий комбинирования различных видов учебной деятельности; выбор структур организации предметной области; средства для определения параметров деятельности обучаемого; различные уровни интерфейса, в том числе шаблоны, меню выбора раздела, создание шаблона; руководство по выбору целей, структур содержимого, стратегий деятельности обучаемого; многоуровневую систему помощи и др.

Недостатками авторских систем является однообразие создаваемых уроков и сравнительно небольшие возможности применения сложных стратегий обучения.

По мере развития машинной графики появляются ИС, позволяющие создавать ПО с использованием графических возможностей. Примером таких является система "Репетиционный мир" [1013, в которой расширено понятие объектов, принятое в языке Smalltalk. Вводится понятие "театр". Разработчик создает программу, наблюдая за действиями "актеров".

В связи с распространением гипертектовой и мультимедиа технологии разрабатываются ИС для создания ПО

учебного назначения на базе этой технологии- Так, например, в [1023 описана система MUMEDALA (MUlti-MEDia Authoring LAnguage), предназначенная для создания ПО типа мультимедиа Вводится понятие фрейма. Рассматриваются фреймы различных типов: экран, видео и слайд. Система позволяет автору создавать фреймы, уроки и т. п. Автор определяет свои действия с использованием специального языка Однако интерфейс автора с системой недостаточно дружественный, что не позволяет эффективно работать пользователю-непрофессионалу.

В [1033 описана система IDE (the Instructional Design Environment) - IDE - гипермедиа-среда для разработчиков учебного ПО, функционирующая на Xerox Lisp Machine workstations. Вводится понятие "notecard" - электронная записная книжка, содержащая различные типы информации (текст, эскиз, фрагмент видео и т.п.), которые могут быть связаны друг с другом с помощью связей (links). IDE предоставляет собой набор инструментов для анализа и обработки информации, таких как работа с сетью записных книжек, работа с лазерным диском, поиск карт и др. IDE предназначена, в основном, для опытных разработчиков.

В работе [1043 описан мультимедиа редактор.

Авторские средства для создания интеллектуальных обучающи систем рассматриваются в [105 - 1073.

В ряде работ предлагается создание интеллектуальных авторских систем [1083. Так, например, в [1093 предлагается авторская система с элементами искусственного интеллекта, моделирующая роль посредниика между преподавателем и программистом. Выделяются различные типы

Список литературы диссертационного исследования кандидат наук Марьясина, Татьяна Давидовна, 1993 год

ЛИТЕРАТУРА

1. Пугачев Е С., Гришин Е И. , Латышев Е Л Опыт создания обучающих курсов // Информатика и компьютерная грамотность. М.: Наука, 1988. С. 187-200.

2. Синицын И. Н , Задман И. М. , Чередниченко А. А. , Шин К И. Использование ПЭВМ для обучения вероятностно-статистическим дисциплинам // Информатика и компьютерная грамотность. М.: Наука, 1988. С. 216-223.

3. Горбатов К А., Торхов Е Л Инструментальный комплекс программных средств поддержки ВУЗовского курса по дискретной математике // Материалы IV Всесоюзного семинара "Разработка и применение программных средств ПЭВМ в учебном процессе". Симферополь, 26-30 сентября 1988г. М.: ИПИАН, 1988. С. 218-220.

4. Богданова Т. Г., Орлов В. Е Автоматизированная контрольно-обучающая система проведения лабораторных работ по методам вычислений // Вычислительная техника в учебном процессе. - Тезисы докладов научно-практической конференции. Шнек, 23 - 24 сентября 1986 г. - Шнек, 1986. С. 22-23.

5. Календарева Е Е. , Михеев Ю. Е , Трепаков С. Е Компьютерный курс математики для 7-10 классов //Международный коллоквиум "Новые информационные технологии". Доклады. Москва, 8-10 окт. , 1991. С. 318-

6. Егорышева О. а , Кулешова Г. Л. ПЭВМ и перспективные формы обучения в математике // Системы и средства информатики. Вып. 2. ML: Наука, 1992. С. 212-223.

7. Twaarden J. L. Van. The computer as a teaching tool in ordinary different equations // Computers and Mathematics Applications. 1987. Vol. 14, N 1. P. 25-32.

8. Lewis M. W., Mc Arthur D. , Bishay M. , Choi J. Object-Oriented microworlds for learning mathematics through inquiry: preliminary results and directions // East-West Conference on Emerging Computer Technologies in Education, 6-9 April 1992, Moscow, Russia Conference Proceedings / Eds. P. Brusilovsky, V. Stefanuk. International Centre for Scientific and Technical Information, 1992. Moscow. Russia P. 199-204.

9. Lindstrom B. , Ekebled E. , Neuman D. Using the Computer to Promote Conceptual Change. The Case Elementary Arithmetics // Education 8t Computing. 1987. Vol. 3, N 3,4. p. 223 - 230.

10. Ершов A. E Окольная информатика в СССР: от грамотности - к культуре // Информатика и компьютерная грамотность. М. : Наука, 1988. С. 6-23.

11. Брусенцов R IL , Брусенцова Т. Е Персональный компьютер как средство обучения // Индивидуальные диалоговые системы на базе микро-ЭВМ (персональные компьютеры). ДИАЛОГ-84-МИКРО: Тез. докл. Всесоюз. конф. , 19-22 нояб. 1984 г. Л. , 1984. С. 19-22.

12. Первин Ю. А. Технология проектирования и методика использования контрольно-обучающих пакетов прикладных

- 113 -

программ // Автоматизированные рабочие места интеллектуальной деятельности. Новосибирск, 1985. С. 49-57.

13. Филинов Е. Н., Христочевский С. А. Использование средств вычислительной техники в образовании // Информатика и компьютерная грамотность. М.: Наука, 1988. С. 23-28.

14. Цевенков Ю, М. , Семенова Е. Ю. Эффективность компьютерного обучения. М. , 1991. 84 с. (Новые информационные технологии в образовании: Обзор, информ.) / НИИВО. Вып. 6.

15. Разумовская Е Е Специфические особенности основных направлений развития учебного программного обеспечения (для курсов естественно-математическиго цикла) // Методические рекомендации по созданию и использованию педагогических программных средств (сборник статей). - М., 1991. С. 25-36.

16. Кушниренко А. Г. Сквозная компьютеризация учебного процесса в техническом ВУЗе // Применение ЭВМ в научных исследованиях и управлении: Опыт использования АСНИ и АСУ в обучении: Межвуз. сб. науч. тр. / Под ред. О. М. Петрова. М.: ВЗМИ, 1986. С. 3-5.

17. Афанасьев Е Н. , Каймин Е А. , Щеголев А. Г. Компьютерная технология обучения в средних школах и ВУЗах // Технология компьютерного обучения: Межвуз. сб. науч. тр. Воронеж: ВПИ, 1988. С. 63-65.

18. Компьютеры в образовании / Кондрзк М., Кассак Ж. , Мир ПК. 1992. N 9. С. 98-106.

19. Thompson N. Computers, curriculum and the

- 114 -

learning environment // Computers & Education. 1991. Vol. 6, N 1. P. 1-5.

20. Диалоговые системы. Современное состояние и перспективы развиития / Довгялло А. М. , Брановидкий Е М. , Вершинин К П. и др. Киев: Наук, думка, 1987. 248 с.

21. Nwana N. , Coxhead P. Towards an intelligent tutor for a complex mathematical domain // Expert systems. 1988. Vol. 5, N 4. P. 290-300.

22. Nwana N. S. Intelligent Tutoring Systems: an overview // Artificial Intelligence Review. 1990. Vol. 4, N 4. P. 251-277.

23. Self J. Theoretical foundatiions for Intelligent Tutoring Systems // Journal of Artificial Intelligence in Education. 1990. Vol. 1, N 4. P. 3-14.

24. Aiello L. , Micarelli A. SEDAF: an intelligent educational system for mathematics // Applied Artificial Intelligence. 1990. 4. P. 15-36.

25. Crowder N. A. Automatic tutoring by means of intrinsic programming // Automatic Teaching: the State of the Art/ Ed. E. Gal enter. New York: Wiley, 1959. P. 109-116.

26. Савельев А. Я , Новиков В. A. , Лобанов Ю. К Подготовка информации для автоматизированных обучающих систем: Методическое пособие для преподавателей и студентов вузов / Под. ред. А. Я Савельева М.: Высш. шк. 1986. 176 с.

27. Sleeman D., Brown J. S. Introduction: Intelligent Tutoring Systems // Intelligent Tutoring Systems / Eds. D. Sleeman, J. S. Brown J. S. London: Academic Press, 1982. P. 1 - 11.

- 115 -

28. Bumbaca F. Intelligent computer-assisted instruction: a theoretical framework // International Journal of Man-Machine Studies. 1988. Vol. 29, N 3. P. 227-255«

29. Webb GL I. A knowledge-based approach to computer-aided learning // International Journal of Man-Machine Studies. 1988. Vol. 29, N 3. P. 257-285.

30. Петрушин R A. , Синица E. M. Экспертно-обучающая система // Материалы IV Всесоюзного семинара "Разработка и применение программных средств ПЭВМ в учебном процессе". Симферополь, 26-30 сентября 1988 г.. М.: ИПИАН, 1988. С. 359-362.

31. Petrushin V. А., Ibragimov 0. U. Expert-Tutoring Systems: concept and examples // Third International Conference "Children in the information age. Human development and emerging technologies". Preprints. Sofia, Bulgaria. 20 - 23 May, 1989. National Palace of Culture. Vol. 2. P. 350-361.

32. Brown J. S. , Burton R. E. Diagnostic models for procedural bugs in basic mathematics skills // Cognitive Science. 1978. 2. P. 155-192.

33. Burton R. Diagnosing bugs in a simple procedural skills // Intelligent Tutoring Systems / Eds. D. Sleeman, J. S. Brown. London: Academic Press. 1982. P. 157-183.

34. Anderson J. R. , Boyle C. F., Yost G. The geometry tutor // Proceedings of the Ninth International Joint Conference on Artificial Intelligence. IJCAI-85. Los Angeles: CA, 1985. Vol. 1. P. 1-7.

- 116 -

35. 0'Shea Т. A self-improving quadratic tutor // Intelligent Tutoring Systems / Eds. D. Sleeman, j.S. Brown. London: Academic Press. 1982. P. 309-336.

36. Sleeman D. H. , Smith M. j. Modelling Students' Problem Solving // Artificial Intelligence. 1981. Vol. 16. P. 171-188.

37. Kimball R. A. A self-improving tutor for symbolic integration // Intelligent Tutoring Systems / Eds. D. Sleeman, j. S. Brown. London: Academic Press. 1982. P. 283-307.

38. Rajan P., Patil P., Anjaneyuli K. S. R. , Srinivas P. The trigonometry tutor // Knowledge-Based Computer Systems / Eds. S. Ramari, R. Chandrasekar, K. S. R. Anjaneyuli. Int. Conf. KBCS'89. Bombay, India, Dec. 1989, Proc. Springer-Verlag. P. 155-166.

39. Breuer S. , Gal-Ezer J. , Zwas G. Microcomputer laboratories in mathematics education // Computers Math. Appl. 1990. Vol. 19, N 3. P. 13-34.

40. Leinbach L. C. Computer algebra and the microcomputer // Computers Math. Appl. 1990. Vol. 19, N 3. P. 43-51.

41. Willibald D. Mathematics for all and the computer // Third International Conference "Children in the information age. Human development and emerging technologies". Preprints. Sofia, Bulgaria, 20 - 23 May, 1989. National Palace of Culture. Vol. 1. P. 176-187.

42. Пейперт С. Переворот в сознании: Дети, компьютеры и плодотворные идеи: Пер. с англ. М.: Педагогика, 1989. 224 с.

- 117 -

43. Thompson P. W. Mathematical mi его vor Ids and Intelligent Computer-Assisted Instruction // Application and Methods / Ed. a Kearsley. Addison-Wesley, 1987. P. 83-109.

44. Lawler B. Designing computer-based microworlds // New Horizons in Educational Computing / Ed. M. Yazdani. Ellis Horwood Limited, 1984. P. 40-53.

45. Шкет прикладных программ "СтС-фильтр" (версия 1). Принципы разработки интеллектуализированных пакетов прикладных программ для построения условно оптимальных фильтров / Под ред. Пугачева В. С., Синицына И. Е Препринт. ИПИАН. М.: 1991. 80 с.

46. Бажанов Е Е Вычислительный эксперимент как форма компьютерного обучения // Компьютерная технология в учебном процессе высшей школы: Региональная научно-методическая конференция вузов Урала и Сибири (7 -9 февраля 1989 г.). Секции: "Учебно-лабораторное оборудование на базе ЭВМ", "Самостоятельная работа студентов и ЭВМ". Тезисы докладов. Челябинск: ЧПИ, 1989. С. 170-171.

47. Бухарин С. Е Обучение постановке компьютерного эксперимента // Технология компьютерного обучения: Межвуз. сб. науч. тр. Воронеж: ВПИ. 1988. С. 148-150.

48. Бузин А. Е , Поспелов И. Г. Графический редактор IBM/PC для обработки результатов имитационного эксперимента №: ВЦ АН СССР, 1989. 50 с.

49. Черемных С. Е , Гиглавый А. Е , Поляк Ю. Е. От микро-- процессоров к персональной ЭВМ. М.: Радио и связь, 1988. 288 с.

- 118 -

50. Авербух В. А., . Игумнов А. С. , Соловьева Л. А. К разработке системы визуализации моделей // Программирование. 1992. N 2. С. 87-92.

51. Миронова Л. П. Компьютер на уроке математики. Материалы IV Всесоюзного семинара "Разработка и применение программных средств ЭВМ в учебном процессе". Симферополь, 26 - 30 сентября 1988 г.. М.: ИПИАН, 1988. С. 273-275.

52. Раджапов К. А., Федоров Л. И. , Шадрин Г. А. Программная поддержка демонстрационного эксперимента в курсах математических дисциплин. Материалы IV Всесоюзного семинара "Разработка и применение программных средств ЭВМ в учебном процессе". Симферополь, 26-30 сентября 1988 г. М.: ИПИАН. С. 300-302.

53. Марьясина Т. Д. Графические возможности учебных ПЭВМ // Информатика и компьютерная грамотность. М.: Наука, 1988. С. 123-126.

54. Костерин К К Применение компьютерной мультипликации в учебном процессе // Компьютерная технология в учебном процессе высшей школы: Региональная научно-методическая конференция вузов Урала и Сибири (7 -9 февраля 1989 г.). Секции: "Учебно-лабораторное оборудование на базе ЭВМ", "Самостоятельная работа студентов и ЭВМ". Тезисы докладов. Челябинск: ЧПИ, 1989. С. 29-30.

55. Роберт И. , Якобсон Л Возможности использования обучающей программно-методической системы "многогранники" при изучении стереометрии. // Методические рекомендации по созданию и использованию педагогических программных средств (сборник статей). М. , 1991. С. 25-36.

- 119 -

56. Михайлова Е Е , Хусаинов А. А. Использование машинной графики в преподавании математического анализа // Материалы IV Всесоюзного семинара "Разработка и применение программных средств ПЭВМ в учебном процессе". Симферополь, 26-30 сентября 1988 г. М.: ИПИАН, 1988. С. 275-227.

57. Ко уте Р., Влейминк И. Интерфейс "человек-компьютер". М.: Мир, 1990. 501 с.

58. Проектирование пользовательского интерфейса на персональных компьютерах. Стандарт фирмы IBM. Под редакцией М. Дадашова DBS LTD, 1992. 186 с.

59. Марьясина Т. Д. Графический интерфейс в задачах школьной информатики // Вопросы применения средств СМ ЭВМ в системах и сетях. М.: ИНЭУМ, 1988. С. 49-52.

60. Mathews J. Using conputer symbolic algebra in applied engineering mathematics to teach fourier series // CoED. 1990. Vol. 10, N 1. P. 47-52.

61. VanLuchene R. D. MATHLAB: a tool for teaching matrix structural theory // CoED. 1990. Vol. 9, N 1. P. 46-51.

62. Mathews J. Using a computer algebra system to teach second order differential equations // CoED. 1990. Vol. 9, N 4. P. 7-10.

63. Шкет прикладных программ "Символьная математика" СИМА-80. Методические материалы по пакетам прикладным программ, Вып. 49, Международный центр научной и технической информации. Международный научно-исследовательский институт проблем управления, 1988. 87 с.

- 120 -

64. Гиглавый A. R , Егорышева О. Е , ' Кулешова Г. JL Разработка прикладных программных средств для автоматизации символьных преобразований в учебном процессе // ЭВМ массового применения. М. : Наука, 1987. С. 88-93.

65. Талапин R С. Об использовании прикладных математических пакетов в учебном процессе // Материалы VI Всесоюзного семинара "Разработка и применение программных средств IBBM в учебном процессе". Тезисы докладов. М. : ИПИАН, 1991. Кн. 2. С. 168.

66. Rich А. , Rich J. , Stoutmyer D. Dérivé, a mathematical assistant, ver. 1.22. - Soft Warehouse, 1988.

67. Лозинский JL Д. Математические пакеты в высшей школе // Мир ПК. 1992. N 9. С. 88-90, 92-97.

68. Beeson M. J. MATHPERT : a computerized learning environment for algebra, trigonometry, and calculus // Journal of Artificial Intelligence in Education. 1990. Vol. 1, N 4. P. 65-76.

69. Ускова О. Ф. Генерация заданий и интерфейс преподавателя // // Материалы VI Всесоюзного семинара "Разработка и применение программных средств ПЭВМ в учебном процессе". Тезисы докладов. М. : ИПИАН, 1991. Кн. 1. С. 71-72.

70. Бондаренко А. А., Иванов К. А. Компьютерная поддержка практических занятий по математике // Материалы международной конференции "Применение новых компьютерных технологий в образовании", 24 - 26 июня 1992 г. Троицк. Центр информатики Троицкого института инновационных и термоядерных исследований, 1992. С. 32-33.

71. Bush Е. , Burshka Е and etc. Software for problem

- 121 -

solving // PC Magazine. 1987. Vol. 6, N 7. P. 155-159, 162, 164, 166-168, 173-174, 177-178.

72. Wasserman A. L., Eckhouse R. H. Mathematical-oriented programming // Computer. 1988. Vol.21, N 6. P. 89-95.

73. Хасеел Д. Демонстрация моделирования с электронными таблицами // Компьютерное моделирование в системе образования. Тезисы докладов международного коллоквиума по проблемам компьютерного моделирования в системе образования. 19-23 ноября 1990 г. Москва М., 1991. С. 67-68.

74. Интегрированная система Eureka / Г. Г. Кузина, С. R Горин, С. R Кравченко, R Д. Репин. Изд-во МГТУ, 1991. 32 с.

75. Grossman F. , Klerer R. J. , Klerer M. A language for high-level programming of mathematical applications // Int. Conf. Comput Language, Manu Beadth, Fla , Oct. 9 -13, 1988. Proc. Washington (DC), 1988. P. 31-40.

76. Пугачев R С. , Синицын И. H. , Зацман И. М., Карпенко A. R , Чередниченко А. А., Шин R И. Принципы разработки программного обеспечения для исследования стохостических систем // Системы и средства информатики. Вып. 1. М.: Наука, 1989. С. 111-125.

77. Bundy A. The computer modelling of mathematical reasoning. Academic Press, 1983. XIV, 322 p.

78. Bundy A. Discovery and reasoning in mathematics // International Joint Conference on Artificial Intelligence, 1985, 9, Los Angeles, Cal. IGCAI-85. Proceedings of the Ninth International Joint Conference

- 122 -

on Artificial Intelligence, 1985. Vol. 2. P. 1221-1230.

79. Дзвенпорт Дж., Сирэ И. , Турнье Э. Компьютерная алгебра: Пер. с франц. Е: Мир, 1991. 352 с.

80. Бухбергер Б. и др. Компьютерная алгебра: Символьные и алгебраические вычисления: пер. с англ. / Под ред. Б. Бухбергера, Дж. Коллинза, Р. Лооса. М.: Мир, 1986. 392 с.

81. Климов ДМ., Руденко RE Методы компьютерной алгебры в задачах механики. Е: Наука, 1989. 215 с.

82. Уотерман Д Руководство по экспертным системам: Пер. с англ. Е: Мир, 1989. 388 с.

83. Белая И. А. , Егорышева О. Н. , Кулешова Г. JL Программное обеспечение зарубежных систем учебной информатики / Под обшэй редакцией Г. JL Кулешовой. Препринт. Е: ИПИАН, 1989. 31 с.

84. Jenks R. D. , Sutor R. S. , Watt S. M. Scratchpad II: An abstract database system for mathematical computation // Math. Aspects Sci. Software. New York, 1988. P. 157-182.

85. Steinberg S. Overview of Mathematical Symbol Manipulation // CWT Quart erly. 1988. Vol. 1, N 3. P. 65-71.

86. Сейнер Ч. Математика без слез // Мир Ж 1990. N 2. С. 23-25, 26-31.

87. Саймон R Символическая математика: новые времена -новые формы // PC Magazine. 1992. N 5-6. С. 29-43.

88. Доступов RГ. , Колобов RГ., Черныш ЕЕ Об одном варианте проблемно-ориентированной системы программирования для решения математических уравнений // Системы и средства информатики. Вып. 1. Е: Наука, 1989.

С. 162-166,

89. Jamison W. , Metzler D. An expert system for statistical consulting / ASIS'85: Proc. 48th ASIS Annu. , Meet. , Las. Yegas, Oct. 20 - 24, 1985. Vol. 22. White Plains, N. Y. , 1985. P. 293-296.

90. Haas D. F. , Metzler D. Intelligent systems approaches to statistical software / ASIS'85: Proc. 48th ASIS Annu. , Meet. , Las. Yegas, Oct. 20 - 24, 1985. Vol. 22. White Plains, N. Y. , 1985. P. 342-347.

91. Wong K. -F. V. , Aziz A. R. A. A mathematics consultant for engineering undergraduates // CoED. 1990. Vol. 10, N 4. P. 31-37.

92. Пугачев R С., Синицын И. R (ред.) Принципы разработки диалоговых пакетов прикладных программ для исследования линейных и нелинейных стохастических дифференциальных систем. Пакет прикладных программ "СтС-анализ" (версия 1) / Карпенко А. R, Петрова M.R, Синицын R И., Чередниченко А. А., Шин R И. Препринт. М.: ИПИАН, 1989. 51 с.

93. Пугачев R С. , Синицын И. R (ред.) Принципы разработки диалоговых пакетов прикладных программ для исследования дискретных стохастических систем систем. Пакет прикладных программ "СтС-анализ" (версия 2) / Карпенко A. R , Маишева Е. Е , Огнева О. С. , Синицын R И. , Хатунцев А. П., Чередниченко А. А., Шин R И. Препринт. М.: ШЗИАН, 1990. 71 с.

94. Пугачев R С., Синицын И. R , Зацман й. М., Карпенко A. R , Чередниченко А. А. , Шин R И. Принципы разработки программного обеспечения для исследования стохастических

- 124 -

систем // Системы и средства информатики. Вып. 1. М.: Наука, 1989. С. 111-125.

95. Пугачев В. С. , Синицын И. R , Чередниченко А. А. , Шин В. И. , Синицын В. И. Математическое обеспечение для анализа многомерных нелинейных стохастических систем // Автоматика и телемеханика 1991. N 1. С. 87-97.

96. Агамирова Р. С. , Егорышева О. Е , Кулешова Г. JL , Кочкурова И. В. , Марьясина Т. Д. , Январева О. А. Инструментальные средства для конструирования программных средств учебного назначения (обзор). М.: ЙПИАН, 1990. 43 с.

97. Kearsley G. Authoring Systems in Computer Based Education // Communications of the ACM. 1982. Vol. 25, N 7. P. 429-437.

98. McDermott К. H. CBI Authoring tools in postsecondary institutions: a review and critical examination // Computers and Education. 1990. Vol. 14, N 3. P. 197-204.

99. Harris C. S. Perceived difficulties in learning an authoring language system // Computers in Education / Eds. Duncan K. , Harris D.. Proceedings of the IFIP TC 3, 4th World Conference on Computers in Education - WCCE 85, Norfolk, VA, USA. July 29, August 2, Elsevier, 1985. P. 173-176.

100. Merill ED. Prescriptions for an authoring system // Journal of Computer-Based Intsruction. 1987. Vol. 14, N 1. P. 1-10.

101. Finzer W., Gould L. Programming by rehearsal // BYTE. 1984. Vol. 9, N 6. P. 187-210.

102. Barker P. G. MJMEDALA - an Approach to

- 125 -

Multi-media authoring // Computers in Education / Eds. K. Duncan, D. Harris. Proceedings of the IFIP TC 3, 4th World Conference on Computers in Education - WCCE 85, Norfolk, VA, USA. July 29 - August 2, Elsevier, 1985. P. 165-172.

103. Russell D. M. , Burton R. R. , Jordan D. S. , Jensen A. M., Rogers R. A., Cohen J. R. Creating instruction with IDE: tools for instructional designers // Intelligent Tutoring Media 1990. Vol. 1, N 1. P. 3-15.

104. Piech M. , Morris T. A multimedia editor // East-West Conference on Emerging Computer Technologies in Education, 6-9 April 1992, Moscow, Russia Conference Proceedings / Eds. P. Brusilovsky, V. Stefanuk. International Centre for Scientific and Technical Information, 1992. Moscow. Russia P. 257-262.

105. Petrushin V. A. , An authoring language for intelligent tutoring systems implementation // East-West Conference on Emerging Computer Technologies in Education, 6-9 April 1992, Moscow, Russia Conference Proceedings / Eds. P. Brusilovsky, V. Stefanuk. International Centre for Scientific and Technical Information, 1992. Moscow. Russia P. 249-255.

106. Ahmed-Ouamer R. , Prevot P. Authoring tools for improving educational software // East-West Conference on Emerging Computer Technologies in Education, 6-9 April 1992, iubscow, Russia Conference Proceedings / Eds. P. Brusilovsky, V. Stefanuk. International Centre for Scientific and Technical Information, 1992. Moscow. Russia P. 3-7.

107. Begg I. ML, Hogg I. Authoring systems for ICAI //

- 126 -

Artificial Intelligence and Instruction. Application and methods / Ed. G. Kearsley. Addison-Wesley, 1987. P. 323-346.

108. Allen M. , Szabo № Dimensions of authoring aids intelligence // Computer Assisted Learning / Eds. D. H. Norril, H. W. Six. 3rd Int. Conference ICCAL'90, Hagen, FRG, June 11 - 13, 1990. Berlin. West Germany. Proceedings. (Lecture Notes in Computer Science, N 438). Springer-Verlag, 1990. P. 327-356.

109. Ni col son R. J. , Scott P. J., Gardner P. H. The intelligent authoring of computer assisted learning software // Expert Systems. 1988. Vol. 5, N 4. P. 302-314.

110. Vazquez-Abad J., LaFleur M. Design of a performance-responsive drill and practice algorithm for computer-based training // Computers and Education. 1990. Vol. 14, N 1. P. 43-52.

111. Fry D. J. The database format question: an alternative to multiple choice and free format for computer based testing // Computers and Education. 1990. Vol. 14, N 5. P. 395-401.

112. Воробьев А. Ю. , Касвин Г. В. Иструментальное средство создания обучающих программ // Материалы VI Всесоюзного семинара "Разработка и применение программных средств ПЭВМ в учебном процессе". Тезисы докладов. Кн. 1. М.: ЙПИАН, 1991. С. 60-61.

113. Федосеев А. А. Инструментальное средство для конструирования моделирующих программ // Компьютерное моделирование в системе образования. Тезисы докладов международного коллоквиума по проблемам компьютерного

- 127 -

моделирования в системе образования. 19-23 ноября 1990 г. Москва М. , 1991. С. 92-95.

114. Lewis W. М. , Milson R., Anderson J. R. The TEACHER'S APPRENTICE: Designing an Intelligent authoring System for High School Mathematics // Artificial Intelligence and Instruction. Application and Methods / Ed. G. Kearsley. Addison-Wesley, 1987. P. 269-301.

115. Тютиков E С. Один подход к представлению знаний курса математического анализа на ЭВМ // Программирование.

1988. N 2. С. 62-68.

116. Myers В. A. User-Interface Tools: Introduction and Survey // IEEE Software. 1989. Vol. 6, N 1. P. 15-25.

117. Koivunen M. -R. , Mantyla M. Hut Windows: An Improved Architecture for a User Interface Management System // IEEE Computer Graphics and Applicatitons. 1988. Vol. 8, N 1. P. 43-52.

118. Linton M.A., Vlissides J.M. Calder P. R. Composing User Interfaces with Inter Views // Computer.

1989. Vol. 22, N 2. P. 8-22.

119. Coutaz J. The Construction of User Interfaces and the Object Paradigm // ECCOP'87 European Conference on Object-Oriented Programming / Eds. J. Bezivin, J.-M. Hullot, P. Cointe, H. Lieberman. Paris, France, June 15 -17, 1987, Proceedings. (Lecture Notes in Computer Science, N 276 / Ed. a Goos, J. Hartmanis). Springer-Verlag, 1987. P. 121-129.

120. Easterby R. Trillium: an interface design prototyping tool // Information and Software Technology. 1987. Vol. 29, N 4. P. 207-213.

- 128 -

121. Myers В. A. and etc. Garnet. Comprehensive support for graphical, highly interactive user interface // Computer. 1990. Vol. 23, N 11. P. 71-85.

122. Scheifler R. W. , Gettys J. The X Window System // ACM Transaction Graphics. 1986. Vol. 5, N 2. P. 79-109.

123. Barth P. S. An Object-Oriented Approach to Graphical Interfaces // ACM Transaction Graphics. 1986. Vol. 5, N 2. P. 142-172.

124. Szekely P., Myers B. A User-Interface Toolkit Based on Graphical Objects and Constraints // SIGPLAN Notices. 1988. N 11. P. 36-45.

125. Pugh R. P. , Leung C. Application Frameworks: Experience with MacApp // SIGSCE Bulletin. 1988. Vol. 20, N 1. P. 142-175.

126. Schmucker K. MacApp: An Application Framework // BYTE. 1986. Vol. 11, N 8. P. 189-193.

127. Lieberman H. There's More to Menu Systems than Meets the Screen // Computer Graphics. 1985. Vol. 19, N 3. P. 181-189.

128. Kilgour A. Theory and practice in user interface management systems // Informatics and Software Technology. 1987. Vol. 29, N 4. P. 171-175.

129. Иванов A. R , Терехова R П. Редактор национальных алфавитов "LENA" (версия 1.0) // Материалы VI Всесоюзного семинара "Разработка и применение программных средств ПЭВМ в учебном процессе". Тезисы докладов. Кн. 1. М.: ИПИАН, 1991. С. 156-157.

130. Латышева И. А. Инструментальная система создания прикладных программ учебного применения при работе с

- 129 -

профессиональными ППП // Материалы VI Всесоюзного семинара "Разработка и применение программных

средств ПЭВМ в учебном процессе". Тезисы докладов. Кн. 1. М.: ЙПИАН, 1991. С. 141-142.

131. Марьясина Т. Д. Автоматизированное обучение пользователей систем программирования с применением интерпретирующих моделей // Управляющие системы и машины. 1984. N 5. С. 84-86.

132. Марьясина Т. Д. Способы построения внутренних представлений задач при обучении пользователей систем программирования. Деп. ОНИ ВШ 25.11.83, N 627-83. 23 с.

133. Марьясина Т. Д. Автоматизированное обучение обучение пользователей контекстного текстового редактора. Деп. ОНИ ВШ 27.01.84, N 168-84. 35 с.

134. Марьясина Т. Д. Персональный автоматизированный консультант по математике // Материалы VI Всесоюзного семинара "Разработка и применение программных средств ПЭВМ в учебном процессе". Тезисы докладов. Кн. 2. М.: ИПИАН, 1991. С. 210-211.

135. Марьясина Т.Д. Программная поддержка преподавания математических дисциплин. Деп. ВИНИТИ 19.10.92, N 3004 - В92. 14 с.

136. Ру D. MENTONIEZH: An Intelligent Tutoring System in geometry // Artificial Intelligence and Education. Proc. 4th Int. Conf. AI and Educ. , Amsterdam, 24 - 26 May, 1989. Amsterdam, 1989. P. 202-209.

137. Py D. MENTONIEZH: A Geometry ITS fo figure Drawing and Proof Setting // Journal of Artificial Intelligence in Education. 1990. Vol.1, N 3. P. 41-55.

- 130 -

138. Dafa L. Intelligent CA I Course in the First-Order Logic // Computer Assisted Learning. 3rd International Conference, IJCAI' 90, Hagen, FRG, June 11-13, Berlin, West Germany, (Lecture Notes in Computer Science, N 438 / Eds. D.H. Norrie, H.-W. Six). Springer-Verlag. P. 67-72.

139. Андерсон Дж. P., Рейзер Б. Дж. Учитель Лиспа. // Реальность и прогнозы искусственного интеллекта. М.: Мир, 1987. С. 27-47.

140. Herbrand J. Research in the theory of demonstration // From Frege to Goedal: a source book in Mathematical Logic, 1879 - 1931 / Ed. van Heijenoort J. Harvard Univ. Press: Cambridge. Mass, 1930. P. 528- 581.

141. Кодряну И. Г. ЭВМ и математика Гносеологические и методологические проблемы. Кишинев: Шгиинца, 1984. 164 с.

142. Newell A., Shaw J.С., Simon H.A. Empirical explorations of the logic theory machine: a case of heuristics // Computer and Thought / Eds. Feigenbaum and Feldman. McGraW Hill, 1963. P. 134-152.

143. Gelernter H. et all. Empirical explorations of the Geometry theorem-proving machine // Computer and Thought / Eds. Feigenbaum and Feldman. McGraW Hill, 1963. P. 153-163.

144. Gelernter H. Realization of a Geometry theorem-proving // Computer and Thought / Eds. Feigenbaum and Feldman. McGraW Hill, 1963. P. 134-152.

145. Bledsoe W. W. Non-resolut ion theorem proving // Artificial Intelligence. 1977. Vol. 9, N 1. P. 1-35.

- 131 -

146. Robinson J. A. A machine oriented logic based on the resolution principle // J. ACM 1965. 12. P. 23-41.

147. Stickel M. E. Resolution theorem proving // Annual. Review Of Computer Science. 1988. Vol. 3. P. 285-316.

148. Чень 4., Ли P. Математическая логика и автоматическое доказательство теорем: Пер. с англ. М.: Наука, 1983. 360 с.

149. Элти Дж., Кумбс М. Экспертные системы: концепции и примеры. / Пер с англ. и предисл. Б. М. Шитикова М.: Финансы и статистика, 1987. 181 с.

150. Хант Э. Искусственный интеллект: Пер. с англ. М.: Мир, 1978. 558 с.

151. Pastre D. MUSCADET: An Automatic Theorem Proving System Using Knowledge and Metaknowledge in Mathematics // Artificial Intelligence. 1989. Vol. 38, N 3. P. 257-318.

152. Bledsoe W. W. Spliting and reduction heuristics in automatic theorem proving // Artificial Intelligence. 1971. Vol. 2. P. 55-77.

153. Pastre D. Automatic theorem proving in set theory // Artificial Intelligence. 1978. Vol. 10, N 1. P. 1-27.

154. Экспертные системы для персональных компьютеров: методы, средства, реализации: Справ, пособие / Крисевич В. С. , Кузьмин Л. А. , Шиф А. М. и др. Мн.: Выш. шк. , 1990. 197 с.

155. Построение экспертных систем. Пер. с англ. / Под ред. Ф. Хейеса-Рота, Д. Уотермана, Д. Лената. М.: Мир, 1987. 441 с.

- 132 -

156. Стикл М. Пролог и автоматическое доказательство теорем // Язык Пролог в пятом поколении ЭВМ. Сб. статей 1983 - 1986 гг. М.: Мир, 1988. С. 395-412.

157. Оливейра Э. Логическое программирование как средство разработки экспертных систем // Язык Пролог в пятом поколении ЭВМ. Сб. статей 1983 - 1986 гг. М.: Мир, 1988. С. 481-492.

158. Schildt Н. Artificial intelligence using С. McGraw-Hill, 1987. 1-XIV, 405 p.

159. Schwartz T. J. Embedding AI in conventional systems // The Spang Robonson Report on Artificial Intelligence. 1987. Vol. 3, N 12. P. 5-8.

160. Сойер Б. , Фостер Д. JL Программирование экспертных систем на Паскале. М.: Финансы и статистика, 1990. 191 с.

161. Кокс Ф. Как мы строим систему "Микро-эксперт" // Экспертные системы: Принципы работы и примеры. М.: Радио и связь, 1987. С. 103-124.

162. Нейлор К. Как построить свою экспертную систему: Пер. с. англ. М.: Энергоатомиздат, 1991. 286 с.

163. Таунсенд К , Форт Д. Проектирование и программная реализация экспертных систем на персональных ЭВМ: Пер. с англ. / Предисл. Г. С. Осипова. М.: Финансы и статистика, 1990. 320 с.

164. Марьясина Т. Д К вопросу о компьютеризации преподавания математических дисциплин. // Материалы VI Всесоюзного семинара "Разработка и применение программных средств ПЭВМ в учебном процессе". Тезисы докладов. Кн. 1. М.: ИПЙАН, 1991. С. 69-70.

- 133 -

165. Гавршюва Т. Д., Червинская К Р. Извлечение и структурирование знаний для экспертных систем. Е : Радио и связь, 1992. 200 с.

166. Schoen Е., Smith R. & , Buchanan В. G. Design of knowledge-based systems with a knowledge-based assistant / / IEEE Transactions On Software Engineering. 1988. Vol. 14» N 12. P. 1771-1791.

167. Ларичев 0. И., Мечитов А. И., Мошкович Б. Е » Фуремс Е. Е Выявление экспертных знаний (процедуры и реализация). Е : Наука, 1989. 128 с.

168. Марьясина т. Д. Справочная программа по основным возможностям TURBO PASCAL // Материалы VI Всесоюзного семинара "Разработка и применение программных средств ПЭВМ в учебном процессе". Тезисы докладов. Кн. 1. Е : ИПИАН, 1991. е. 75-76.

169. Quasthoff U. MATHBANK: Mathematisches Fachwissen als Hypertext // Hypertext/ Hypermedia' 91 / Ed. H. Шигег. Proceedings, Springer-Verlag, Tagin der GI, Si und OCQ, Graz, 27/ 28, Mai, 1991. P. 223-228.

170. Conclin J. Hypertext: An introduction and Survey // Computer. 1987. Vol. 20, N 9. P. 17-41.

171. Smith J., Weiss S. F. Hypertext // Communications of the ACM. 1988. Vol. 31, N 7. P. 816- 819.

172. Begoray J. A. An introduction to hypermedia issues, systems and application areas // International Journal of Man-Machine Studies. 1990. Vol. 33, N 2. P. 121-147.

173. Nielson J. Through hypertext // Communications

- 134 -

of the ACM 1990, Vol. 33, N 3. P. 297-310.

174. Einon G. Behind the hype // Practical Computing. 1990. Vol. 13, N 3. P. 80-86.

175. Storrs G. HITS - a HyperCard-Based intelligent training system // 5t.h. Int. Expert Syst. Conf. , London, 6 -8 June, 1989. Oxford. New Jersej. 1989. P. 95-100.

176. Stebbins B. HyperCard: The Tool for the classrooms of tomorrow // Computers in the Schools. 1990. Vol. 7, N 4. P. 7-73.

177. Muhkhauser M. Hyperinformation in instructional tool environments // Computer Assisted Learning / Eds. D. H. Norril, H. W. Six. 3rd Int. Conference ICCAL'90, Hagen, GFR, June 11-13, 1990, Berlin, West Germany. Proceedngs. Springer-Verlag. 1990. R 245-264.

178. Barden R. Using Hypertext in building Intelligent Training Systems // Interactive Learning International. 1989. Vol. 5. P. 109-115.

179. Katlenbach M. , Frasson C. DYNABOARD: User animated display of deductive proofs in mathematics // International Journal of Man-Machine Studies. 1989. Vol. 30, N 2. P. 149-170.

180. Пугачев В. С. Теория вероятностей и математическая статистика. М.: Наука, 1979. 496 с.

181. Savov J. The electronic book ЕЬоокЗ // International Journal of Man-Machine Studies. 1989. Vol. 30, N 5. P. 505-523.

182. Barker P. , Manji K. Designing electronic books // Journal of Artificial Intelligence in Education. 1989/ 1990. Vol. 1, N 2. P. 31-42.

- 135 -

183. Okada К.-I., Kinoshita К., Matsushita Y. Scrolling or Leafing Through: Book Window // l-st Moscow International HCI'91 Workshop Proceedings, Moscow 5-9 August 1991 International Centre for Scientific and Technical Information, 1991. P. 242-248.

184. Kre i tzberg С. B. Des i gn i ng the e 1 ectron i с book: human psychology and information structures for hypermedia // Designing and Using Human-Computer Interfaces and Knowledge Based Systems / Eds. dSalvendy, M. J.Smith. Elsevier, 1989. P. 457-464.

185. Fox C. , Gonzalez V. The notebook: a new model for the user interface // Designing and Using Human-Computer Interfaces and Knowledge Based Systems / Eds. й Salvendy and M. J. Smith. Elsevier, 1989. P. 620-626.

186. Robinson P. The Four Multimedia Gospels // BYTE. 1990. Vol. 15, N 2. P. 203-212.

187. Новосельцев С. К. Мультимедиа - синтез трех стихий // Компьютер-пресс. 1991. N 11. С. 72-76.

188. Новосельцев С. К. Мультимедиа - 91: достижения, тенденции, рынок // Компьютер Пресс. 1992. N 7. С. 47-54.

189. Greenberg J. М. , Integrating multimedia into a student's learning environment // East-West Conference on Emerging Computer Technologies in Education, 6-9 April 1992, Moscow, Russia. Conference Proceedings / Eds. P. Brusilovsky, V. Stefanuk. International Centre for Scientific and Technical Information, 1992, Moscow, Russia, P. 128-132.

- 136 -

190. Phillips W. A. Individual authoring prototyping: desktop development of courseware // Computers & Education. 1990. vol 14, N 1. P. 9-15.

191. Гофен A. M. , Левин E A. , Анацкий E И. , Мясник E И. Принципы построения обучающих и контролирующих систем нового поколения // Материалы VI Всесоюзного семинара "Разработка и применение программных средств ПЭВМ в учебном процессе". Тезисы докладов. Кн. 1. М.: ИПИАН, 1991. С. 122-124.

192. Harding R., Quinney D. Computer Illustrated Texts (CITs) for Teaching Numerical Analysis // Computers and Education. 1990. Vol. 15, N 1 - 3. P. 205-211. (Selec. Proc. CAL'89 Symp., Comput. Assist. Learn., Survey, 11 -14, Apr., 1989).

193. Stevens R. T. Fractal Programming in Turbo Pascal. M&T Books, 1990. 462 p.

194. Райхмист P. Б. Графики функций: Справ, пособие для вузов. М.: Высшая школа, 1991. 160 с.

195. Косневеки Ч. Занимательная математика и персональный компьютер. Пер. с англ. М.: Мир, 1987. 192 с.

196. Агамирова Р. С. , Андреева Е Д. , Бушина Т. Г. , Марьясина Т. Д , Полиенко Р. М. , Хриеточевский С. А. , Январева О. А. Пакет прикладных программ учебного назначения для комплектов учебной вычислительной техники // Материалы IV Всесоюзного семинара "Разработка и применение программных средств ПЭВМ в учебном процессе". Тезисы докладов. М.: ШШАН, 1988. С. 190-191.

197. Агамирова Р. С. , Бушина Т. Г. , Марьясина Т. Д. , Полиенко Р. М. , Хриеточевский С. А. , Январева О. А. Вводный

- 137 -

курс по изучению информатики в рабочих профессиях // Информатика в рабочих профессиях. М.: Наука, 1990. С. 86-95.

198. Марьясина Т.Д. Учебная система поддержки графического интерфейса // Материалы V Всесоюзного семинара "Разработка и применение программных средств ШВМ в учебном процессе". Тезисы докладов. Кн. 1. М.: ИПИАН, 1989. С. 63-64.

199. Goldberg А. , Robbson D. Small talk-80. The language and its implementation. Addison-Wesley. 1983. 720

200. Computing Curricula' 1991. A summary of the АСМ/ ICEE-CS Joint Conference Task Force report // Communications of the ACM. 1991. Vol. 34, N 6. P. 69-84.

202. Королев JLK "Компьютерное" образование, состояние дел и перспективы // Вестник Московского университета. Сер. 15, Вычисл. математика и кибернетика. 1992. N 2. С. 2-12.

203. Sendova Е. , Nikolov R. , Dicheva D. Mathematics and informatics - an attempt for integration in the secondary school curriculum // Third International Conference "Children in the information age", Human development and emerging technologies". Preprints. Sofia, Bulgaria, 20 - 23 May, 1989, National Palace of Culture. Vol. 2. P. 155-166.

204. Mincy J. M. , Tharp A. L. , Tai К.-C. Visualizing Algorithms and Processes with the Aid of a Computer // SIGSCE Bulletin. 1983. Vol. 15, N. 1. P. 106-111.

205. Bruce M. , Elenbogen B. S. Using computer animation to teach programming algorithms // Collegiate

- 138 -

microcomputer. 1988. Vol. 6, N 4. P. 375-381.

206. Stone D. C. Using Cumulative Graphic Traces in the Visualization of Sorting Algorithms // SIGSCE Bulletin. 1989. Vol. 21, N 4. P. 37-42.

207. Barnes G. M. , Kind G. A. Visual Simulations of Data Structures During Lecture // SIGSCE Bulletin. 1987. Vol. 19, N 1. P. 267-276.

208. Wenner P. A design course in computer graphics algorithm animation // Proc. Symp. Сотр. Graph. Educ. Poughkeepsie (N. Y.). 1988, Nov. 4-5, Poughkeepsie (N.Y.), 1988. P. 42-51.

209. Рейоурд-Смит В. Дж. Теория формальных языков. Вводный курс. М.: Радио и связь, 1988. 128 с.