-
61 библиотека стандартных моделей
Programming: standard models libraryУниверсальный русско-английский словарь > библиотека стандартных моделей
-
62 блок моделей
1) Engineering: cluster (в литье по выплавляемым моделям)2) Metallurgy: cluster (при литье по выплавляемым моделям), pattern assembly -
63 быстрое изготовление моделей
Automation: rapid-prototypingУниверсальный русско-английский словарь > быстрое изготовление моделей
-
64 выбор моделей прогнозирования
Science: selection of forecasting modelsУниверсальный русско-английский словарь > выбор моделей прогнозирования
-
65 гамма моделей
Engineering: model lineup -
66 геометрия каркасных моделей
Automation: wireframe geometry (напр. в САПР)Универсальный русско-английский словарь > геометрия каркасных моделей
-
67 гидроканал для испытания моделей по способу буксировки
Makarov: towing channelУниверсальный русско-английский словарь > гидроканал для испытания моделей по способу буксировки
-
68 графика твердотельных моделей
Computers: solid graphic (твердотельная графика)Универсальный русско-английский словарь > графика твердотельных моделей
-
69 деревянный крюк для подъёма моделей
Engineering: drawpegУниверсальный русско-английский словарь > деревянный крюк для подъёма моделей
-
70 диагностирование с использованием моделей
Programming: model-based diagnosisУниверсальный русско-английский словарь > диагностирование с использованием моделей
-
71 диссипативная динамика квантовых систем в рамках моделей система-тепловая баня
Универсальный русско-английский словарь > диссипативная динамика квантовых систем в рамках моделей система-тепловая баня
-
72 для моделей без блока круиз-контроля
Automobile industry: without cruise controlУниверсальный русско-английский словарь > для моделей без блока круиз-контроля
-
73 для отечественных моделей
Automobile industry: DOM - domestic (сокр. в технологических картах)Универсальный русско-английский словарь > для отечественных моделей
-
74 дом моделей
1) Economy: model house2) Advertising: fashion house -
75 достоверность моделей переноса в окружающей среде применительно к ликвидации отходов
Универсальный русско-английский словарь > достоверность моделей переноса в окружающей среде применительно к ликвидации отходов
-
76 зажим для изготовления моделей
Forestry: patternmaker's crampУниверсальный русско-английский словарь > зажим для изготовления моделей
-
77 зажим для изготовления шаблонов или моделей
Makarov: patternmaker's crampУниверсальный русско-английский словарь > зажим для изготовления шаблонов или моделей
-
78 иерархии моделей данных
SAP.tech. data model hierarchiesУниверсальный русско-английский словарь > иерархии моделей данных
-
79 иерархия моделей данных
Computers: data model hierarchyУниверсальный русско-английский словарь > иерархия моделей данных
-
80 иерархия моделей связанных кластеров
Makarov: hierarchy of coupled cluster modelsУниверсальный русско-английский словарь > иерархия моделей связанных кластеров
См. также в других словарях:
МОДЕЛЕЙ ТЕОРИЯ — МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, изучающий модели формальных теорий, соотношения между моделями и теориями и преобразования моделей. Предшественниками теории моделей были Б. Больцано и Э. Шредер, осознавшие понятие выполнимости… … Философская энциклопедия
моделей теория — МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, в котором изучаются фундаментальные связи между синтаксическими свойствами предложений формального языка и семантическими свойствами их моделей. Наиболее развитой является М. т. формул… … Энциклопедия эпистемологии и философии науки
Моделей теория — Теория моделей это раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория… … Википедия
МОДЕЛЕЙ ТЕОРИЯ — раздел математической логики, изучающий математические модели. Начало М. т. относится к 30 м гг. 20 в., когда были доказаны следующие две основные теоремы. Теорема 1 (теорема Гёделя Мальцева). Если каждая конечная подсовокупность совокупности… … Математическая энциклопедия
Моделей теория — раздел математики, возникший при применении методов математической логики в алгебре. Ко 2 й половине 20 в. М. т. оформилась в самостоятельную дисциплину, методы и результаты которой находят применение как в алгебре, так и в др. разделах… … Большая советская энциклопедия
Моделей пенитенциарных учреждений психологические основы — История развития пенитенциарной теории и практики свидетельствует о постоянном противостоянии сторонников репрессивного подхода к исполнению наказания в виде лишения свободы, где доминирующим является принцип воздаяния, обеспечение общей… … Энциклопедия современной юридической психологии
Теория моделей — Теория моделей раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория … Википедия
Коллекционирование масштабных моделей автомобилей — Коллекция некоторых моделей 1:43 автомобилей ВАЗ Коллекционирование масштабных моделей автомобилей это коллекционирова … Википедия
Покраска моделей — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей … Википедия
КОНСТРУКТИВНЫХ МОДЕЛЕЙ ТЕОРИЯ — один из разделов математики, возникший на границе моделей теории, алгебры и теории рекурсивных функций и связанный с изучением вопросов эффективности в моделях и алгебрах. Статья А. И. Мальцева Конструктивные алгебры [1] явилась первой обзорной… … Математическая энциклопедия
НЕКЛАССИЧЕСКАЯ ТЕОРИЯ МОДЕЛЕЙ — теория моделей, отличающаяся от классической тем, что либо формальный язык, с к рым она имеет дело, отличен от языка первого порядка либо логика, лежащая в ее основе, отлична от классической (двузначной). В дальнейшем, если не оговорено противное … Математическая энциклопедия