Система для розв’язання геометричних задач на основі секвенційного реномінативного числення
Тип публікації :
Бакалаврська робота
Дата випуску :
2023
Автор(и) :
Швець Михайло
Мова основного тексту :
ua
eKNUTSHIR URL :
Цитування :
[APA 7] Швець, М. (2023). Система для розв’язання геометричних задач на основі секвенційного реномінативного числення [Бакалаврська робота, Київський національний університет імені Тараса Шевченка]. eKNUTSHIR. https://ir.library.knu.ua/handle/123456789/5092
[ДСТУ] Швець М. Система для розв’язання геометричних задач на основі секвенційного реномінативного числення : кваліфікаційна робота бакалавра : 12 Інформаційні технології. Київ, 2023. 64 с. URL: https://ir.library.knu.ua/handle/123456789/5092 (дата звернення: 25.07.2026).
У результаті виконання дипломної роботи було розроблено програмний продукт для автоматизації доведення геометричних тверджень.
Проведено аналіз наявних продуктів з даної тематики на ринку і зроблено висновок, що продуктів, які поглиблено спеціалізуються на геометрії, наразі немає.
Проведено аналіз найчастіше вживаних інструментів розробки та обрано оптимальні варіанти, які і були використані при написанні програми.
Розроблено детальну архітектуру програмної системи, а також формально записано алгоритми потрібні для її роботи, внаслідок чого швидкість написання коду збільшилась.
Здійснено програмну реалізацію продукту з урахуванням результатів отриманих раніше.
Завдяки дотриманню принципів SOLID можливе доопрацювання та розширення розробленого продукту, наприклад додавання можливості для розв’язання діофантових рівнянь за допомогою оператора мінімізації. Також, за потреби, є можливість повної зміни предметної області для пошуку доведень, оскільки основна структура, де реалізоване секвенційне числення, не потребуватиме змін в такому разі. Також можливим є створення повноцінного користувацького інтерфейсу для полегшення роботи з програмою для кінцевого користувача.
Ключові слова : автоматизація доведення теорем, геометрія, проєктування, реномінативна логіка, розробка, секвенційне числення, система рівнянь та нерівностей.
Проведено аналіз наявних продуктів з даної тематики на ринку і зроблено висновок, що продуктів, які поглиблено спеціалізуються на геометрії, наразі немає.
Проведено аналіз найчастіше вживаних інструментів розробки та обрано оптимальні варіанти, які і були використані при написанні програми.
Розроблено детальну архітектуру програмної системи, а також формально записано алгоритми потрібні для її роботи, внаслідок чого швидкість написання коду збільшилась.
Здійснено програмну реалізацію продукту з урахуванням результатів отриманих раніше.
Завдяки дотриманню принципів SOLID можливе доопрацювання та розширення розробленого продукту, наприклад додавання можливості для розв’язання діофантових рівнянь за допомогою оператора мінімізації. Також, за потреби, є можливість повної зміни предметної області для пошуку доведень, оскільки основна структура, де реалізоване секвенційне числення, не потребуватиме змін в такому разі. Також можливим є створення повноцінного користувацького інтерфейсу для полегшення роботи з програмою для кінцевого користувача.
Ключові слова : автоматизація доведення теорем, геометрія, проєктування, реномінативна логіка, розробка, секвенційне числення, система рівнянь та нерівностей.
Галузі знань та спеціальності :
12 Інформаційні технології
122 Комп’ютерні науки
Файл(и) :![Ескіз]()
Вантажиться...
Формат :
Adobe PDF
Розмір :
2.12 MB
Контрольна сума :
(MD5):67b99f70cfa94e4e83db6dce8f7f53b2
Якщо не вказано інше, ця робота розповсюджується на умовах ліцензії Creative Commons Attribution-NonCommercial 4.0 International