Траекторная классификация интегрируемых задач Лагранжа и Горячева–Чаплыгина методами компьютерного анализа // Матем. сб. <...> Поступила в редакцию 27.04.2011 УДК 519.716 О ЗАМКНУТЫХ КЛАССАХ ТРЕХЗНАЧНОЙ ЛОГИКИ, ПОРОЖДЕННЫХ СИСТЕМАМИ, СОДЕРЖАЩИМИ СИММЕТРИЧЕСКИЕ ФУНКЦИИ А. В. <...> Михайлович1 Изучаются замкнутые классы функций трехзначной логики, порождающие системы которых содержат немонотонные симметрические функции, принимающие значения из множества {0, 1}. <...> Показано, что в некоторых случаях задачи о базируемости и о конечной порожденности для таких классов сводятся к аналогичным задачам для классов, порождающие системы которых являются подмножествами порождающих систем исходных множеств. <...> В работе рассматривается задача о существовании базисов для некоторых семейств замкнутых классов функций трехзначной логики. <...> Э. Л. Пост [1, 2] описал все замкнутые классы булевых функций и показал, что каждый такой класс имеет конечный базис. <...> На случай k-значных логик при k 3 этот результат не распространяется. <...> В [3] показано, что при всех k 3 в Pk (где Pk — множество всех функций k-значной логики) существуют замкнутые классы как со счетным базисом, так и не имеющие базиса. <...> Следует отметить, что порождающие системы классов из этих примеров состоят из симметрических функций, принимающих значения только из множества {0, 1} и равных нулю на единичном наборе и наборах, содержащих хотя бы одну нулевую компоненту. <...> В [4, 5] рассматривались некоторые семейства классов, порожденных симметрическими функциями такого вида. <...> В данной работе рассматривается вопрос о сведении задачи 1Михайлович Анна Витальевна — канд. физ.-мат. наук, доцент каф. высшей математики ф-та ЭСТ Московского государственного университета леса, e-mail: avmikhailovich@gmail.com. вестн. моск. ун-та. сер. <...> Набор из En, все компоненты кобазируемости для некоторых семейств классов, содержащих функции с указанными свойствами, к аналогичной задаче для классов, порождающие системы которых являются <...>