Алгоритм пошуку найвужчого класу Поста для заданої булевої функції

Скорочена інформація про документ
dc.contributor.advisorСпекторський, Ігор Якович
dc.contributor.authorШабо, Олексій Андрійович
dc.date.accessioned2023-09-19T08:44:49Z
dc.date.available2023-09-19T08:44:49Z
dc.date.issued2023
dc.description.abstractДипломна робота: 142 c., 4 ч., 10 табл., 30 рис., 2 дод., 14 джерел. Тема дослідження: алгоритм пошуку найвужчого класу Поста для заданої булевої функції. Об’єкт дослідження: діаграма Поста. Мета дослідження: розробка алгоритму та програмного забезпечення, які дозволили б знаходити найвужчий клас Поста для заданої булевої функції, а також перевіряти її належність до п’яти передповних класів. Методи дослідження: формулювання проблеми, аналіз наукової та методичної літератури, розробка алгоритму, оцінка та тестування. Розроблено програмний продукт на мові програмування C#. На основні проведених у даній роботі досліджень узагальнено теоретичні аспекти та методи перевірки належності заданої булевої функції окремо для кожного класу Поста, а також запропоновано спосіб представлення діаграми Поста за допомогою засобів об’єктно-орієнтованого програмування, що в подальшому дозволило вирішити основну проблему даної роботи: сформулювати алгоритм пошуку найвужчого класу Поста. В рамках подальшого дослідження пропонується оптимізація роботи програмного продукту (ПП) в першу чергу внаслідок розробки алгоритмів з меншою складністю для перевірки належності заданої булевої функції до окремих класів; розширення функціоналу, як наприклад, додавання опції пошуку замикання множини функцій; покращення інтерфейсу та зручності використання ПП.uk
dc.description.abstractotherThesis: 142 p., 4 pt., 10 tabl., 30 fig., 2 appendices, 14 sources. Research topic: an algorithm for finding the narrowest Post’s class for a given Boolean function. Object of the research: the Post’s diagram. Purpose of the study: to develop an algorithm and software that would allow to find the narrowest Post’s class for a given Boolean function, as well as to check its membership in five precomplete classes. Research methods: problem formulation, analysis of scientific and methodological literature, algorithm development, evaluation, and testing. A software product was developed in the C# programming language. We summarized theoretical aspects and methods for checking the membership of a given Boolean function separately for each Post’s class, using the research conducted in this paper. We also proposed a method for representing the Post’s diagram using object-oriented programming. This further allowed us to solve the main problem of this work: to formulate an algorithm for finding the narrowest Post’s class. As part of further research, it is proposed to optimize the work of the software product primarily through the development of algorithms with less complexity for checking whether a given Boolean function belongs to certain classes; expanding the functionality, such as adding an option to search for the closure of a set of functions; improving the interface and usability of the software product.uk
dc.format.extent142 с.uk
dc.identifier.citationШабо, О. А. Алгоритм пошуку найвужчого класу Поста для заданої булевої функції : дипломна робота ... бакалавра : 124 Системний аналіз / Шабо Олексій Андрійович. – Київ, 2023. – 142 с.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/60469
dc.language.isoukuk
dc.publisher.placeКиївuk
dc.subjectдіаграма постаuk
dc.subjectбулева функціяuk
dc.subjectзамиканняuk
dc.subjectклас постаuk
dc.subjectдискретна математикаuk
dc.subjectрешіткаuk
dc.subjectpost’s diagramuk
dc.subjectboolean functionuk
dc.subjectclosureuk
dc.subjectpost’s classuk
dc.subjectdiscrete mathematicsuk
dc.subjectlatticeuk
dc.titleАлгоритм пошуку найвужчого класу Поста для заданої булевої функціїuk
dc.typeBachelor Thesisuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Shabo_bakalavr.pdf
Розмір:
3.82 MB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
9.1 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Бакалаврські роботи (ММСА)
Бакалаврські роботи