Спекторський, Ігор ЯковичШабо, Олексій Андрійович2023-09-192023-09-192023Шабо, О. А. Алгоритм пошуку найвужчого класу Поста для заданої булевої функції : дипломна робота ... бакалавра : 124 Системний аналіз / Шабо Олексій Андрійович. – Київ, 2023. – 142 с.https://ela.kpi.ua/handle/123456789/60469Дипломна робота: 142 c., 4 ч., 10 табл., 30 рис., 2 дод., 14 джерел. Тема дослідження: алгоритм пошуку найвужчого класу Поста для заданої булевої функції. Об’єкт дослідження: діаграма Поста. Мета дослідження: розробка алгоритму та програмного забезпечення, які дозволили б знаходити найвужчий клас Поста для заданої булевої функції, а також перевіряти її належність до п’яти передповних класів. Методи дослідження: формулювання проблеми, аналіз наукової та методичної літератури, розробка алгоритму, оцінка та тестування. Розроблено програмний продукт на мові програмування C#. На основні проведених у даній роботі досліджень узагальнено теоретичні аспекти та методи перевірки належності заданої булевої функції окремо для кожного класу Поста, а також запропоновано спосіб представлення діаграми Поста за допомогою засобів об’єктно-орієнтованого програмування, що в подальшому дозволило вирішити основну проблему даної роботи: сформулювати алгоритм пошуку найвужчого класу Поста. В рамках подальшого дослідження пропонується оптимізація роботи програмного продукту (ПП) в першу чергу внаслідок розробки алгоритмів з меншою складністю для перевірки належності заданої булевої функції до окремих класів; розширення функціоналу, як наприклад, додавання опції пошуку замикання множини функцій; покращення інтерфейсу та зручності використання ПП.142 с.ukдіаграма постабулева функціязамиканняклас постадискретна математикарешіткаpost’s diagramboolean functionclosurepost’s classdiscrete mathematicslatticeBachelor Thesis