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