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



Дата08.10.2012
Размер32 Kb.
ТипДокументы
АВТОМАТИЗИРОВАННАЯ ОБУЧАЮЩАЯ СИСТЕМА ПОДДЕРЖКИ КУРСА
"МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ"

Мещеряков Р.В., Шелупанов А.А.

Томский государственный университет систем управления и радиоэлектроники

office@keva.tusur.ru
Как известно, в настоящее время все большее значение приобретают обучающие комплексы компьютерных программ, созданные для поддержки специальных дисциплин. Комплексы программ состоят, как правило, из набора обучающих программ (направленных на изложение теоретического материала), тренажерных программ (реализующих виртуальные лаборатории и тренажеры) и тестирующих программ (обеспечивающих различные виды проверок: от входного контроля до итогового экзамена). В докладе обсуждаются возможности и результаты использования компьютерных обучающих программ.

На кафедре Комплексной информационной безопасности электронно-вычислительных систем (КИБЭВС) ТУСУР долгое время ведутся работы по разработке и внедрению различных автоматизированных обучающих систем. Определенный интерес представляют собой интегрированные системы, позволяющие комплексно подойти к расширению возможностей курса по проведению образовательной деятельности. Как правило, такие системы включают в себя все составные части курса: теоретическую часть, лабораторные и практические занятия, компьютерный экзамен.

Теоретическая часть компьютерной поддержки курса построена на учебном пособии "Шелупанов А.А., Зюзьков В.М. Математическая логика и теория алгоритмов. - Томск, Scientific&Technical Translations, 2001.-176с.", имеющем грифы РУНЦ (Рекомендовано Сибирским региональным учебно-методическим центром высшего профессионального образования в качестве учебного пособия по специальностям 220500, 220300), УМО по образованию в области информационной безопасности (Рекомендовано для межвузовского использования в качестве учебного пособия по специальности 075500), Министерства образования РФ (Допущено Министерством образования РФ в качестве учебного пособия для студентов вузов, обучающихся по специальностям "Организация и технология защиты информации", "Комплексное обеспечение информационной безопасности автоматизированных систем"). Согласованность учебного пособия в виде твердой копии и электронного варианта дает значительные преимущества: обучающийся может пользоваться как одним из источников, так и другим; простота и легкость в перемещении по тексту и др. Весь материал разбит по главам и представляет собой файлы в формате MS Word 97, что упрощает навигацию по курсу. Единственным неудобством является использование специализированных математических шрифтов, которое просто решается их установкой, имеющимся на инсталляционном диске.

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

Особое место в системе занимает компьютерное тестирование, которое принимает различные формы: контроль по разделам курса (промежуточный контроль), и итоговый экзамен. В зависимости от объема раздела создано сформированы банки вопросов различного объема. Итоговый контроль состоит из 103 вопросов. Форма компьютерного экзамена следующая: задается вопрос и высвечивается весь набор ответов (каждый из которых правилен для своего вопроса) и обучающийся выбирает ответ.

Отметим, что программная система была разработана на лицензионном программном обеспечении в среде программирования Delphi 5.0 для операционной среды Windows 95/98/2000/Me/XP. В программную систему включены все компоненты изучения курса и располагаются на отдельном компакт-диске. Естественно, что дополнительно к обучающей, лабораторной и тестирующей составляющим предусмотрена администрирующая компонента. В качестве пользователей программной системы выделено три категории с различными правами доступа: студент (имеет доступ к теоретической составляющей, к лабораторному практикуму, к выполнению тестирования), преподаватель (дополнительно к правам студента может просмотреть результаты проведенного тестирования), администратор системы: (ведет список курсов, список студентов, настройку системы и все, что позволено другим категориям пользователей) Это минимальный и достаточный набор прав, позволяющий охватить весь спектр возможностей без дополнительных расширений (например, статистики). Кроме обычных сведений (фамилия, имя, отчество) у студентов ведется дополнительно номер группы.

Созданная программная система входит в комплексное учебно-методическое и программное обеспечение (КУМПО) по курсу "Математическая логика и теория алгоритмов". В январе 2002 года на конкурсе на КУМПО, проходившем в ТУСУРе разработанное обесспечение заняло первое место.

Похожие:

Автоматизированная обучающая система поддержки курса \"математическая логика и теория алгоритмов\" icon1. Организационно-методический раздел. 1 Название курса. Математическая логика и теория алгоритмов
Основной курс "Математическая логика и теория алгоритмов" предназначен для студентов первого курса отделения прикладной инфоматики...
Автоматизированная обучающая система поддержки курса \"математическая логика и теория алгоритмов\" iconРабочая программа дисциплины Математическая логика и теория алгоритмов Направление подготовки 230700 Прикладная информатика
Целями освоения дисциплины «Математическая логика и теория алгоритмов» являются получение теоретических знаний по основам математическая...
Автоматизированная обучающая система поддержки курса \"математическая логика и теория алгоритмов\" iconУчебная программа Дисциплины р2 «Математическая логика и теория алгоритмов»
Фгос впо, содействует формированию мировоззрения и системного мышления. Целью преподавания дисциплины «Математическая логика и теория...
Автоматизированная обучающая система поддержки курса \"математическая логика и теория алгоритмов\" iconИзложение материала курса «Математическая логика и теория алгоритмов»
Лекции по математической логике и теории алгоритмов для студентов 2 курса специальности «Компьютерная безопасность»
Автоматизированная обучающая система поддержки курса \"математическая логика и теория алгоритмов\" iconРабочая программа по курсу «Математическая логика и теория алгоритмов» для специальности 090102 «Компьютерная безопасность»
«Математическая логика и теория алгоритмов», рекомендованной Министерством образования Российской Федерации в 2000 году для специальностей...
Автоматизированная обучающая система поддержки курса \"математическая логика и теория алгоритмов\" iconТехнологий В. П. Битюцкий Н. В. Папуловская Математическая логика. Исчисления высказываний и предикатов Методическое пособие по дисциплине "Математическая логика и теория алгоритмов" Екатеринбург 2005 удк

Автоматизированная обучающая система поддержки курса \"математическая логика и теория алгоритмов\" iconМосковская государственная академия приборостроения и информатики кафедра " Персональные компьютеры и сети"
Ульянов М. В., Шептунов М. В. Математическая логика и теория алгоритмов, часть 1: Математическая логика. – М.: Мгапи, 2003. – 47...
Автоматизированная обучающая система поддержки курса \"математическая логика и теория алгоритмов\" iconМесто дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
«Логика», «Математическая логика и теория алгоритмов», «Дискретная математика», «Языки программирования»
Автоматизированная обучающая система поддержки курса \"математическая логика и теория алгоритмов\" icon3 Введение. Математическая логика в системе современного образования 6
Математическая логика и теория алгоритмов: Учеб посо­бие для студ высш учеб заведений / Владимир Иванович Игошин. — М.: Издательский...
Автоматизированная обучающая система поддержки курса \"математическая логика и теория алгоритмов\" iconСудоплатов С. В., Овчинникова Е. В. Математическая логика и теория алгоритмов

Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org