Еквацiональна решiтка одного класу алгебр

Автор(и)

  • І. А. Мич
  • В. В. Нiколенко

DOI:

https://doi.org/10.24144/2616-7700.2018.2(33).109-113

Анотація

У роботi розглядається задача знаходження повних систем тотожностей в класi алгебр, формули яких описують булевi зображення. Побудованi скiнченнi повнi системи тотожностей дали можливiсть знайти Т-базис i побудувати еквацiональну решiтку такого класу алгебр.

Посилання

Мальцев А. И. Алгебраические системы. – М.: Наука., 1970. – 392 с.

Линдон Р. К. Тождества в двухзначных исчислениях // Кибернетический сборник.– 1960.— №1.— С.234-245.

Калицкий Я., Скотт Д. Эквациональная полнота абстрактных алгебр // Кибернетический сборник.– 1961.— №2.– С.41-52.

Линдон Р. К. Тождества в конечных алгебрах // Кибернетический сборник.– 1960.– 1, №.– С. 246–248.

Мурский В. Л. Конечная базируемость тождеств и другие свойства «почти всех» конечных алгебр // Проблемы кибернетики. – 1978. – 8, №30. – С. 43–56.

Яблонский С. В., Гаврилов Г. П., Кудрявцев В. Б. Функции лгебры логики и классы Поста.– М.:Наука, 1966.– 120 с.

Post E. Two-valued iterative systems, 1941.

Мич I. А., Нiколенко В. В. Повнi системи тотожностей в одному класi алгебр // Наук. вiсник Ужгород. ун-ту. Сер. матем. i iнформ. – Ужгород, – 2017. – Вип. 1 (30). – С. 79–86.

Мич I. А., Нiколенко В. В. Досконалi диз’юнктивнi нормальнi форми в одному класi алгебр // Наук. вiсник Ужгород. ун-ту. Сер. матем. i iнформ. – Ужгород, – 2017. – Вип. 2 (31). – С. 123–128.

Мич I. А., Нiколенко В. В., Варцаба О. В. Досконалi диз’юнктивнi нормальнi форми алгебри U(2) // Наук. вiсник Ужгород. ун-ту. Сер. матем. i iнформ. – Ужгород, – 2018. – Вип. 1 (32). – С. 124–129.

##submission.downloads##

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

2019-06-13

Як цитувати

Мич, І. А., & Нiколенко В. В. (2019). Еквацiональна решiтка одного класу алгебр. Науковий вісник Ужгородського університету. Серія «Математика і інформатика», 2(33), 109–113. https://doi.org/10.24144/2616-7700.2018.2(33).109-113

Номер

Розділ

Статті

Статті цього автора (авторів), які найбільше читають