Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 634840)
Контекстум
Руконтекст антиплагиат система
Вестник Московского университета. Серия 1. Математика. Механика  / №6 2010

О ПОРОЖДЕНИИ ОДНОМЕСТНЫХ МОНОТОННЫХ ФУНКЦИЙ МНОГОЗНАЧНОЙ ЛОГИКИ (60,00 руб.)

0   0
Первый авторПанин
Страниц4
ID360112
АннотацияВ работе рассмотрено некоторое множество одноместных функций многозначной логики, монотонных относительно частичного порядка специального вида. Введены операции композиции и свертки. Получен критерий полноты для рассматриваемой функциональной системы.
УДК511
Панин, Д.Ю. О ПОРОЖДЕНИИ ОДНОМЕСТНЫХ МОНОТОННЫХ ФУНКЦИЙ МНОГОЗНАЧНОЙ ЛОГИКИ / Д.Ю. Панин // Вестник Московского университета. Серия 1. Математика. Механика .— 2010 .— №6 .— С. 55-58 .— URL: https://rucont.ru/efd/360112 (дата обращения: 27.04.2024)

Предпросмотр (выдержки из произведения)

Теоремы 4–6 описывают первые семь из этих девяти случаев; для последних двух случаев вопрос о том, является ли фактор V/G (гладким) многообразием, остается открытым. <...> Предположим, что последовательность (n1,. ,nl) совпадает с одной изпоследовастранству размерности dimV −3, причем группа G/G0 действует на нем линейно. <...> Теорема 4 позволяет свести произвольное представление G : V , для которого последовательность (n1,. ,nl) совпадает с одной из последовательностей (4, 4), (4, 3) и (3, 3, 3), к линейному представлениюконечной группы G/G0 в векторном пространстве V/G0. тельностей (4, 4), (4, 3) и (3, 3, 3). <...> Тогда фактор V/G0 диффеоморфен вещественному векторному простей (7), (8), (5, 3),то фактор V/G гомеоморфен вещественному векторному пространству размерности dimV −3. <...> Стырт О.Г. О пространстве орбит компактной линейной группы Ли с коммутативной связной компонентой // Тр. <...> О факторпространстве по действию конечной группы, порожденной псевдоотражениями // Изв. <...> Поступила в редакцию 23.04.2010 УДК 511 О ПОРОЖДЕНИИ ОДНОМЕСТНЫХ МОНОТОННЫХ ФУНКЦИЙ МНОГОЗНАЧНОЙ ЛОГИКИ Д.Ю. <...> Панин1 В работе рассмотрено некоторое множество одноместных функций многозначной логики, монотонных относительно частичного порядка специального вида. <...> Получен критерий полноты для рассматриваемой функциональной системы. <...> A set of unary monotone functions of the multi-valued logic is considered. <...> These functions are monotone with respect to a partial order of special form. <...> Key words: functions of multi-valued logic, unary functions, closure, complete systems. <...> В работе рассматривается некоторое множество одноместных функций многозначной логики, монотонных относительно частичного порядка специального вида. <...> Получен критерий полноты для рассматриваемой функциональной системы. <...> Подобные вопросы возникают при изучении свойств предполных классов монотонных функций, не имеющих конечных порождающих систем [1–4], а также при решении задачи о полноте систем функций многозначной логики (см., например, [5–9]). <...> Введем на множестве F операции композиции и свертки. <...> Пусть Φ1 — формула над A, реализующая функцию <...>