QUÉ SIGNIFICA УНІФІКАТОР EN UCRANIANO
Pulsa para
ver la definición original de «уніфікатор» en el diccionario ucraniano.
Pulsa para
ver la traducción automática de la definición en español.
definición de уніфікатор en el diccionario ucraniano
unificador, y, h. el que implementa la unificación de algo; un partidario de la unificación. уніфікатор, а, ч. Той, хто здійснює уніфікацію чого-небудь; прихильник уніфікації.
Pulsa para
ver la definición original de «уніфікатор» en el diccionario ucraniano.
Pulsa para
ver la traducción automática de la definición en español.
9 LIBROS DEL UCRANIANO RELACIONADOS CON «УНІФІКАТОР»
Descubre el uso de
уніфікатор en la siguiente selección bibliográfica. Libros relacionados con
уніфікатор y pequeños extractos de los mismos para contextualizar su uso en la literatura.
Передвижной унификатор, смонтированный на основе обыкновенного транспортера, работал шумно, с гулом и лязгом, над ним дрожал столб разогретого воздуха. Тела подносили по одному, опускали на уходящую в агрегат ...
2
Машины баз данных и знаний: - Сторінка 31
Подстановка 6 называется унификатором для ^1 и Ъг, если /16 = ^26; ^1 и 12 унифицируемы, если для 1\ и 1г существует унификатор. Унификатор 0 называется наибольшим общим унификатором (НОУ) тогда и только тогда, ...
Леонид Андреевич Калиниченко, Владимир Михайлович Рывкин, 1990
Центральный Гаржимский унификатор, находящийся на окраине, благополучно пережил дни боев. Унификационные агрегаты сохранились, уцелела система управления, и даже в стенах не оказалось проломов. Внутри все ...
4
Супервизорное управление манипуляционными роботами
Простейшим является такой унификатор л, что если ^ — какой- нибудь унификатор для {#(}, дающий {#<Ь, то последовательность подстановки л, и некоторой всегда существующей подстановки | приведет к тому же результату, ...
Феликс Михайлович Кулаков, 1980
5
Дедукция и обобщение в системах принятия решений: Проблемы ...
Унификатор о* для множества выражений {И7!, \У2, . . ., \Ук) называется наиболее общим унификатором (НОУ) тогда и только тогда, когда для каждого унификатора 0 для этого множества выражений найдется подстановка К ...
Вадим Николаевич Вагин, 1988
6
Записки научных семинаров ПОМИ
Найти наиболее общий унификатор для (^1 д . . .^„д . . .) и • • -<п,1 - • • )• • Если <тдг существует и удовлетворяет вернуть (егдг, ^^К^) иначе вернуть Очевидно, что итоговая подстановка А является наиболее общим унификатором, ...
Математический институт им. В.А. Стеклова. С.-Петербургское отделение, 2002
7
Орфографический словарь современного русского языка. 100 ...
-арий, -я унитарйст, -а унитарйстский унитарный унификатор, -а унификаторский унификация, -и, мн. нет унифбрма, -ы униформйст, -а уничижать, —аю, -ает уничижаться, -äюсь, -ается уничижёние, -я уничижительный; кр. ф.
8
Teorii︠a︡ grafov: algoritmy obrabotki derevʹev - Сторінка 201
5.2.3. Унификация как решение множества уравнений. Формула вида $-*, где 5, I е 742), называется уравнением (равенством), множество решений которого состоит из всех унификаторов термов я и I. Унификатором множества ...
Vladimir Anatolʹevich Evstigneev, Viktor Nikolaevich Kasʹi︠a︡nov, Вадим Евгеньевич Котов, 1994
В отсутствие всякойсистемы самообозначения, внутренней дляполясамих художественных практик, внешний унификатор «постмодернизм» как охватывающий их все обрел такую рельефность, которой модерн никогда не имел.