Моментов Метод

(modus ponens), правило отделения,- вывода правило в формальных логич. Системах. Правило М. П. Записывается в виде схемы где Аи В- обозначения для формул формальной логич. Системы, а - логич. Связка импликации. М. П. Разрешает выводить Виз посылок А(малая посылка) и (большая посылка). Если в нек-рой интерпретации формальной системы формулы Аи истинны, то по смыслу импликации истинна формула В. М. П. Вместе с другими правилами вывода и аксиомами формальной системы определяет класс формул, ..

Ого порядка случайной величины X относит. Точки α. — есть математическое ожидание величины (X — α)к. Мк(α) = Е(Х — α)к. Если α=0, то М называется начальным, если α=EX≠0, то М. Называется центральным. Начальный М. Первого порядка — есть математическое ожидание. Центральный М. Первого порядка равен нулю. Центральный М. Второго порядка есть дисперсия. Для М. Суммы независимых слагаемых X и Y верно. Соответственно определяются выборочные М.—начальные. Центральные. ..

..

- дифференциальное уравнение с частными производными 2-го порядка вида коэффициенты к-рого зависят от переменных x, у, неизвестной функции z( х, у )и ее первых производных Тип М.- А. У. Зависит от знака выражения Если , М.-А. У. Есть уравнение эллиптич. Типа, если . - гиперболического, если - параболического. М.-А. У. Инвариантно относительно преобразования прикосновения. В частности, преобразование переводит уравнение в уравнение Развитие теории М.- А. У. Связано главным образом с ре..