«ИЗВЕСТИЯ ИРКУТСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА». СЕРИЯ «МАТЕМАТИКА»
«IZVESTIYA IRKUTSKOGO GOSUDARSTVENNOGO UNIVERSITETA». SERIYA «MATEMATIKA»
«THE BULLETIN OF IRKUTSK STATE UNIVERSITY». SERIES «MATHEMATICS»
ISSN 1997-7670 (Print)
ISSN 2541-8785 (Online)

Список выпусков > Серия «Математика». 2010. Том 4

Стандартные формы мультиопераций в суперклонах

Автор(ы)
Н. А. Перязев
Аннотация

В статье изучаются стандартные формы представления мультиопераций, в частности определяется ключевая стандартная форма мультиопераций и представлен алгоритм нахождения ее в суперклонах.

Ключевые слова
мультиоперация, стандартная форма, алгоритм, пересечение, суперклон
УДК
519.7
Литература

1. Бондарчук В. Г. Теория Галуа для алгебр Поста / В. Г. Бондарчук, Л. А. Калужнин, В. Н. Котов, Б. А. Ромов // Кибернетика. – 1969. – № 3. – С. 1–10 № 5. – С. 1–9.

2. Мальцев А. И. Итеративные алгебры Поста / А. И. Мальцев. – Новосибирск: Новосибирский государственный университет, 1976. – 100 с.

3. Перязев Н.А. Клоны, ко-клоны, гиперклоны и суперклоны / Н. А. Перязев // Уч. зап. Казан. гос. ун-та. Сер.: Физико-математические науки. – 2009. – Т. 151, кн. 2. – С. 120–125.

4. Перязев Н.А. Супеклоны мультиопераций /Н. А. Перязев // Дискретные системы в теории управляющих систем : тр. VIII междунар. конф. – М. : МАИС Пресс, 2009. – С.233–238.

5. Перязев Н. А. Минимизация мультиопераций в классе стандартных форм / Н. А. Перязев, И. А. Яковчук // Изв. Иркут. гос. ун-та. Сер.: Математика. – 2009. – T. 2, № 2. – С. 117–126.

6. Яблонский С.В., Функциональные построения в k-значной логике / С. В. Яблонский // Тр. мат. ин-та АН СССР им. В.А. Стеклова. – 1958. – Т. 51. – С. 5–142.

7. Lau D. Function Algebras on Finite Sets / D. Lau. – Springer-Verlag Berlin YeideWater Resourses Research. – 2006. – 668 p.

8. Romov B.A. The completeness problem in partial hyperclones / B. A. Romov // Discrete Mathematics. – 2006. – Vol. 306. – P. 1405–1414.


Полная версия (русская)