Алгоритм побудови базисної решітки класу M₂ булевих алгебр

Автор(и)

DOI:

https://doi.org/10.24144/2616-7700.2022.40(1).195-204

Ключові слова:

булева алгебра, фактор решітка, базисна еквівалентність

Анотація

У даній роботі продовжується дослідження базисної решітки класу алгебр M2. Базисну решітку класу M2 можна побудувати з сигнатурної решітки цього класу. Базисні решітки є фактор решітками відповідних сигнатурних решіток. У даній роботі наводиться алгоритм побудови базисної решітки (фактор- решітки) класу алгебр M2, наводиться повна інформація про базисну решітку у вигляді таблиць, які вказують розташування суміжних класів і ребер, що їх з’єднують.

Біографії авторів

І. А. Мич, ДВНЗ «Ужгородський національний університет»

Доцент кафедри кібернетики і прикладної математики. Кандидат фізико-математичних наук

В. В. Ніколенко, ДВНЗ «Ужгородський національний університет»

Доцент кафедри інформаційних управляючих систем та технологій. Кандидат фізико-математичних наук

О. В. Варцаба, ДВНЗ «Ужгородський національний університет»

Аспірант кафедри кібернетики і прикладної математики

В. С. Динис, ДВНЗ «Ужгородський національний університет»

Аспірант кафедри кібернетики і прикладної математики

Посилання

  1. Mych, I. A., Nykolenko, V. V., & Vartsaba, O. V. (2020). Investigation of signature cube of universal boolean algebra. Scientific Bulletin of Uzhhorod University. Ser. Of Mathematics and Informatics, 2(37), 157–167. https://doi.org/10.24144/2616-7700.2017.1(30).79–86. [in Ukrainian].
  2. Mych, I. A., Nykolenko, V. V., & Vartsaba, O. V. (2020). Structure of signature cube of Boolean algebra. Scientific Bulletin of Uzhhorod University. Ser. Of Mathematics and Informatics, 1(38), 149–156. https://doi.org/10.24144/2616-7700.2021.38(1).149-156 [in Ukrainian].
  3. Mych, I. A., Nykolenko, V. V., & Vartsaba, O. V. (2021). Basic equivalence in class universal boolean algebras. Scientific Bulletin of Uzhhorod University. Ser. Of Mathematics and Informatics, 2(39), 152–157. https://doi.org/10.24144/2616-7700.2021.39(2).152-157 [in Ukrainian].

##submission.downloads##

Опубліковано

2022-05-12

Як цитувати

Мич, І. А., Ніколенко, В. В., Варцаба, О. В., & Динис, В. С. (2022). Алгоритм побудови базисної решітки класу M₂ булевих алгебр. Науковий вісник Ужгородського університету. Серія «Математика і інформатика», 40(1), 195–204. https://doi.org/10.24144/2616-7700.2022.40(1).195-204

Номер

Розділ

Iнформатика, комп’ютернi науки та прикладна математика