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

Abstract

Метою роботи є створення алгоритму та його програмної реалізації тренажера з теми «Метод резолюцій» дистанційного начального курсу «Математична логіка» та закріплення знань з математичної логіки. Об’єктом розробки в даній роботі є процес дистанційного навчання математичним дисциплінам. Предметом розробки є програмний продукт, що реалізує тренажер з теми «Метод резолюцій» на мові програмування С# середовище Visual Studio. Головне завдання – розробити алгоритм роботи тренажера та створити його програмну реалізацію, що відображає роботу методу резолюцій. Перелік використаних методів полягає у застосуванні методу резолюції та програмних засобів мови С#. Робота містить: вступ, інформаційний огляд, теоретичну частину, практичну частину, висновки та список використаних джерел.