Аспірант кафедри інформаційних систем ННІ УДХТУ Кирило Шаповалов захистив дисертацію з комп’ютерних наук
9 вересня 2026 року в Українському державному університеті науки і технологій відбувся публічний захист дисертаційної роботи аспіранта кафедри інформаційних систем Навчально-наукового інституту «Український державний хіміко-технологічний університет» Кирила Ігоровича Шаповалова.
Дисертацію на тему «Інтелектуальна система перевірки розв’язків на основі формальної інтерпретації математичних формул» подано на здобуття ступеня доктора філософії з галузі знань 12 «Інформаційні технології» за спеціальністю 122 «Комп’ютерні науки».
Науковий керівник дослідження – Дмитро Гегемонович Зеленцов, доктор технічних наук, професор кафедри інформаційних систем ННІ «Український державний хіміко-технологічний університет» УДУНТ.
До складу разової спеціалізованої вченої ради увійшли:
- голова разової ради – Гуда Антон Ігорович, доктор технічних наук, доцент, професор кафедри інформаційних технологій і систем ННІ «Дніпровський металургійний інститут» Українського державного університету науки і технологій;
- рецензент – Шинкаренко Віктор Іванович, доктор технічних наук, професор, професор кафедри комп’ютерних інформаційних технологій ННІ «Дніпровський інститут інфраструктури і транспорту» Українського державного університету науки і технологій;
- рецензент – Коротка Лариса Іванівна, кандидат технічних наук, доцент, доцент кафедри інформаційних систем ННІ «Український державний хіміко-технологічний університет» Українського державного університету науки і технологій;
- офіційний опонент – Федоров Євген Євгенович, доктор технічних наук, професор, професор кафедри статистики та прикладної математики Черкаського державного технологічного університету, м. Черкаси;
- офіційний опонент – Коряшкіна Лариса Сергіївна, доктор технічних наук, професор, професор кафедри системного аналізу та управління Національного технічного університету «Дніпровська політехніка».
У дисертаційній роботі Кирило Шаповалов розробив інтелектуальну систему перевірки розв’язків на основі формальної інтерпретації математичних формул. Система забезпечує автоматичну генерацію індивідуальних математичних завдань, підтримує введення відповідей у вигляді аналітичних виразів та дає змогу автоматизовано перевіряти їх правильність із використанням чисельних методів.
Запропонований підхід передбачає контроль знань з вищої математики без використання статичних банків завдань. Замість цього система алгоритмічно генерує задачі за формалізованими правилами та перевіряє аналітичні відповіді.
Однією з особливостей розробки є врахування математично еквівалентних форм подання відповідей. Для аналізу математичних виразів використовується їх формалізоване представлення та абстрактні синтаксичні дерева, що дає змогу визначати структуру виразу та виконувати його подальшу алгоритмічну обробку. Чисельна верифікація дає можливість порівнювати різні форми запису аналітичних виразів за отриманими результатами.
Розроблений підхід забезпечує автоматизовану перевірку завдань з диференціального та інтегрального числення, а також сприяє підвищенню об’єктивності оцінювання навчальних результатів. Формалізоване подання математичних виразів, алгоритмічний аналіз та чисельна верифікація забезпечують відтворюваність і надійність процедури перевірки.
Результати дослідження можуть бути інтегровані в системи дистанційного навчання, автоматизовані освітні платформи та інформаційні системи для підтримки й автоматизації навчального процесу.
За результатами відкритого голосування члени разової спеціалізованої вченої ради одноголосно підтримали присудження Кирилу Ігоровичу Шаповалову ступеня доктора філософії.
Вітаємо Кирила Ігоровича та його наукового керівника Дмитра Гегемоновича з успішним захистом дисертації та бажаємо нових наукових результатів, дослідницьких здобутків і професійного розвитку.
Ознайомитися з матеріалами дисертації та документами разової спеціалізованої вченої ради УДУНТ за посиланням