Классификация автоматных базисов Поста по разрешимости свойств полноты и А-полноты, Бабин Д.Н., 2009.
Рассматриваются базисы вида Ф U v где Ф некоторый замкнутый класс булевых функций, заданный своим конечным базисом, а v конечная система автоматных функций. Описаны все классы Поста Ф, для которых разрешима проблема полноты и, соответственно, А-полноты базиса Ф U v. Приведены аналогичные результаты для многозначных логик.
Для студентов, аспирантов и научных сотрудников, специализирующихся в области математической кибернетики и дискретной математики.
