ФОРМАЛЬНЫЕ СИСТЕМЫ

Русско-английский перевод ФОРМАЛЬНЫЕ СИСТЕМЫ

Formal system

Русско-Американский Английский словарь. Russian-American English dictionary . 2012

СИСТЕМЫ — Systems
Русско-Американский Английский словарь
СИСТЕМЫ — Systems
Russian Learner's Dictionary
СИСТЕМЫ — Systems
Russian-English Edic
ФОРМАЛЬНЫЕ КАНАЛЫ — (для распространения научной информации) formal channels
Русско-Английский словарь по машиностроению и автоматизации производства
ФОРМАЛЬНЫЕ ПОЛНОМОЧИЯ — formal authority
Русско-Английский экономический словарь
ФОРМАЛЬНЫЕ ТРЕБОВАНИЯ ЗАКОНА — formalities of law
Русско-Английский юридический словарь
SYSTEM — сущ. 1) а) система Syn : method б) система, устройство; метод adversary system ≈ система состязательности в суде (правда выясняется …
Большой Англо-Русский словарь
REQUIREMENT — сущ. 1) требование; необходимое условие what are his requirements ≈ каковы его условия? to establish, set requirements ≈ определять требования …
Большой Англо-Русский словарь
FORMAL REASONING — формальные рассуждения; рассуждения на формальном уровне
Большой Англо-Русский словарь
FORMAL MANIPULATION — мат. формальные преобразования; формальные выкладки; группировка (членов)
Большой Англо-Русский словарь
FORMAL AUTHORITY — 1)официальные полномочия 2)формальные полномочия
Большой Англо-Русский словарь
DATA ABSRACTION — ООП абстракция данных (определение типа данных вместе с определенными на нем операциями, а также аксиомами, задающими формальные свойства этих операций)
Большой Англо-Русский словарь
ABSTRACT DATA TYPE — ООП абстрактный тип данных (определение типа данных вместе с определенными на нем операциями, а также, возможно, аксиомами, задающими формальные свойства …
Большой Англо-Русский словарь
FORMAL SYSTEM — Формальные системы
Американский Англо-Русский словарь
FORMAL MANIPULATION — матем. формальные преобразования; формальные выкладки; группировка (членов)
Англо-Русский научно-технический словарь
FORMAL CHANNELS — формальные каналы ( для распространения научной информации )
Англо-Русский словарь по машиностроению и автоматизации производства 2
FORMAL CHANNELS — формальные каналы (для распространения научной информации)
Англо-Русский словарь по машиностроению и автоматизации производства
FORMAL REASONING — формальные рассуждения; рассуждения на формальном уровне
Англо-Русский словарь по компьютерам
DATA ABSTRACTION — ООП абстракция данных (определение типа данных вместе с определенными на нем операциями, а также аксиомами, задающими формальные свойства этих операций …
Англо-Русский словарь по компьютерам
FORMAL AUTHORITY — 1) официальные полномочия 2) формальные полномочия
Англо-Русский словарь по экономике
BOARDING CARD — сущ. карточка, которую получает пассажир, прошедший таможенный контроль и другие формальные процедуры и, следовательно, имеющий разрешение подняться на борт судна Syn: boarding pass
Англо-Русский словарь по экономике
FORMAL REASONING — формальные рассуждения; рассуждения на формальном уровне
Англо-Русский словарь по вычислительной технике и программированию
DATA ABSTRACTION — ООП абстракция данных (определение типа данных вместе с определенными на нем операциями, а также аксиомами, задающими формальные свойства этих операций)
Англо-Русский словарь по вычислительной технике и программированию
ABSTRACT DATA TYPE — ООП абстрактный тип данных (определение типа данных вместе с определенными на нем операциями, а также, возможно, аксиомами, задающими формальные свойства этих …
Англо-Русский словарь по вычислительной технике и программированию
FORMAL REASONING — формальные рассуждения; рассуждения на формальном уровне
Англо-Русский словарь компьютерных терминов
DATA ABSTRACTION — абстракция данных ( определение типа данных вместе с определенными на нем операциями, а также аксиомами, задающими формальные свойства этих операций …
Англо-Русский словарь компьютерных терминов
ABSTRACT DATA TYPE — абстрактный тип данных ( определение типа данных вместе с определенными на нем операциями, а также, возможно, аксиомами, задающими формальные свойства …
Англо-Русский словарь компьютерных терминов
LETTER-BOX COMPANIES — фирмы, зарегистрированные в "налоговых оазисах" и имеющие там формальные представительства
Англо-Русский словарь по экономике и финансам
FORMALITIES OF LAW — формальные требования закона
Англо-Русский юридический словарь
FORMAL SANCTIONS — формальные санкции; средства воздействия, применение которых регламентируется определенными правилами.
Англо-Русский социологический энциклопедический словарь
FORMAL OPERATIONS — формальные операции; по Ж. Пиаже - когнитивные операции, характерные для такой стадии развития ребенка, когда в процесс познания включается абстрактное …
Англо-Русский социологический энциклопедический словарь
FLEXIBLE LABOUR MARKETS — гибкие рынки труда (под влиянием конкуренции исчезают формальные ограничения на занятость и оплату труда).
Англо-Русский социологический энциклопедический словарь
ХИМИЧЕСКАЯ — рассматривает взаимосвязи между работой и энергией применительно к химическим превращениям. Поскольку химическое превращение обычно сопровождается высвобождением или поглощением определенного количества …
Русский словарь Colier
СИНДРОМ
Русский словарь Colier
СОЛНЕЧНАЯ — СОЛНЕЧНАЯ СИСТЕМА Астероиды. Множество малых планет - астероидов - обращается вокруг Солнца в основном между орбитами Марса и Юпитера. Название …
Русский словарь Colier
СИСТЕМОТЕХНИКА — проектирование, конструирование и приведение в действие сложных групп связанных компонентов, которые должны работать совместно в заданных условиях и объединены некоторым …
Русский словарь Colier
РАКЕТНОЕ — РАКЕТНОЕ ОРУЖИЕ Баллистические ракеты. Баллистические ракеты предназначаются для транспортировки термоядерных зарядов к цели. Их можно классифицировать следующим образом: 1) межконтинентальные …
Русский словарь Colier
ПОЖАРНАЯ — ПОЖАРНАЯ ПРОФИЛАКТИКА И ПРОТИВОПОЖАРНАЯ ЗАЩИТА Мероприятия по противопожарной защите включают: 1) контроль материалов, продуктов и оборудования; 2) активное ограничение распространения …
Русский словарь Colier
ОТОПИТЕЛЬНЫЕ — различные системы обогрева помещений с целью поддержания теплового комфорта или для производственных нужд. Этот термин обычно применяется к системам, в …
Русский словарь Colier
КОСМИЧЕСКИЙ — КОСМИЧЕСКИЙ КОРАБЛЬ ШАТТЛ КК "Шаттл" состоит из трех основных элементов: воздушно-космического самолета "Орбитер", многоразовых ракетных ускорителей и сбрасываемого топливного блока. …
Русский словарь Colier
ИНЕРЦИАЛЬНАЯ — метод измерения ускорения судна или летательного аппарата и определения его скорости, положения и расстояния, пройденного им от исходной точки, при …
Русский словарь Colier
ЗВУКА — ЗВУКА ВОСПРОИЗВЕДЕНИЕ И ЗАПИСЬ Запись и воспроизведение звука - это область, в которой наука сочетается с искусством (звукорежиссера). Здесь есть …
Русский словарь Colier
ВОЙНЫ — концепция ведения войн в космосе, предусматривающая перенос в околоземное космическое пространство средств вооружений, предназначенных для уничтожения межконтинентальных баллистических ракет противника. …
Русский словарь Colier
АСТРОНОМИЯ — АСТРОНОМИЯ И АСТРОФИЗИКА Астрономию 20 в. можно разделить на два периода - до и после Второй мировой войны. В первый …
Русский словарь Colier
АСТРОНОМИЯ
Русский словарь Colier
АВТОМАТИЧЕСКОЕ — С первых шагов цивилизации человек пытался механизировать труд. Он очень быстро нашел пути замены мускульной энергии механической; высшей точкой этого …
Русский словарь Colier
ЦИФРЫ — ЦИФРЫ И СИСТЕМЫ СЧИСЛЕНИЯ Хотя десятичная система счисления является наиболее широко применимой, это отнюдь не означает, что она самая лучшая. …
Русский словарь Colier
ЦИФРЫ — ЦИФРЫ И СИСТЕМЫ СЧИСЛЕНИЯ Древний Египет. Расшифровка системы счисления, созданной в Египте во времена первой династии (ок. 2850 до н.э.), …
Русский словарь Colier
ФОРСУНКИ — устройства, используемые для подготовки жидкого топлива к горению, которая заключается в доведении топлива до такого состояния, в котором оно легко …
Русский словарь Colier
СОЛНЕЧНАЯ — СОЛНЕЧНАЯ СИСТЕМА Вопрос о том, как образовалась Солнечная система, пожалуй, наиболее трудный в планетологии. Для ответа на него у нас …
Русский словарь Colier
СИНДРОМ
Русский словарь Colier
СЕРВОМЕХАНИЗМ — следящая система автоматического регулирования, которая работает по принципу обратной связи и в которой один или больше системных сигналов, сформированных в …
Русский словарь Colier
ПОЛИГРАФИЯ — ПОЛИГРАФИЯ Успехи современной техники, особенно в области автоматики, электроники и компьютеров, революционизировали печать. Преобразования начались в 1950-х годах, когда появились …
Русский словарь Colier
ОТНОСИТЕЛЬНОСТЬ — ОТНОСИТЕЛЬНОСТЬ Ньютоновская механика. Данная статья написана так, что ее можно читать, не имея специальной математической подготовки. Необходимо лишь некоторое знание …
Русский словарь Colier
НОРВЕГИЯ — НОРВЕГИЯ Государственное устройство. Норвегия - конституционная монархия. Король осуществляет связь между тремя ветвями власти. Монархия наследственная, и с 1990 трон …
Русский словарь Colier
ИСМАИЛИЗМ — (араб. "исм'лиййа"), одна из школ классической арабо-мусульманской философии, получившая развитие в среде шиитской секты исмаилитов. Исмаилитская философия возникла во второй …
Русский словарь Colier
ИНФОРМАЦИИ — ИНФОРМАЦИИ НАКОПЛЕНИЕ И ПОИСК Существуют три основных типа информационных систем: системы управления базами данных, системы поиска библиографических ссылок и запросно-ответные …
Русский словарь Colier
АСТРОНОМИЯ — АСТРОНОМИЯ И АСТРОФИЗИКА Солнце - рядовая звезда среднего размера и среднего возраста. Это горячий газовый шар диаметром 1 390 000 …
Русский словарь Colier
АРИФМЕТИКА — искусство вычислений, производимых с положительными действительными числами. Краткая история арифметики. С глубокой древности работа с числами подразделялась на две различные …
Русский словарь Colier
АСТРОНОМИЯ — АСТРОНОМИЯ И АСТРОФИЗИКА Ньютон и гравитация. Замена небесных сфер Аристотеля кеплеровым движением планет по эллиптическим орбитам выдвинула на передний план …
Русский словарь Colier
АНАТОМИЯ — АНАТОМИЯ ЧЕЛОВЕКА Нервная система является объединяющей и координирующей системой организма. Она включает головной и спинной мозг, нервы и связанные с …
Русский словарь Colier
АВИАЦИОННЫЕ — АВИАЦИОННЫЕ БОРТОВЫЕ ПРИБОРЫ На самолетах устанавливаются различные навигационные автоматы и системы, помогающие пилоту вести самолет по заданному маршруту и выполнять …
Русский словарь Colier
FORMAL MANIPULATION — мат. формальные преобразования; формальные выкладки; группировка (членов)
Новый большой Англо-Русский словарь

Русско-Американский Английский словарь

← ФОРМАЛЬНОСТЬ ФОРМАЛЬНЫЙ ЯЗЫК→