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