Модель Математическая

- интерпретация формального языка. Основным формальным языком является язык 1-г о порядка (или 1-й ступени) данной сигнатуры , включающей предикатные символы функциональные символы и константы Модель языка есть алгебраическая система сигнатуры Пусть -нек-рое множество замкнутых формул языка . Модель для есть М. Языка , в к-рой истинны все формулы из'. Множество наз. Совместным, если оно имеет хотя бы одну М. Класс всех М. Для обозначается Mod . Совместность множества означает, что ..

- типовая абстрактная или конкретная задача, соответствующая проблеме численного решения нек-рого класса математич. Или прикладных задач. Напр., в теории квадратур рассматривают задачу вычисления интегралов от функций, удовлетворяющих нек-рому условию Отработка методов решения задачи Коши для систем обыкновенных дифференциальных уравнений исторически производилась путем исследования свойств методов на моделях из последовательности усложняющихся моделей (отрезок интегрирования [0, X]). 1) уравн..

аналитического пространства - аналитическое отображение аналитических пространств такое, что для нек-рых аналитических множеств и меньших размерностей выполняются условия. - изоморфизм, и Модификация f наз. Также стягиванием аналитич. Множества Sна Т. Примерами М. Являются моноидалъные преобразования. См. Также Исключительное аналитическое множество, Исключительное подмногообразие. Лит.:[1] Веhnке Н., Stein К., "Math. Ann.",. 1951, Bd 124, Н. 1, S. 1 - 16. А. Л. Опищик.. ..

- категория mod-R, объекты к-рой - правые унитарные модули над произвольным ассоциативным кольцом Rс единицей, а, морфизмы - гомоморфизмы R-модулей. Эта категория является важнейшим примером абелевой категории. Более того, для всякой малой абелевой категории существует полное точное вложение в нек-рую М. К. Если - кольцо целых чисел, то mod-Rесть категория абелевых групп, а если, R = D-тело (поле), то mod-R есть категория векторных пространств над D. Свойства М. К. Mod-R отражают ряд важных ..