подмодель

  • 1подмодель — модель, субмодель Словарь русских синонимов. подмодель сущ., кол во синонимов: 2 • модель (44) • субмо …

    Словарь синонимов

  • 2МАТЕМАТИЧЕСКАЯ МОДЕЛЬ ПРОЕКТИРОВАНИЯ СУДНА — совокупность аналитических и логических зависимостей, а также процедур, описывающих процесс проектирования судна. Может быть реализована в виде методики проектирования или комплекта программ для ЭВМ. Служит для определения проектных элементов… …

    Морской энциклопедический справочник

  • 3субмодель — модель, подмодель Словарь русских синонимов. субмодель сущ., кол во синонимов: 2 • модель (44) • подмо …

    Словарь синонимов

  • 4АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… …

    Математическая энциклопедия

  • 5Универсальная алгебра — Не следует путать с универсальной алгеброй  одним из видов структур, изучаемых данным разделом математики. Универсальная алгебра  раздел математики, изучающий общие свойства алгебраических систем, отыскивая общие черты между такими… …

    Википедия

  • 6Теорема Лёвенгейма — Сколема — Теорема Лёвенгейма  Сколема  утверждение из теории моделей о том, что если множество предложений в счётном языке первого порядка имеет бесконечную модель, то оно имеет счётную модель. Эквивалентная формулировка: каждая модель счётной… …

    Википедия

  • 7модель — См. пример …

    Словарь синонимов

  • 8Теорема Лёвенгейма — Теорема Лёвенгейма  Скулема  утверждение из теории моделей о том, что если множество предложений в счётном языке первого порядка имеет бесконечную модель, то оно имеет счётную модель. Эквивалентная формулировка: каждая модель счётной… …

    Википедия