Учебно-методический комплекс изучения содержательной линии "Моделирование и формализация"
Дипломная работа - Компьютеры, программирование
Другие дипломы по предмету Компьютеры, программирование
кую самостоятельность, используются проблемные (ситуационные) задачи.
В операционный модуль включен и комплект контрольных заданий, позволяющих установить уровень сформированности самостоятельных действий обучаемых. Задания подбираются для проведения входного, текущего и итогового контроля как в устной, так и письменной форме.
Контрольные и экзаменационные материалы, входящие в контролирующие части каждого модуля (подмодуля) или разработанные дополнительно, осуществляют следующие виды контроля: входной, текущий, итоговый. Все эти материалы составляют базу данных как часть общей базы данных для контролирующей программы (КП), частью которой является электронный задачник (ЭЗ). В КП входят также программные средства, предназначенные для оценки качества знаний обучаемых, а также для их учета в течение заданного периода обучения.
Входной контроль осуществляется без привлечения преподавателя для определения базового уровня знаний студентов и может служить поводом для них по повторению необходимого материала, а для преподавателя - внесения изменений в учебный процесс.
Текущий контроль позволяет определить качество изучения обучаемыми отдельных учебных элементов или модулей. Примером текущего контроля могут служить коллоквиумы, контрольные работы, письменные опросы, тестирование. Результаты текущего контроля фиксируются и входят в рейтинг по предмету, формируемый в течение всего периода обучения.
Итоговый контроль проводится после изучения студентами всей модульной программы по курсу с учетом результатов промежуточного контроля. Это может быть итоговая контрольная работа или экзамен.
Для всех этих видов контроля может быть использовано тестирование как один из новых элементов образовательных технологий, нашедший широкое распространение в последнее время. На математическом факультете (МФ) была разработана и успешно функционирует в течение четырех лет компьютерная программа для организации сетевого тестирования. С помощью этой программы тестирование может быть организовано как на отдельном ПК, так и в локальных и глобальных сетях, включая Internet. Уже в течение четырех лет по этой технологии проходят вступительные экзамены по математике (устно) в Алтайский государственный университет, осуществляется входной и промежуточный контроль знаний студентов по ряду математических диiиплин. Данная программа допускает сопряжение с базой данных электронного задачника, а, следовательно, на ее основе можно осуществлять контролирующие функции в ЭУМК.
Лабораторный практикум (ЛП). Упражнения в электронном учебнике могут иметь ту особенность, что их исполнение без ПК просто невозможно. Так НИТ позволяют внедрить в учебный процесс лабораторные работы с использованием компьютерных программ и прикладных математических пакетов (Derive, MathCad, MatLab и т.п.). Эти программные средства избавляют студентов от рутинных вычислений, открывают суть изучаемой темы, помогая ее лучше усваивать, повышают эффективность самостоятельной работы. В обучении математиков изучение пакетов прикладных программ (в том числе и математических) является обязательным элементом Государственных образовательных стандартов (ГОС). Возможность неформального включения, получаемых в этом курсе знаний, при изучении других учебных диiиплин резко повышает интерес студентов, формирует прочные знания, умения и навыки в работе с математическими пакетами.
Учебная база данных (УБД). Справочная книга по курсу построена по принципу энциклопедии. В ней приводятся все определения, формулы, теоремы необходимые при изучении курса.
Электронный аналог справочника (УБД) представляет собой информационно-справочную систему (ИСС) учебного назначения, построенную для математической диiиплины, имеющей аксиоматический принцип построения учебной информации.
Современные ИСС строятся на основе гипертекста, дополненного средствами тематической навигации и контекстного поиска. Поскольку мы ориентируемся на работу в семействе операционных систем MS Windows, то наибольшее распространение получило здесь программное обеспечение на базе WinHelp. В глобальных компьютерных сетях основой ИСС является язык HTML (язык разметки гипертекста), на базе которого построена работа сети Интернет.
Вся эта база представляет собой совокупность связанных информационных объектов разделенных на два класса. Первый - класс понятий. Он содержит описания неопределяемых понятий и определения. Второй - класс утверждений - содержит формулировки аксиом, теорем, следствий из них, лемм, утверждений, основных формул.
Все информационные объекты находятся во взаимосвязи. Структуру этих связей можно представить в виде ориентированного графа, узлами которого являются информационные объекты, а ребрами - связи между ними.
Класс понятий образует основу графа. Ребра этой части графа направлены от базового понятия к определяемому. Вершинами графа являются описания неопределяемых понятий. Второй класс утверждений дополняет граф, образованный первым классом. Узел, отвечающий утверждению, соединен ребрами с узлами, содержащими входящие в него понятия. Направление ребра принимается от понятия к утверждению. Таким образом, этот класс не дает новых вершин графа.
В теории ИСС предусмотрено введение ребер третьего типа, которые формируются на основе принципа построения ссылок справочной системы. В данном случае ориентированные ребра третьего типа вводятся при упоминании термина, имеющего расшифровку, оп?/p>