- подмодель
- f. submodel
Русско-английский словарь математических терминов. — Американское математическое общество. Э.Д. Лоувотер. 1990.
подмодель
Смотреть что такое "подмодель" в других словарях:
подмодель — модель, субмодель Словарь русских синонимов. подмодель сущ., кол во синонимов: 2 • модель (44) • субмо … Словарь синонимов
МАТЕМАТИЧЕСКАЯ МОДЕЛЬ ПРОЕКТИРОВАНИЯ СУДНА — совокупность аналитических и логических зависимостей, а также процедур, описывающих процесс проектирования судна. Может быть реализована в виде методики проектирования или комплекта программ для ЭВМ. Служит для определения проектных элементов… … Морской энциклопедический справочник
субмодель — модель, подмодель Словарь русских синонимов. субмодель сущ., кол во синонимов: 2 • модель (44) • подмо … Словарь синонимов
АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… … Математическая энциклопедия
Универсальная алгебра — Не следует путать с универсальной алгеброй одним из видов структур, изучаемых данным разделом математики. Универсальная алгебра раздел математики, изучающий общие свойства алгебраических систем, отыскивая общие черты между такими… … Википедия
Теорема Лёвенгейма — Сколема — Теорема Лёвенгейма Сколема утверждение из теории моделей о том, что если множество предложений в счётном языке первого порядка имеет бесконечную модель, то оно имеет счётную модель. Эквивалентная формулировка: каждая модель счётной… … Википедия
модель — См. пример … Словарь синонимов
Теорема Лёвенгейма — Теорема Лёвенгейма Скулема утверждение из теории моделей о том, что если множество предложений в счётном языке первого порядка имеет бесконечную модель, то оно имеет счётную модель. Эквивалентная формулировка: каждая модель счётной… … Википедия
