разрешимость
101ЛИНЕЙНЫЙ ДИФФЕРЕНЦИАЛЬНЫЙ ОПЕРАТОР — в узком смысле оператор, действующий на функции, заданные на открытом множестве и принимающий значения в поле или по формуле где функции со значениями в том же поле, наз. коэффициентами А. Если коэффициенты принимают значения во множестве матриц… …
102ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич …
103ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ — формализации содержательных логич. теорий; выводимые объекты Л. п. интерпретируются как суждения, составленные из простейших (имеющих, вообще говоря, субъектно предикатную структуру) при помощи пропозициональных связок и кванторов. Чаще всего… …
104МЕРОМОРФНАЯ ФУНКЦИЯ — одного комплексного переменного в области (или на римановой поверхности W) голоморфная функция в области к рая в каждой особой точке имеет полюс (т. е. изолированная точка множества не имеющего предельных точек в W, и ). Совокупность M(W) всех М …
105МЕТЕОРОЛОГИИ МАТЕМАТИЧЕСКИЕ ЗАДАЧИ — задачи в области физики, химии и биологии атмосферы, решаемые с помощью математич. методов. Большинство М. м. з. метеорологии характеризуются сложностью и большим объемом перерабатываемой информации, поэтому для решения этих задач наряду с… …
106МИНИМАЛЬНАЯ ПОВЕРХНОСТЬ — поверхность, у к рой средняя кривизна Нравна нулю во всех точках. Первые исследования о М. п. восходят к Ж. Лагранжу (J. Lagrange, 1768), к рый рассмотрел следующую вариационную задачу: найти поверхность наименьшей площади, натянутую на данный… …
107МОДАЛЬНАЯ ЛОГИКА — область логики, в к рой наряду с обычными высказываниями рассматриваются модальные высказывания, т. е. высказывания типа необходимо, что.,. , возможно, что... и т. п. В математич. логике рассматриваются различные формальные системы М. л.,… …
108МОНЖА - АМПЕРА УРАВНЕНИЕ — дифференциальное уравнение с частными производными 2 го порядка вида коэффициенты к рого зависят от переменных x, у, неизвестной функции z( х, у )и ее первых производных Тип М. А. у. зависит от знака выражения Если , М. А. у. есть уравнение… …
109ОРТОМОДУЛЯРНАЯ РЕШЕТКА — решетка с нулем (0) и единицей (1), в к рой для любого элемента асуществует ортодополнение , т. е. такой элемент, что и выполняется ортомодулярный закон: В О. р. исследовались в основном дистрибутивность н перспективность, неприводимость,… …
110ПАРАМЕТРА ВАРИАЦИИ МЕТОД — метод приближенного решения нелинейных (и линейных) функциональных и операторных уравнений в банаховых пространствах , а также для качественных исследований. П. в. м. состоит в том, что уравнение Р(х)=0, где оператор Р(х).непрерывно… …
