Електронний архів Полтавського університету економіки і торгівлі >
Навчально-науковий інститут денної освіти >
Кафедра комп'ютерних наук та інформаційних технологій >
Магістерські та дипломні роботи (проекти) >
Please use this identifier to cite or link to this item:
http://dspace.puet.edu.ua/handle/123456789/11607
|
Название: | ПОЯСНЮВАЛЬНА ЗАПИСКА ДО ДИПЛОМНОЇ РОБОТИ на тему «СТВОРЕННЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ТРЕНАЖЕРУ «МЕТОД РЕЗОЛЮЦІЙ» ДИСТАНЦІЙНОГО КУРСУ «МАТЕМАТИЧНА ЛОГІКА» |
Авторы: | Алексов, Сергій Вікторович |
Ключевые слова: | ТРЕНАЖЕР МЕТОД РЕЗОЛЮЦІЙ МАТЕМАТИЧНА ЛОГІКА SIMULATOR Дистанційний курс |
Issue Date: | 19-Jan-2022 |
Аннотация: | Метою роботи є створення алгоритму та його програмної реалізації тренажера з теми «Метод резолюцій» дистанційного начального курсу «Математична логіка» та закріплення знань з математичної логіки.
Об’єктом розробки в даній роботі є процес дистанційного навчання математичним дисциплінам.
Предметом розробки є програмний продукт, що реалізує тренажер з теми «Метод резолюцій» на мові програмування С# середовище Visual Studio.
Головне завдання – розробити алгоритм роботи тренажера та створити його програмну реалізацію, що відображає роботу методу резолюцій.
Перелік використаних методів полягає у застосуванні методу резолюції та програмних засобів мови С#.
Робота містить: вступ, інформаційний огляд, теоретичну частину, практичну частину, висновки та список використаних джерел. |
Описание: | Алексов Сергій Вікторович. ДИПЛОМНА РОБОТА на тему: «СТВОРЕННЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ТРЕНАЖЕРУ «МЕТОД РЕЗОЛЮЦІЙ» ДИСТАНЦІЙНОГО КУРСУ «МАТЕМАТИЧНА ЛОГІКА». Полтава, 2021 р. |
URI: | http://dspace.puet.edu.ua/handle/123456789/11607 |
Appears in Collections: | Магістерські та дипломні роботи (проекти)
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|