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

Abstract

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