Бабин Д.Н. Классификация автоматных базисов Поста по разрешимости свойств полноты и А-полноты

Москва: Московский государственный университет (МГУ) имени М.В. Ломоносова, 2009. — 113 с.Рассматриваются базисы вида Φ U ν, где Φ — некоторый замкнутый класс булевых функций, заданный своим конечным базисом, а ν конечная система автоматных функций. Описаны все классы Поста Φ, для которых разрешима проблема полноты и, соответственно, А-полноты базиса Φ U ν. Приведены аналогичные результаты для многозначных логик.
Для студентов, аспирантов и научных сотрудников, специализирующихся в области математической кибернетики и дискретной математики.