Тогда существуют нетривиальные формулы Φ1 и Φ2 над A,такие,что Φ представляется в виде Φ1(Φ2) и выполняются неравенства Имеет место следующее утверждение (см. также [5, 6, 11]). <...> Пусть A — конечнаясистема функций из Pk,2, такая, что каждая функция из A 63 Ввиду того что pr[A]=M, существует функция f( x) ∈ [A], такая, что prf =0. <...> L(f)q f∈[A] Докажем что для любой формулы Φ над A существует формула Ψ над A, такая, что Φ эквивалентна Ψ и D(Ψ) c log2 L(Φ)+d. <...> Утверждение будем доказывать индукцией по сложности формулы Φ. <...> Пусть утверждение справедливо для всех формул сложности меньше N, N> q, докажем его для формулы Φ сложности N. <...> Работа выполнена при финансовой поддержке РФФИ (проект №11–01–00508) и программы фундаментальных исследований ОМНРАН “Алгебраические и комбинаторные методы математической кибернетики и информационные системы нового поколения” (проект “Задачи оптимального синтеза управляющих систем”). <...> О глубине и полиномиальной эквивалентности формул для замкнутых классов двузначной логики // Матем. заметки. <...> Математические вопросы кибернетики // Информационные материалы Научного совета по комплексной проблеме “Кибернетика” АН СССР. <...> О соотношении между сложностью и глубиной формул // Методы дискретного анализа в синтезе управляющих систем. <...> О соотношении между глубиной и сложностью формул для замкнутых классов двузначной логики // IV Всесоюз. конф. <...> О глубине и сложности формул в некоторых классах k-значной логики // Вестн. <...> О соотношении между глубиной и сложностью формул для предполных классов k-значной логики // Математические вопросы кибернетики. <...> №2 65 УДК 531 АСИМПТОТИЧЕСКИЙ МЕТОД ПОЛУЧЕНИЯ УРАВНЕНИЙ ТЕОРИИ ПЛАСТИН РЕЙССНЕРА–МИНДЛИНА К.А. <...> Шешенин2 В статье предлагается вывод уравнений теории пластин Кирхгофа–Лява и теории пластин Рейсснера–Миндлина при помощи асимптотического метода осреднения. <...> Развитие сопротивления материалов идет как по пути совершенствования расчетных методов, так и по пути расширения физических <...>