?
Some Closed Classes of Three-Valued Logic Generated by Periodic Symmetric Functions
Cornell University
,
2016.
Научное направление:
Математика
Язык:
английский
Ключевые слова: функции многозначной логикизамкнутые классыбазисmulti-valued logic functionsgenerating systemsbasisclosed classesпорождающая система
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Михайлович А. В., Вестник Нижегородского университета им. Н.И. Лобачевского 2013 № 1 С. 208-212
Изучаются замкнутые классы функций трехзначной логики, порожденные симметрическими функциями, принимающими значения из множества {0, 1}. Для некоторых классов, порожденных элементарными периодическими симметрическими функциями такого вида, получены критерии базируемости и конечной порожденности. ...
Добавлено: 11 апреля 2013 г.
Михайлович А. В., Moscow University Mathematics Bulletin 2012 Vol. 67 No. 1 P. 41-45
Изучаются замкнутые классы функций трехзначной логики, порождающие системы которых содержат симметрические функции, принимающие значения из множества {0, 1}. Показано, что в некоторых случаях задачи о базируемости и конечной порожденности для таких классов сводятся к аналогичным задачам для классов, порождающие системы которых являются подмножествами порождающих систем исходных множеств. ...
Добавлено: 30 октября 2012 г.
Михайлович А. В., Прикладная дискретная математика 2015 № 1 С. 17-26
Изучаются замкнутые классы функций трехзначной логики, порожденные симметрическими функциями, принимающими значение 1 на ограниченном числе слоев, а на остальных наборах принимающих нулевое значение. Для этих классов получены критерии базируемости и конечной порожденности. Установлена зависимость наличия базиса (наличия конечного базиса) в рассматриваемом классе от существования базиса (существования конечного базиса соответственно) в подклассах, порожденных монотонными и немонотонными ...
Добавлено: 11 марта 2015 г.
Михайлович А. В., В кн. : Материалы XII Международного семинара "Дискретная математика и её приложения" имени академика О.Б. Лупанова (Москва, МГУ, 20-25 июня 2016г.). : М. : Изд-во механико-математического факультета МГУ, 2016. С. 209-212.
В работе рассматриваются периодические симметрические функции трехзначной логики, принимающие значения из множества {0,1}. Для классов, порождённых функциями с периодом, являющимся степенью простого числа, получены критерии базируемости и конечной порождённости. ...
Добавлено: 1 сентября 2016 г.
Михайлович А. В., В кн. : Материалы IX молодежной научной школы по дискретной математике и ее приложениям (Москва, 16-21 сентября 2013 г.). : М. : Издательство ИПМ РАН, 2013. С. 80-85.
Изучаются замкнутые классы функций трехзначной логики, порождающие системы которых содержат симметрические функции, принимающие значения из множества {0, 1} и принимающие значение 1 на ограниченном числе слоев. Для таких замкнутых классов получены критерии базируемости и конечной порожденности. ...
Добавлено: 24 октября 2013 г.
Михайлович А. В., В кн. : Материалы X молодежной научной школы по дискретной математике и ее приложениям. : М. : Издательство ИПМ РАН, 2015. С. 51-55.
В данной работе рассматривается семейство классов функций трехзначной логики, порожденных квазиоднослойными функциями принимающими значения из множества {0, 1}. Для таких классов получены критерии базируемости и конечной порождённости. ...
Добавлено: 8 апреля 2016 г.
Михайлович А. В., В кн. : Математические вопросы кибернетики. Вып. 18.: М. : Физматлит, 2013. С. 123-212.
В работе изучаются свойства замкнутых классов функций многозначной логики. Рассматривается задача о существовании базисов для некоторых семейств замкнутых классов. Функции из порождающих систем обладают следующими свойствами: каждая функция является симметрической, принадлежит множество P<sub>k,2</sub> (то есть принимает значения только из множества {0,1}), принимает значение 0 на единичном наборе и на всех наборах, содержащих хотя бы одну ...
Добавлено: 25 марта 2014 г.
Михайлович А. В., В кн. : Проблемы теоретической кибернетики. Материалы XVII международной конференции. : Каз. : Отечество, 2014. С. 204-206.
В работе рассматриваются замкнутые классы функций, порожденные двухслойными симметрическими фукнциями, принимающими все значения из множества {0,1,2}, причем принимающие значения 1 и 2 на наборах из множества {1,2}^n. Для этих классов получены критерии базируемости и конечной порожденности. ...
Добавлено: 12 марта 2015 г.
Михайлович А. В., Вестник Московского университета. Серия 1: Математика. Механика 2012 № 1 С. 58-62
Изучаются замкнутые классы функций трехзначной логики, порождающие системы которых содержат симметрические функции, принимающие значения из множества {0, 1}. Показано, что в некоторых случаях задачи о базируемости и конечной порожденности для таких классов сводятся к аналогичным задачам для классов, порождающие системы которых являются подмножествами порождающих систем исходных множеств. ...
Добавлено: 30 октября 2012 г.
Михайлович А. В., В кн. : Труды IX Международной конференции "Дискретные модели в теории управляющих систем". : М. : МАКС Пресс, 2015. С. 163-166.
В работе изучаются замкнутые классы функций многозначной логики. Рассматриваются семейства, порожденные функциями из множеств, обладающих специальными свойствами. Для таких классов получен критерий базируемости. ...
Добавлено: 28 марта 2015 г.
Kochergin Vadim V., Mikhailovich Anna V., Discrete Mathematics and Applications 2017 Vol. 27 No. 5 P. 295-302
The paper is concerned with the complexity of realization of 𝑘-valued logic functions by logic circuits over an infinite complete bases containing all monotone functions; the weight of monotone functions (the cost of use) is assumed to be 0. The complexity problem of realizations of Boolean functions over a basis having negation as the only ...
Добавлено: 14 марта 2018 г.
Михайлович А. В., Кочергин В. В., Дискретная математика 2016 Т. 28 № 4 С. 80-90
Рассматривается задача о сложности реализации функций k-значной логики схемами в бесконечных полных базисах, содержащих все монотонные функции; вес монотонных функций (стоимость использования) считается равным 0. Для сложности реализации булевых функций в случае, когда единственным немонотонным элементом базиса является отрицание, исчерпывающее описание было получено А. А. Марковым. В 1957 году он установил, что минимальное число отрицаний, достаточное для ...
Добавлено: 25 февраля 2017 г.
Улан-Удэ : Издательство Бурятского госуниверситета, 2017
Сборник содержит материалы 5-й школы-семинара «Синтаксис и семантика логических систем», проходившей в Улан-Удэ с 8 по 12 августа 2017 г. Тематика конференции включает следующие направления: теория моделей и универсальная алгебра; теория булевых и конечнозначных функций; формальные языки и логические исчисления; математическая логика в образовании; ...
Добавлено: 22 сентября 2017 г.
Mikhailovich A.V., Kochergin V.V., Siberian Electronic Mathematical Reports 2017 Vol. 14 P. 1100-1107
Добавлено: 28 сентября 2017 г.
Кочергин В. В., Михайлович А. В., Дискретный анализ и исследование операций 2018 Т. 25 № 1 С. 42-74
Исследуется сложность реализации функций k-значной логики (k > 2) схемами из функциональных элементов в бесконечном базисе, состоящем из отрицания Поста, т.е. функции x+1 (mod k), и всех монотонных функций. Под сложностью понимается общее число элементов в схеме. Для произвольной функии f установлены отличающиеся друг от друга не более чем на единицу нижняя и верхняя оценки ...
Добавлено: 28 сентября 2017 г.
Макаров И. А., / 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 г.
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 г.
V.V. Kochergin, A.V. Mikhailovich, Computational Mathematics and Modeling 2019 Vol. 30 No. 1 P. 13-25
Добавлено: 22 апреля 2019 г.
Kochergin V.V., Mikhailovich A.V., Journal of Applied and Industrial Mathematics (перевод журналов "Сибирский журнал индустриальной математики" и "Дискретный анализ и исследование операций") 2018 Vol. 12 No. 1 P. 40-58
Добавлено: 11 марта 2018 г.
Mikhailovich A. V., Kochergin V. V., / Cornell University. Series math "arxiv.org". 2015.
Добавлено: 20 октября 2015 г.
Михайлович А. В., В кн. : Материалы 5-й Российской школы-семинара "Синтаксис и семантика логических систем". : Улан-Удэ : Издательство Бурятского госуниверситета, 2017. С. 91-95.
В работе описана решётка всех замкнутых классов, содержащихся в замыкании всех функций из примеров Ю. И. Янова и А. А. Мучника. ...
Добавлено: 22 сентября 2017 г.
Ревенко А. В., Кузнецов С. О., Fundamenta Informaticae 2012 Vol. 4 No. 115 P. 377-394
Атрибутивное исследование свойств функций на множествах. ...
Добавлено: 31 декабря 2012 г.