Електронний архів Полтавського університету економіки і торгівлі >
Інститут економіки, управління та інформаційних технологій >
Кафедра математичного моделювання та соціальної інформатики >
Магістерські та дипломні роботи (проекти) >

Please use this identifier to cite or link to this item: http://dspace.puet.edu.ua/handle/123456789/7558

Название: ПОЯСНЮВАЛЬНА ЗАПИСКА ДО ДИПЛОМНОЇ РОБОТИ на тему АЛГОРИТМІЗАЦІЯ ТА ПРОГРАМУВАННЯ ТРЕНАЖЕРА «МЕТОД РЕЗОЛЮЦІЙ» ДИСТАНЦІЙНОГО НАВЧАЛЬНОГО КУРСУ «МАТЕМАТИЧНА ЛОГІКА»
Авторы: Сосновський, Дмитро Романович
Ключевые слова: МЕТОД РЕЗОЛЮЦІЙ
МАТЕМАТИЧНА ЛОГІКА
ТРЕНАЖЕР
дистанційний курс
Issue Date: 17-Jan-2020
Аннотация: Метою роботи є алгоритмізація елементів тренажера з теми «Метод резолюцій» дистанційного навчального курсу «Математична логіка» та закріплення знань з використання алгебри предикатів. Об’єктом розробки є процес дистанційного навчання математичним дисциплінам. Предмет розробки – програмний продукт, що реалізує тренажер для закріплення знань із використання методу резолюцій. Головне завдання – розробити алгоритм роботи тренажера, по якому потрібно розробити навчальний тренажер з теми «Метод резолюцій», як складову дистанційного курсу «Математична логіка». Методи розробки – методика застосування методу резолюцій в численні висловлень і численні предикатів. При реалізації програми використано мову програмування Java і середовище розробки NetBeans IDE. Тренажер розроблено з використанням Java-applet. Робота складається з чотирьох розділів. У першому розділі розглянуто постановку задачі для реалізації тренажера. У другому розділі описано огляд тренажерів з математичних дисциплін, їх позитивні та негативні аспекти, актуальність теми роботи. У третьому розділі представлено теоретичний матеріал з методу резолюцій, наведено приклади застосування та описано алгоритм роботи тренажеру, представлено блок-схему алгоритму. У четвертому розділі – описано обґрунтування вибору програмних засобів, процес програмної реалізації, саму програму і інструкцію по використанню тренажера.
URI: http://dspace.puet.edu.ua/handle/123456789/7558
Appears in Collections:Магістерські та дипломні роботи (проекти)

Files in This Item:

File Description SizeFormat
Sosnovskyi_Dmytro_Romanovych-KN-61-1.pdf1,1 MBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback