-
1 алгоритм Поста
Большой англо-русский и русско-английский словарь > алгоритм Поста
-
2 дежурный стрелочного поста
ж.-д. switchbox attendantБольшой англо-русский и русско-английский словарь > дежурный стрелочного поста
-
3 нуль поста
Большой англо-русский и русско-английский словарь > нуль поста
-
4 оператор горочного поста
Большой англо-русский и русско-английский словарь > оператор горочного поста
-
5 отказываться от поста
w give up the officeБольшой англо-русский и русско-английский словарь > отказываться от поста
-
6 сигналист поста централизации
interlocking operatorБольшой англо-русский и русско-английский словарь > сигналист поста централизации
-
7 система продукций Поста
Большой англо-русский и русско-английский словарь > система продукций Поста
-
8 уйти с поста
to leave one's postБольшой англо-русский и русско-английский словарь > уйти с поста
-
9 уход с поста
Большой англо-русский и русско-английский словарь > уход с поста
-
10 уходить с поста
Большой англо-русский и русско-английский словарь > уходить с поста
-
11 оператор горочного поста
Англо-русский словарь технических терминов > оператор горочного поста
-
12 сигналист поста централизации
Англо-русский словарь технических терминов > сигналист поста централизации
-
13 дежурный поста централизации в метро
Сокращение: ДСЦПУниверсальный англо-русский словарь > дежурный поста централизации в метро
-
14 оператор поста централизации стрелочных переводов
Сокращение: ОПЦУниверсальный англо-русский словарь > оператор поста централизации стрелочных переводов
-
15 set over
поста́вити на чолі́ -
16 at stake
поста́вленный на ка́рту -
17 cut smb down to size
поста́вить кого-л. на ме́стоThe Americanisms. English-Russian dictionary. > cut smb down to size
-
18 lower one's sights
поста́вить цель поскромне́еThe Americanisms. English-Russian dictionary. > lower one's sights
-
19 produce a play
поста́вить пье́суThe Americanisms. English-Russian dictionary. > produce a play
-
20 put smb in one's place
поста́вить кого-л. на ме́стоThe Americanisms. English-Russian dictionary. > put smb in one's place
См. также в других словарях:
Поста — Поста коммуна в регионе Лацио в Италии. Поста река в Первомайском районе Ярославской области, приток Соти … Википедия
поста́вный — (к постав) … Русское словесное ударение
поста́в — постав, а; мн. постава, ов … Русское словесное ударение
поста́вка — поставка, и; р. мн. вок … Русское словесное ударение
Поста (река) — У этого термина существуют и другие значения, см. Поста. Поста Характеристика Длина 10 км Бассейн Каспийское море Бассейн рек Соть → Костромской залив Горьковского водохранилища (Кострома → Волга) … Википедия
Поста (коммуна) — У этого термина существуют и другие значения, см. Поста. Коммуна Поста Posta Страна Италия … Википедия
Поста-Фибрено — Коммуна Поста Фибрено Posta Fibreno Страна ИталияИталия … Википедия
ПОСТА СИСТЕМА ПРОДУКЦИЙ — нормальная система Поста, нормальное исчисление Поста, частный случай Поста канонической системы, когда все правила вывода имеют вид и имеется только одно исходное слово (одна аксиома рассматриваемого исчисления). Э. Пост [1] установил… … Математическая энциклопедия
ПОСТА КАНОНИЧЕСКАЯ СИСТЕМА — исчисление Поста, способ задания перечислимых множеств слов. Понятие П. к. с., предложенное Э. Постом (Е. Post) в 1943, было первым общим понятием исчисления, пригодным для задания произвольных перечислимых множеств и не привязанным к логич.… … Математическая энциклопедия
ПОСТА КЛАСС — замкнутый относительно операции суперпозиции класс функций алгебры логики (ф. а. л.). Э. Пост (Е, Post) установил, что таких классов в точности счетное множество, и дал их явное описание. Им же показано, что все они являются конечно порожденными … Математическая энциклопедия
ПОСТА НОРМАЛЬНАЯ СИСТЕМА — нормальное исчисление, важный частный случай Поста канонической системы. с. Ю. Мослов … Математическая энциклопедия