-
61 аппарат для обрезания гипсовых моделей
Medicine: model trimmerУниверсальный русско-английский словарь > аппарат для обрезания гипсовых моделей
-
62 архитектура (разработки ПО) на основе моделей с применением UML
Programming: model-driven architecture with UML (см. Software Modeling and Design by Hassan Gomaa ( 2011))Универсальный русско-английский словарь > архитектура (разработки ПО) на основе моделей с применением UML
-
63 архитектура на базе моделей
Programming: model driven architectureУниверсальный русско-английский словарь > архитектура на базе моделей
-
64 аэродинамическая труба для испытания моделей в натуральную величину
Aviation: full-scale wind tunnelУниверсальный русско-английский словарь > аэродинамическая труба для испытания моделей в натуральную величину
-
65 аэродинамическая труба для испытания моделей на больших скоростях
Automobile industry: high-speed wind tunnelУниверсальный русско-английский словарь > аэродинамическая труба для испытания моделей на больших скоростях
-
66 аэродинамическая труба для продувки моделей в натуральную величину
Engineering: full-scale wind tunnelУниверсальный русско-английский словарь > аэродинамическая труба для продувки моделей в натуральную величину
-
67 аэродинамическая труба для продувки полномасштабных моделей
Makarov: full-scale wind tunnelУниверсальный русско-английский словарь > аэродинамическая труба для продувки полномасштабных моделей
-
68 банк математических моделей
Advertising: model bankУниверсальный русско-английский словарь > банк математических моделей
-
69 банк моделей
Advertising: model bank -
70 библиотека аппаратных моделей
Household appliances: hardware model libraryУниверсальный русско-английский словарь > библиотека аппаратных моделей
-
71 библиотека моделей
Mechanics: model libraryУниверсальный русско-английский словарь > библиотека моделей
-
72 библиотека моделей компонентов ИС
Microelectronics: device model libraryУниверсальный русско-английский словарь > библиотека моделей компонентов ИС
-
73 библиотека моделей компонентов радиоэлектронных схем
Household appliances: library of component modelsУниверсальный русско-английский словарь > библиотека моделей компонентов радиоэлектронных схем
-
74 библиотека сетевых моделей
Management: library networkУниверсальный русско-английский словарь > библиотека сетевых моделей
-
75 библиотека стандартных моделей
Programming: standard models libraryУниверсальный русско-английский словарь > библиотека стандартных моделей
-
76 блок моделей
1) Engineering: cluster (в литье по выплавляемым моделям)2) Metallurgy: cluster (при литье по выплавляемым моделям), pattern assembly -
77 быстрое изготовление моделей
Automation: rapid-prototypingУниверсальный русско-английский словарь > быстрое изготовление моделей
-
78 выбор моделей прогнозирования
Science: selection of forecasting modelsУниверсальный русско-английский словарь > выбор моделей прогнозирования
-
79 гамма моделей
Engineering: model lineup -
80 геометрия каркасных моделей
Automation: wireframe geometry (напр. в САПР)Универсальный русско-английский словарь > геометрия каркасных моделей
См. также в других словарях:
МОДЕЛЕЙ ТЕОРИЯ — МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, изучающий модели формальных теорий, соотношения между моделями и теориями и преобразования моделей. Предшественниками теории моделей были Б. Больцано и Э. Шредер, осознавшие понятие выполнимости… … Философская энциклопедия
моделей теория — МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, в котором изучаются фундаментальные связи между синтаксическими свойствами предложений формального языка и семантическими свойствами их моделей. Наиболее развитой является М. т. формул… … Энциклопедия эпистемологии и философии науки
Моделей теория — Теория моделей это раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория… … Википедия
МОДЕЛЕЙ ТЕОРИЯ — раздел математической логики, изучающий математические модели. Начало М. т. относится к 30 м гг. 20 в., когда были доказаны следующие две основные теоремы. Теорема 1 (теорема Гёделя Мальцева). Если каждая конечная подсовокупность совокупности… … Математическая энциклопедия
Моделей теория — раздел математики, возникший при применении методов математической логики в алгебре. Ко 2 й половине 20 в. М. т. оформилась в самостоятельную дисциплину, методы и результаты которой находят применение как в алгебре, так и в др. разделах… … Большая советская энциклопедия
Моделей пенитенциарных учреждений психологические основы — История развития пенитенциарной теории и практики свидетельствует о постоянном противостоянии сторонников репрессивного подхода к исполнению наказания в виде лишения свободы, где доминирующим является принцип воздаяния, обеспечение общей… … Энциклопедия современной юридической психологии
Теория моделей — Теория моделей раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория … Википедия
Коллекционирование масштабных моделей автомобилей — Коллекция некоторых моделей 1:43 автомобилей ВАЗ Коллекционирование масштабных моделей автомобилей это коллекционирова … Википедия
Покраска моделей — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей … Википедия
КОНСТРУКТИВНЫХ МОДЕЛЕЙ ТЕОРИЯ — один из разделов математики, возникший на границе моделей теории, алгебры и теории рекурсивных функций и связанный с изучением вопросов эффективности в моделях и алгебрах. Статья А. И. Мальцева Конструктивные алгебры [1] явилась первой обзорной… … Математическая энциклопедия
НЕКЛАССИЧЕСКАЯ ТЕОРИЯ МОДЕЛЕЙ — теория моделей, отличающаяся от классической тем, что либо формальный язык, с к рым она имеет дело, отличен от языка первого порядка либо логика, лежащая в ее основе, отлична от классической (двузначной). В дальнейшем, если не оговорено противное … Математическая энциклопедия