ПОЯСНЮВАЛЬНА ЗАПИСКА ДО ДИПЛОМНОЇ РОБОТИ на тему ПРОГРАМНЕ ЗАБЕЗПЕЧЕННЯ ТРЕНАЖЕРУ З ТЕМИ «ПРАВИЛА ВИВЕДЕННЯ» ДИСТАНЦІЙНОГО НАВЧАЛЬНОГО КУРСУ «МАТЕМАТИЧНА ЛОГІКА»

Abstract

Метою роботи є розробка елементів програмного забезпечення тренажеру з теми «Правила виведення» дистанційного навчального курсу «Математична логіка» та закріплення знань і навичок. Об’єктом розробки в даній роботі є процес дистанційного навчання математичним дисциплінам. Предметом розробки є програмний продукт, що реалізує тренажер для закріплення знань із застосування правил виведення в численні висловлювань. Головне завдання – розробити алгоритм роботи тренажеру по якому вже буде розроблено навчальний тренажер з теми «Правила виведення». Методи розробки – правила виведення в численні висловлювань і їх застосування. При реалізації тренажера використано середовище візуальної розробки програм NetBeans IDE та об’єктно-орієнтована мова програмування Java. Робота складається з чотирьох розділів. У першому розділі розглянуто постановку задачі для реалізації тренажера. У другому розділі описано огляд тренажерів з математичних дисциплін, їх позитивні та негативні аспекти, актуальність теми роботи. У третьому розділі представлено теоретичний матеріал по правилам виведення, наведено приклади застосування та описано алгоритм роботи тренажеру, представлено блок-схему алгоритму. У четвертому розділі – описано обґрунтування вибору програмних засобів, процес програмної реалізації, саму програму і інструкцію по використанню тренажера.