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

Abstract

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