-
121 моделирование с отображением моделей в динамике
Automation: simulation animationУниверсальный русско-английский словарь > моделирование с отображением моделей в динамике
-
122 модель для изготовления металлических мастер-моделей
Metallurgy: grandmaster pattern (с допуском на тройную усадку)Универсальный русско-английский словарь > модель для изготовления металлических мастер-моделей
-
123 модуль построения концептуальных моделей сущность-связь
Information technology: entity-relationship expertУниверсальный русско-английский словарь > модуль построения концептуальных моделей сущность-связь
-
124 молоток для расколачивания моделей
1) Engineering: rapping hammer2) Automation: rapping ironУниверсальный русско-английский словарь > молоток для расколачивания моделей
-
125 на базе монолитных моделей
Automation: solid-based (напр. о САПР)Универсальный русско-английский словарь > на базе монолитных моделей
-
126 набор моделей ран
General subject: casualty simulation kit -
127 название одной из моделей телеуправляемого подводного аппарата
General subject: scallopУниверсальный русско-английский словарь > название одной из моделей телеуправляемого подводного аппарата
-
128 наземные вибрационные испытания моделей, выполненных в масштабе 0,25
Engineering: quarter scale ground vibration testУниверсальный русско-английский словарь > наземные вибрационные испытания моделей, выполненных в масштабе 0,25
См. также в других словарях:
МОДЕЛЕЙ ТЕОРИЯ — МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, изучающий модели формальных теорий, соотношения между моделями и теориями и преобразования моделей. Предшественниками теории моделей были Б. Больцано и Э. Шредер, осознавшие понятие выполнимости… … Философская энциклопедия
моделей теория — МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, в котором изучаются фундаментальные связи между синтаксическими свойствами предложений формального языка и семантическими свойствами их моделей. Наиболее развитой является М. т. формул… … Энциклопедия эпистемологии и философии науки
Моделей теория — Теория моделей это раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория… … Википедия
МОДЕЛЕЙ ТЕОРИЯ — раздел математической логики, изучающий математические модели. Начало М. т. относится к 30 м гг. 20 в., когда были доказаны следующие две основные теоремы. Теорема 1 (теорема Гёделя Мальцева). Если каждая конечная подсовокупность совокупности… … Математическая энциклопедия
Моделей теория — раздел математики, возникший при применении методов математической логики в алгебре. Ко 2 й половине 20 в. М. т. оформилась в самостоятельную дисциплину, методы и результаты которой находят применение как в алгебре, так и в др. разделах… … Большая советская энциклопедия
Моделей пенитенциарных учреждений психологические основы — История развития пенитенциарной теории и практики свидетельствует о постоянном противостоянии сторонников репрессивного подхода к исполнению наказания в виде лишения свободы, где доминирующим является принцип воздаяния, обеспечение общей… … Энциклопедия современной юридической психологии
Теория моделей — Теория моделей раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория … Википедия
Коллекционирование масштабных моделей автомобилей — Коллекция некоторых моделей 1:43 автомобилей ВАЗ Коллекционирование масштабных моделей автомобилей это коллекционирова … Википедия
Покраска моделей — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей … Википедия
КОНСТРУКТИВНЫХ МОДЕЛЕЙ ТЕОРИЯ — один из разделов математики, возникший на границе моделей теории, алгебры и теории рекурсивных функций и связанный с изучением вопросов эффективности в моделях и алгебрах. Статья А. И. Мальцева Конструктивные алгебры [1] явилась первой обзорной… … Математическая энциклопедия
НЕКЛАССИЧЕСКАЯ ТЕОРИЯ МОДЕЛЕЙ — теория моделей, отличающаяся от классической тем, что либо формальный язык, с к рым она имеет дело, отличен от языка первого порядка либо логика, лежащая в ее основе, отлична от классической (двузначной). В дальнейшем, если не оговорено противное … Математическая энциклопедия