-
81 использование имитационных моделей в регистрационных целях
Универсальный русско-английский словарь > использование имитационных моделей в регистрационных целях
-
82 использование компьютерных моделей
oil&gas: computer modelingУниверсальный русско-английский словарь > использование компьютерных моделей
-
83 использование моделей
Programming: using modelsУниверсальный русско-английский словарь > использование моделей
-
84 использование моделей в процессе разработки
Programming: using models within the development processУниверсальный русско-английский словарь > использование моделей в процессе разработки
-
85 использование химических трассёров для оценки моделей океана
Универсальный русско-английский словарь > использование химических трассёров для оценки моделей океана
-
86 испытания геометрически подобных моделей
Naval: geosym model tests, geosym testsУниверсальный русско-английский словарь > испытания геометрически подобных моделей
-
87 испытания дублированных моделей
Yachting: mirror image testsУниверсальный русско-английский словарь > испытания дублированных моделей
-
88 испытания моделей гребных винтов
Naval: model-propeller testingУниверсальный русско-английский словарь > испытания моделей гребных винтов
-
89 испытания с использованием моделей
1) Mechanics: test with modeling2) Makarov: terminal with modeling3) Research and development: test with modellingУниверсальный русско-английский словарь > испытания с использованием моделей
-
90 итеративная генерация моделей
Makarov: iterative generation of modelsУниверсальный русско-английский словарь > итеративная генерация моделей
-
91 кастинг моделей (в модельном агентстве)
General subject: model castingУниверсальный русско-английский словарь > кастинг моделей (в модельном агентстве)
-
92 каталог моделей
SAP. model catalog -
93 киянка для выбивания моделей
Metallurgy: molder's hammerУниверсальный русско-английский словарь > киянка для выбивания моделей
-
94 класс моделей
Mathematics: model class -
95 комплект моделей
Metallurgy: pattern assembly -
96 компьютерная генерация кинетических моделей
Универсальный русско-английский словарь > компьютерная генерация кинетических моделей
-
97 копировально-фрезерный станок для изготовления моделей
Makarov: reproducing pattern milling machineУниверсальный русско-английский словарь > копировально-фрезерный станок для изготовления моделей
-
98 копировальнофрезерный станок для изготовления моделей
Automation: reproducing pattern milling machineУниверсальный русско-английский словарь > копировальнофрезерный станок для изготовления моделей
-
99 кроме моделей с турбокомпрессором
Automobile industry: except turbocharger modelУниверсальный русско-английский словарь > кроме моделей с турбокомпрессором
-
100 крюк с резьбой для удаления моделей из форм
Metallurgy: draw nailУниверсальный русско-английский словарь > крюк с резьбой для удаления моделей из форм
См. также в других словарях:
МОДЕЛЕЙ ТЕОРИЯ — МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, изучающий модели формальных теорий, соотношения между моделями и теориями и преобразования моделей. Предшественниками теории моделей были Б. Больцано и Э. Шредер, осознавшие понятие выполнимости… … Философская энциклопедия
моделей теория — МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, в котором изучаются фундаментальные связи между синтаксическими свойствами предложений формального языка и семантическими свойствами их моделей. Наиболее развитой является М. т. формул… … Энциклопедия эпистемологии и философии науки
Моделей теория — Теория моделей это раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория… … Википедия
МОДЕЛЕЙ ТЕОРИЯ — раздел математической логики, изучающий математические модели. Начало М. т. относится к 30 м гг. 20 в., когда были доказаны следующие две основные теоремы. Теорема 1 (теорема Гёделя Мальцева). Если каждая конечная подсовокупность совокупности… … Математическая энциклопедия
Моделей теория — раздел математики, возникший при применении методов математической логики в алгебре. Ко 2 й половине 20 в. М. т. оформилась в самостоятельную дисциплину, методы и результаты которой находят применение как в алгебре, так и в др. разделах… … Большая советская энциклопедия
Моделей пенитенциарных учреждений психологические основы — История развития пенитенциарной теории и практики свидетельствует о постоянном противостоянии сторонников репрессивного подхода к исполнению наказания в виде лишения свободы, где доминирующим является принцип воздаяния, обеспечение общей… … Энциклопедия современной юридической психологии
Теория моделей — Теория моделей раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория … Википедия
Коллекционирование масштабных моделей автомобилей — Коллекция некоторых моделей 1:43 автомобилей ВАЗ Коллекционирование масштабных моделей автомобилей это коллекционирова … Википедия
Покраска моделей — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей … Википедия
КОНСТРУКТИВНЫХ МОДЕЛЕЙ ТЕОРИЯ — один из разделов математики, возникший на границе моделей теории, алгебры и теории рекурсивных функций и связанный с изучением вопросов эффективности в моделях и алгебрах. Статья А. И. Мальцева Конструктивные алгебры [1] явилась первой обзорной… … Математическая энциклопедия
НЕКЛАССИЧЕСКАЯ ТЕОРИЯ МОДЕЛЕЙ — теория моделей, отличающаяся от классической тем, что либо формальный язык, с к рым она имеет дело, отличен от языка первого порядка либо логика, лежащая в ее основе, отлична от классической (двузначной). В дальнейшем, если не оговорено противное … Математическая энциклопедия