Алгоритм пошуку найвужчого класу Поста для заданої булевої функції
Вантажиться...
Дата
2023
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
Анотація
Дипломна робота: 142 c., 4 ч., 10 табл., 30 рис., 2 дод., 14 джерел.
Тема дослідження: алгоритм пошуку найвужчого класу Поста для
заданої булевої функції.
Об’єкт дослідження: діаграма Поста.
Мета дослідження: розробка алгоритму та програмного забезпечення,
які дозволили б знаходити найвужчий клас Поста для заданої булевої функції,
а також перевіряти її належність до п’яти передповних класів.
Методи дослідження: формулювання проблеми, аналіз наукової та
методичної літератури, розробка алгоритму, оцінка та тестування.
Розроблено програмний продукт на мові програмування C#.
На основні проведених у даній роботі досліджень узагальнено
теоретичні аспекти та методи перевірки належності заданої булевої функції
окремо для кожного класу Поста, а також запропоновано спосіб представлення
діаграми Поста за допомогою засобів об’єктно-орієнтованого програмування,
що в подальшому дозволило вирішити основну проблему даної роботи:
сформулювати алгоритм пошуку найвужчого класу Поста.
В рамках подальшого дослідження пропонується оптимізація роботи
програмного продукту (ПП) в першу чергу внаслідок розробки алгоритмів з
меншою складністю для перевірки належності заданої булевої функції до
окремих класів; розширення функціоналу, як наприклад, додавання опції
пошуку замикання множини функцій; покращення інтерфейсу та зручності
використання ПП.
Опис
Ключові слова
діаграма поста, булева функція, замикання, клас поста, дискретна математика, решітка, post’s diagram, boolean function, closure, post’s class, discrete mathematics, lattice
Бібліографічний опис
Шабо, О. А. Алгоритм пошуку найвужчого класу Поста для заданої булевої функції : дипломна робота ... бакалавра : 124 Системний аналіз / Шабо Олексій Андрійович. – Київ, 2023. – 142 с.