与 «УНИФИКАТОР»相关的俄语书籍
在以下的参考文献中发现
унификатор的用法。与
унификатор相关的书籍以及同一来源的简短摘要提供其在 俄语文献中的使用情境。
Передвижной унификатор, смонтированный на основе обыкновенного транспортера, работал шумно, с гулом и лязгом, над ним дрожал столб разогретого воздуха. Тела подносили по одному, опускали на уходящую в агрегат ...
2
Машины баз данных и знаний: - Страница 31
Подстановка 6 называется унификатором для ^1 и Ъг, если /16 = ^26; ^1 и 12 унифицируемы, если для 1\ и 1г существует унификатор. Унификатор 0 называется наибольшим общим унификатором (НОУ) тогда и только тогда, ...
Леонид Андреевич Калиниченко, Владимир Михайлович Рывкин, 1990
Центральный Гаржимский унификатор, находящийся на окраине, благополучно пережил дни боев. Унификационные агрегаты сохранились, уцелела система управления, и даже в стенах не оказалось проломов. Внутри все ...
4
Дедукция и обобщение в системах принятия решений: Проблемы ...
Унификатор о* для множества выражений {И7!, \У2, . . ., \Ук) называется наиболее общим унификатором (НОУ) тогда и только тогда, когда для каждого унификатора 0 для этого множества выражений найдется подстановка К ...
Вадим Николаевич Вагин, 1988
5
Записки научных семинаров ПОМИ
Найти наиболее общий унификатор для (^1 д . . .^„д . . .) и • • -<п,1 - • • )• • Если <тдг существует и удовлетворяет вернуть (егдг, ^^К^) иначе вернуть Очевидно, что итоговая подстановка А является наиболее общим унификатором, ...
Математический институт им. В.А. Стеклова. С.-Петербургское отделение, 2002
6
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
В отсутствие всякойсистемы самообозначения, внутренней дляполясамих художественных практик, внешний унификатор «постмодернизм» как охватывающий их все обрел такую рельефность, которой модерн никогда не имел.
8
Труды научно-исследовательского семинара логического ...
А2[+С])} (Д,иД2 и{(04 В+С)})ст, где знак 4 в заключении обозначает < тогда и только тогда, когда 4 - это < в обеих посылках, в противном случае 4 обозначает <; а - это наиболее общий унификатор формул А| и А2. В и С - это ...
9
Введение в теорию языков программирования - Страница 99
Мы пишем σ = mgu(E) — наиболее общий унификатор (most general unifier) — главное решение. Пусть t замкнутый терм, A и E таковы, что ⊣ t A, E. Пусть σ — главное решение E. Тогда терм t в пустом окружении имеет тип σA.
Жан-Жак Леви, Жиль Довек, 2014
10
Орфографический словарь русского языка для школьников. 25 ...
унёсший, -шая, -шее униатский универмаг, -а унижать, -äю, -ает унижёние, -я унйзанный (от унизdть) унизать, унижу, унйжет уникум, -а унимать, -äю, -ает унисбн, -а, мн. нет унитаз, -а унитарианский унификатор, -а унифбрма, ...
包含词语«УНИФИКАТОР»的新条目
找出国内和国际出版社所讨论的内容，以及词语
унификатор在以下新条目的上下文中是如何使用的。
Как улучшить цвет лица
Экспресс-средство от Clarins – крем-унификатор Clarins LISSE MINUTE Base Comblante, способный моментально выравнять цвет лица, стянуть поры и ... «neboley.com, 二月 15»
За клизмата с мед и други дребни житейски радости
Тоя тип е войнствен унификатор и не приема, че някой може да вирее без „Листопад” и Гала в менюто си, няма начин. Просто си ги консумира тайно и ... «Труд, 十二月 14»
10 фактов про Новый год, елки и Снегурочку, которых вы не знали
Но Петр I, великий унификатор вся Руси, повелел своим указом перейти на общеевропейское летоисчисление и праздновать новолетие с «1 генваря ... «GIGAmir, 十二月 14»
