Программный комплекс для автоматизации проверки выполнения практической работы «Аксиомы и свойства алгебры логики» по
дисциплине «Прикладная теория цифровых автоматов»
Введение
1. Задание на выпускную квалификационную работу 4
2 Анализ технического задания на выпускную квалификационную работу 5
2.1 Анализ предметной области 5
2.2 Анализ задания на выпускную квалификационную работу 9
2.3 Выбор программных средств 10
2.3.1 Выбор языка программирования 10
2.3.2 Выбор среды программирования 11
2.3.3 Выбор операционной системы 11
3 Структура программного комплекса 12
3.1 Программа для подготовки базы данных 14
3.2 Программа для проверки результатов практической работы 27
3.2.1 Вкладка выбора варианта 32
3.2.2 Вкладка «Часть 1» 34
3.2.3 Вкладка «Часть 2» 37
4 Формирование отчета 39
5 Руководство пользователя 44
5.1 Программа для подготовки базы данных 44
5.2 Программа для проверки результатов практической работы 51
Заключение 62
Список сокращений 63
Список использованных источников 64
ПРИЛОЖЕНИЕ
На сегодняшний день уровень развития высших учебных заведений возрастает вместе с количеством обучающихся в них студентах, это, конечно же, влияет на преподавателей в плане учебной нагрузке. В итоге процесс обучения усложняется, традиционные методы обучения уже не так эффективны, следовательно, это влияет на качество обучения.
Именно автоматизация отдельных функций преподавателя может способствовать уменьшению его нагрузки. Например, предоставить преподавателю возможность автоматической проверки практической работы студента, в результате не будет сомнений, что работа выполнена без ошибок и нагрузка на преподавателя будет снижена.
Темой выпускной квалификационной работы является «Программный комплекс для автоматизации проверки выполнения практического задания «Аксиомы и свойства алгебры логики» по дисциплине Прикладная теория цифровых автоматов».
Актуальность данной работы состоит в:
• Улучшении качества обучения студентов
• Упрощении проверки работ студентов
Таким образом, целью данной ВКР является разработка программного комплекса для автоматизации проверки выполнения практического задания по дисциплине «Прикладная теория цифровых автоматов» (ПТЦА).
Таким образом, в ходе выполнения ВКР был разработан программный комплекс для автоматизации проверки выполнения практической работы «Аксиомы и свойства алгебры логики» по дисциплине «Прикладная теория цифровых автоматов». Данный программный комплекс включает в себя две программы: одна программа является базой ответов и заданий для практической работы (программа используется только преподавателем), другая программа предназначена для проверки ответов студента (используется только студентом).
1. Булева алгебра [Электронный ресурс] // ru.bmstu.wiki: Национальная библиотека им. Н.Э. Баумана Bauman National Library. URL: https://ru.bmstu.wiki/Булева_алгебра (дата обращения: 10.04.2018).
2. ГОСТ 2.316-2008 Единая система конструкторской документации. Правила нанесения надписей, технических требований и таблиц на графических документах. Общие положения. Взамен ГОСТ 2.316-68; дата введ. 01.07.2009. - Москва: Стандартинформ, 2009. - 12 с.
3. Основы алгебры и логики [Электронный ресурс] // e.sfu-kras.ru:
Система электронного обучения СФУ. URL: https://e.sfu-
kras.ni/pluginfile.plhr84381/inod 1^О111ге/соп1еп1/2/соп1еп1/2/Ле1к1ия%)2()1.рс1Г (дата обращения: 10.04.2018).
4. Система менеджмента качества. Общие требования к построению, изложению и оформлению документов учебной деятельности. СТО 4.2-07-2014. Красноярск: ИПЦ СФУ, 2014. - 60 с.
5. Windows Fo1ns [Электронный ресурс] // docs.nic1osoft.con: Mic1osoft
- официальная страница. URL: lttps://docs.nic1osoft.con/1i-
1i/dotnet/f1anewo1k/winfo1ns/ (дата обращения: 10.04.2018).