Аннотация 2
Введение 5
1 Основные понятия и определения 6
1.1 Онлайн-ресурсы по дискретной математике 6
1.2 Булевы функции 11
1.3 Монотонность булевой функции 13
2 Алгоритм проверки булевой функции на монотонность 15
3 Реализация лабораторной работы 18
Заключение 22
Список использованных источников 23
Приложение А Программная реализация web-приложения лабораторной работы 24
В настоящие время большую значимость в процессе обучения приобретают электронные ресурсы. Для студентов бывает удобнее обратиться к онлайн-ресурсам нежели к бумажным носителям информации. Кроме того, в ходе аудиторных занятий студент не всегда может в полной мере усвоить предлагаемый ему материал. Оптимальным решением в этой ситуации является обращение к электронному курсу.
Мы разрабатываем лабораторную работу по курсу «Дискретная математика ч. 1» в системе дистанционного образования MOODLE [1], которая позволяет студенту отработать навык проверки свойства монотонности булевой функции. Монотонные булевы функции широко используются при синтезе дискретных устройств, в частности, самопроверяемых дискретных устройств [2]. Поэтому монотонные булевы функции потребуются студенту в дальнейшем при изучении различных курсов по анализу и синтезу дискретных систем.
Разрабатываемая лабораторная работа содержит теоретический материал, который позволит студенту выполнить задание. Кроме того, разработано web-приложение для реализации тренажера по выработке навыков проверки свойства монотонности булевой функции.
В первом разделе работы приведен краткий обзор интернет-ресурсов по дискретной математике и проведен анализ их применимости для нашей тематики, а также приведены основные понятия и определения, используемые в работе. Во втором разделе представлен алгоритм проверки свойства монотонности булевой функции с соответствующими примерами. Третий раздел посвящен лабораторной работе по курсу «Дискретная математика ч. 1» в СДО MOODLE.
В процессе выполнения выпускной квалификационной работы было сделано следующее:
а) изучен алгоритм проверки свойства монотонности булевой функции;
б) данный алгоритм программно реализован, правильность работы программной реализации проверена на контрольных примерах;
в) алгоритм проверки свойства монотонности булевой функции и примеры его использования для монотонной и немонотонной булевых функций оформлены в виде теоретического материала для обучаемого и включены в лабораторную работу;
г) программно реализовано web-приложение лабораторной работы;
д) лабораторная работа размещена в раздел «Монотонные булевы функции» по курсу «Дискретная математика ч.1» в СДО MOODLE.
