Е. Ю. Ремизов Научный руководитель В. В. Гуров, доцент Московский инженерно-физический институт (государственный университет) электронный урок

Вид материала

Урок

Подобный материал:

• Х. С. Газарян научный руководитель В. И. Тефанов, к эк н., доцент Московский инженерно-физический, 30.05kb.
• В. А. Карандасов научный руководитель В. П. Румянцев, к т. н., доцент Московский инженерно-физический, 28.6kb.
• Ю. С. Барсуков 1, А. Ю. Окунев 2 1 Московский инженерно-физический институт (государственный, 29.25kb.
• Д. С. Варганов научный руководитель Н. П. Васильев, к т. н., доцент Московский инженерно-физический, 31.85kb.
• В. А. Курнаев Московский инженерно-физический институт (государственный университет),, 27.18kb.
• Л. Р. Сыраева Научный руководитель М. С. Крашенинникова, доцент Московский инженерно-физический, 22.43kb.
• А. А. Грабко научный руководитель В. С. Горбатов, к т. н., доцент Московский инженерно-физический, 29.26kb.
• А. А. Лазарев научный руководитель В. Г. Когденко, к эк н., доцент Московский инженерно-физический, 31.24kb.
• «Вегето-сосудистая дистония», 192.12kb.
• Л. Ш. Абашева научный руководитель Г. Ю. Модин 1 Московский инженерно-физический институт, 26.4kb.

Е.Ю. Ремизов

Научный руководитель – В.В. Гуров, доцент

Московский инженерно-физический институт (государственный университет)


электронный урок
"МИНИМИЗАЦИЯ ФУНКЦИЙ АЛГЕБРЫ ЛОГИКИ
ПО МЕТОДУ КВАЙНА-Мак-Класки"


В докладе рассмотрены структура и особенности использования электронного урока "Минимизация функций алгебры логики по методу Квайна-Мак-Класки" по курсу "Теория автоматов".


В настоящее время в учебный процесс вузов все шире внедряются компьютерные обучающие программы. Наиболее интересно применение компьютеров для обучения собственно компьютерным дисциплинам. Одной из базовых дисциплин при этом является курс "Теория автоматов". Традиционно он включает в себя основы булевой алгебры, арифметические основы и основы схемотехнической реализации ЭВМ. В настоящее время на кафедре "Компьютерные системы и технологии" МИФИ создан и успешно используется в учебном процессе комплекс компьютерных обучающих программ по этому курсу [1]. В развитие этого комплекса был разработан новый урок: "Минимизация функций алгебры логики по методу Квайна-Мак-Класки".

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

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

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

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

С весеннего семестра 2005/2006 учебного года предполагается его внедрение в учебный процесс.


Список литературы


1. Гуров В.В., Чуканов В.О. Электронный учебник по курсу “Основы теории компьютеров //Науч. сессия МИФИ-98: Сб. науч. тр. В 11 ч. М.: МИФИ, 1998. Ч. 5. С. 185-186.