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

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

0   0
Первый авторТарасов
Страниц4
ID387293
АннотацияРассматривается конечная система A функций многозначной логики, принимающих значения 0 и 1, причем проекция системы A порождает класс всех монотонных булевых функций. Показано, что найдутся константы c и d, такие, что для любой функции f из [A] глубина D(f) и сложность L(f) функции f в классе формул над A связаны соотношением D(f) □ c log2 L(f)+d.
УДК511
Тарасов, П.Б. О РАВНОМЕРНОСТИ НЕКОТОРЫХ СИСТЕМ ФУНКЦИЙ МНОГОЗНАЧНОЙ ЛОГИКИ / П.Б. Тарасов // Вестник Московского университета. Серия 4. Геология .— 2013 .— №2 .— С. 63-66 .— URL: https://rucont.ru/efd/387293 (дата обращения: 20.04.2024)

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

№2 61 точке ξ ∈ Γ и дополнительно существует такаяпостояннаяK>0, что константы Kξ всвойстве (A) удовлетворяют неравенству Kξ  K длявсех точек ξ ∈ Γ,то |r−αD−α{u(z)}|  K Следствие 4. <...> Пределы по непрерывным кривым и по последовательностям точек нормальных мероморфных и обобщенных мероморфных в единичном круге функций // Вестн. <...> Некасательный рост и ограниченность нормальных голоморфных функций // ДНАН Армении. <...> О граничных свойствах субгармонических функций, порождающих нормальные семейства на подгруппах автоморфизмов единичного круга // Изв. <...> Нормальные функции и почти периодические функции // Докл. <...> Поступила в редакцию 18.06.2012 Действительно, из утверждения теоремы 4 следует, что |u(z)|  K всюду в единичном круге. <...> Из предУДК 511 О РАВНОМЕРНОСТИ НЕКОТОРЫХ СИСТЕМ ФУНКЦИЙ МНОГОЗНАЧНОЙ ЛОГИКИ П.Б. <...> Тарасов1 Рассматривается конечная система A функций многозначной логики, принимающих значения 0 и 1, причем проекция системы A порождает класс всех монотонных булевых функций. <...> Показано, что найдутся константы c и d, такие, что для любой функции f из [A] глубина D(f) и сложность L(f) функции f в классе формул над A связаны соотношением D(f)  c log2 L(f)+ d. <...> Ключевые слова: равномерность конечных систем, многозначная логика, монотонные функции, полиномиальная эквивалентность. <...> For any finite system A of functions ofmany-valued logic taking values in the set {0,1} such that a projection of A generates the class of all monotone boolean functions, it is prooved that there exists constants c and d such that for an arbitrary function f ∈ [A] the depth D(f) and the complexity L(f) of f in the class of formulas over A satisfy the relation D(f)  c log2 L(f)+ d. <...> В работе рассматривается задача о соотношении глубины и сложности реализации функций многозначной логики из замкнутых классов формулами в конечных базисах, состоящих из функций, принадлежащих этим же классам. <...> 1Тарасов Павел Борисович — асп <...>