Зарегистрироваться

Бабин Дмитрий Николаевич

Доктор физико-математических наук, профессор

Произведения автора

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