• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

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

2014

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

Публикации по проекту:


Mikhailovich A. Some Closed Classes of Three-Valued Logic Generated by Symmetric Functions / Cornell University. Series math "arxiv.org". 2015.
Mikhailovich A. Some Closed Classes of Three-Valued Logic Generated by Periodic Symmetric Functions / Cornell University. Series math "arxiv.org". 2016.
Михайлович А. В. О функциях из P3, порожденных (1,2)-самодвойсвенными двухслойными симметрическими функциями // В кн.: Проблемы теоретической кибернетики. Материалы XVII международной конференции. Каз. : Отечество, 2014. С. 204-206.
Михайлович А. В. Критерий базируемости для одного типа семейств замкнутых классов функций многозначной логики // В кн.: Труды IX Международной конференции "Дискретные модели в теории управляющих систем" / Отв. ред.: В. Алексеев, Д. Романов, Б. Данилов. М. : МАКС Пресс, 2015. С. 163-166.
Михайлович А. В. О некоторых свойствах замкнутых классов, порождённых квазиоднослойными функциями трехзначной логики // В кн.: Материалы X молодежной научной школы по дискретной математике и ее приложениям / Под общ. ред.: А. В. Чашкин. М. : Издательство ИПМ РАН, 2015. С. 51-55.
Михайлович А. В. О базируемости классов функций трехзначной логики, порожденных периодическими симметрическими функциями // В кн.: Материалы XII Международного семинара "Дискретная математика и её приложения" имени академика О.Б. Лупанова (Москва, МГУ, 20-25 июня 2016г.) / Под общ. ред.: О. М. Касим-Заде. М. : Изд-во механико-математического факультета МГУ, 2016. С. 209-212.
A.V. Mikhailovich, V. V. Kochergin. Some Extension of Inversion Complexity of Boolean Functions / Cornell University. Series math "arxiv.org". 2015.
Михайлович А. В., Кочергин В. В. О немонотонной сложности функций k-значной логики // В кн.: Материалы XII Международного семинара "Дискретная математика и её приложения" имени академика О.Б. Лупанова (Москва, МГУ, 20-25 июня 2016г.) / Под общ. ред.: О. М. Касим-Заде. М. : Изд-во механико-математического факультета МГУ, 2016. С. 142-145.
Mikhailovich A. V., Kochergin V. V. Inversion complexity of functions of multi-valued logic / Cornell University. Series math "arxiv.org". 2015.