?
О базируемости замкнутых классов функций трехзначной логики, порожденных симметрическими функциями с ограниченным числом слоев
С. 80-85.
Изучаются замкнутые классы функций трехзначной логики, порождающие системы которых содержат симметрические функции, принимающие значения из множества {0, 1} и принимающие значение 1 на ограниченном числе слоев. Для таких замкнутых классов получены критерии базируемости и конечной порожденности.
В книге
М. : Издательство ИПМ РАН, 2013
Михайлович А. В., В кн. : Материалы X молодежной научной школы по дискретной математике и ее приложениям. : М. : Издательство ИПМ РАН, 2015. С. 51-55.
В данной работе рассматривается семейство классов функций трехзначной логики, порожденных квазиоднослойными функциями принимающими значения из множества {0, 1}. Для таких классов получены критерии базируемости и конечной порождённости. ...
Добавлено: 8 апреля 2016 г.
Михайлович А. В., В кн. : Материалы XII Международного семинара "Дискретная математика и её приложения" имени академика О.Б. Лупанова (Москва, МГУ, 20-25 июня 2016г.). : М. : Изд-во механико-математического факультета МГУ, 2016. С. 209-212.
В работе рассматриваются периодические симметрические функции трехзначной логики, принимающие значения из множества {0,1}. Для классов, порождённых функциями с периодом, являющимся степенью простого числа, получены критерии базируемости и конечной порождённости. ...
Добавлено: 1 сентября 2016 г.
Михайлович А. В., В кн. : Проблемы теоретической кибернетики. Материалы XVII международной конференции. : Каз. : Отечество, 2014. С. 204-206.
В работе рассматриваются замкнутые классы функций, порожденные двухслойными симметрическими фукнциями, принимающими все значения из множества {0,1,2}, причем принимающие значения 1 и 2 на наборах из множества {1,2}^n. Для этих классов получены критерии базируемости и конечной порожденности. ...
Добавлено: 12 марта 2015 г.
Михайлович А. В., Прикладная дискретная математика 2015 № 1 С. 17-26
Изучаются замкнутые классы функций трехзначной логики, порожденные симметрическими функциями, принимающими значение 1 на ограниченном числе слоев, а на остальных наборах принимающих нулевое значение. Для этих классов получены критерии базируемости и конечной порожденности. Установлена зависимость наличия базиса (наличия конечного базиса) в рассматриваемом классе от существования базиса (существования конечного базиса соответственно) в подклассах, порожденных монотонными и немонотонными ...
Добавлено: 11 марта 2015 г.
Михайлович А. В., В кн. : Математические вопросы кибернетики. Вып. 18.: М. : Физматлит, 2013. С. 123-212.
В работе изучаются свойства замкнутых классов функций многозначной логики. Рассматривается задача о существовании базисов для некоторых семейств замкнутых классов. Функции из порождающих систем обладают следующими свойствами: каждая функция является симметрической, принадлежит множество P<sub>k,2</sub> (то есть принимает значения только из множества {0,1}), принимает значение 0 на единичном наборе и на всех наборах, содержащих хотя бы одну ...
Добавлено: 25 марта 2014 г.
Михайлович А. В., Moscow University Mathematics Bulletin 2012 Vol. 67 No. 1 P. 41-45
Изучаются замкнутые классы функций трехзначной логики, порождающие системы которых содержат симметрические функции, принимающие значения из множества {0, 1}. Показано, что в некоторых случаях задачи о базируемости и конечной порожденности для таких классов сводятся к аналогичным задачам для классов, порождающие системы которых являются подмножествами порождающих систем исходных множеств. ...
Добавлено: 30 октября 2012 г.
Михайлович А. В., Вестник Нижегородского университета им. Н.И. Лобачевского 2013 № 1 С. 208-212
Изучаются замкнутые классы функций трехзначной логики, порожденные симметрическими функциями, принимающими значения из множества {0, 1}. Для некоторых классов, порожденных элементарными периодическими симметрическими функциями такого вида, получены критерии базируемости и конечной порожденности. ...
Добавлено: 11 апреля 2013 г.
Михайлович А. В., В кн. : Труды IX Международной конференции "Дискретные модели в теории управляющих систем". : М. : МАКС Пресс, 2015. С. 163-166.
В работе изучаются замкнутые классы функций многозначной логики. Рассматриваются семейства, порожденные функциями из множеств, обладающих специальными свойствами. Для таких классов получен критерий базируемости. ...
Добавлено: 28 марта 2015 г.
Михайлович А. В., Вестник Московского университета. Серия 1: Математика. Механика 2012 № 1 С. 58-62
Изучаются замкнутые классы функций трехзначной логики, порождающие системы которых содержат симметрические функции, принимающие значения из множества {0, 1}. Показано, что в некоторых случаях задачи о базируемости и конечной порожденности для таких классов сводятся к аналогичным задачам для классов, порождающие системы которых являются подмножествами порождающих систем исходных множеств. ...
Добавлено: 30 октября 2012 г.
Михайлович А. В., В кн. : Материалы VIII молодежной научной школы по дискретной математике и ее приложениям (Москва, 24–29 октября 2011 г.). Ч. II.: М. : Механико-математический факультет МГУ, 2011. С. 16-19.
Рассматривается некоторое семейство замкнутых классов функций трехзначной логики, порожденных монотонными симметрическими функциями. Для этих классов получены критерии базируемости и конечной порожденности. ...
Добавлено: 23 ноября 2012 г.
О замкнутых классах функций трехзначной логики, порожденных периодическими симметрическими функциями
Михайлович А. В., В кн. : Проблемы теоретической кибернетики. Материалы XVI Международной конференции (Нижний Новгород, 20–25 июня 2011 г.). : Н. Новгород : Нижегородского госуниверситета, 2011. С. 319-322.
В работе изучается семейство замкнутых классов, порожденных периодическими симметрическими функциями с ограниченным периодом. Показано, что такой класс имеет базис тогда и только тогда, когда порождающая система содержит конечное число функций. ...
Добавлено: 22 ноября 2012 г.
Михайлович А. В., В кн. : Материалы 5-й Российской школы-семинара "Синтаксис и семантика логических систем". : Улан-Удэ : Издательство Бурятского госуниверситета, 2017. С. 91-95.
В работе описана решётка всех замкнутых классов, содержащихся в замыкании всех функций из примеров Ю. И. Янова и А. А. Мучника. ...
Добавлено: 22 сентября 2017 г.
Михайлович А. В., В кн. : Материалы XI Международного семинара «Дискретная математика и её приложения», посвященного 80-летию со дня рождения академика О.Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.). : М. : Механико-математический факультет МГУ, 2012. С. 204-206.
Изучаются замкнутые классы функций трехзначной логики, принимающие значения из множества {0,1}. Для класса монотонных функций получено описание всех порождающих систем, состоящих из монотонных симметрических функций. ...
Добавлено: 9 октября 2012 г.
Existence of Finite Total Equivalence Systems for Certain Closed Classes of 3-Valued Logic Functions
Макаров И. А., Logica Universalis 2015 Vol. 9 No. 1 P. 1-26
The article deals with finding finite total equivalence systems for formulas based on an arbitrary closed class of functions of several variables defined on the set \{0, 1, 2\} and taking values in the set \{0,1\} with the property that the restrictions of its functions to the set \{0, 1\} constitutes a closed class of ...
Добавлено: 28 февраля 2015 г.
Макаров И. А., / Logica Universalis. Series " ". 2015.
The article deals with finding finite total equivalence systems (FTES) for formulas based on an arbitrary closed class of functions of several variables defined on the set {0, 1, 2} and taking values in the set {0,1} with the property that the restrictions of its functions to the set {0, 1} constitutes a closed class ...
Добавлено: 17 октября 2013 г.
Михайлович А. В., Кочергин В. В., В кн. : Материалы XIII Международного семинара "Дискретная математика и её приложения" имени академика О.Б. Лупанова. : Изд-во механико-математического факультета МГУ, 2019. С. 129-131.
Добавлено: 7 декабря 2021 г.
V.V. Kochergin, A.V. Mikhailovich, Computational Mathematics and Modeling 2019 Vol. 30 No. 1 P. 13-25
Добавлено: 22 апреля 2019 г.
Михайлович А. В., В кн. : Материалы XVIII международной конференции "Проблемы теоретической кибернетики" (Пенза, 19-23 июня 2017 г.). : М. : МАКС Пресс, 2017. С. 166-168.
В работе описаны все замкнутые классы функций многозначной логики, содержащиеся в классе из примера А. А. Мучника замкнутого класса со счётным базисом. ...
Добавлено: 21 сентября 2017 г.
Кочергин В. В., Михайлович А. В., Ученые записки Казанского университета. Серия: Физико-математические науки 2020 Т. 162 № 3 С. 311-321
Исследована задача о сложности реализации функций многозначной логики логическими схемами в базисе, состоящем из элементов двух типов. Элементами первого типа являются произвольные монотонные (относительно стандартного порядка) функции, таким элементам приписан нулевой вес. Конечное число немонотонных функций образует непустое множество элементов второго типа, каждой такой функции приписан единичный вес. Установлены верхняя и нижняя оценки немонотонной сложности ...
Добавлено: 6 декабря 2021 г.
Olga Gerasimova, Макаров И. А., , in : Proceedings of the 10th Panhelleic Logic Symposium. : Samos Island : University of Aegean, 2015. Ch. 23. P. 82-86.
Добавлено: 19 сентября 2015 г.
Михайлович А. В., Кочергин В. В., В кн. : Материалы 5-й Российской школы-семинара "Синтаксис и семантика логических систем". : Улан-Удэ : Издательство Бурятского госуниверситета, 2017. С. 48-52.
Исследуется задача о сложности реализации систем функций k-значной логики схемами из функциональных элементов (логическими схемами) в базисах, состоящих из элементов двух сортов. Элементами первого сорта являются произвольные монотонные функции, таким элементам приписан нулевой вес. Конечное число немонотонных функций образует непустое множество элементов второго сорта, каждой такой функции приписан единичный вес. ...
Добавлено: 22 сентября 2017 г.