унификация

От Уикиречник

унификация (български)

Съществително нарицателно име, женски род, тип 47

„Унификация“ означава „уеднаквяване“ или „обединяване“.

Унификация в математическата логика и по-специално в информатиката е метод за уеднаквяване на логически изрази и играе основна роля в областта на логическото програмиране.

Пример  

Нека са дадени изразите A1 = (X,Y,f(b)) и A2 = (a,b,Z)

В А1 заместваме X с а и Y с b, а в A2 Z с f(b), така те са еднакви или унифицирани.

Взето от „http://bg.wikipedia.org/wiki/%D0%A3%D0%BD%D0%B8%D1%84%D0%B8%D0%BA%D0%B0%D1%86%D0%B8%D1%8F_(%D0%B8%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0)“.

Етимология

Фразеологични изрази

Превод

  • английски: unification (en)
  • арабски: [[]]
  • арменски: [[]]
  • африкаанс: [[]]
  • белоруски: [[]]
  • гръцки: [[]]
  • датски: [[]]
  • есперанто: [[]]
  • естонски: [[]]
  • иврит: [[]]
  • индонезийски: [[]]
  • ирландски: [[]]
  • исландски: [[]]
  • испански: [[]]
  • италиански: [[]]
  • китайски: [[]]
  • корейски: [[]]
  • латвийски: [[]]
  • латински: [[]]
  • литовски: [[]]
  • немски: Einigung (de)
  • норвежки: [[]]
  • персийски: [[]]
  • полски: [[]]
  • португалски: [[]]
  • румънски: [[]]
  • руски: [[]]
  • словашки: [[]]
  • словенски: [[]]
  • сръбски: [[]]
  • тайландски: [[]]
  • турски: [[]]
  • унгарски: [[]]
  • фински: [[]]
  • френски: [[]]
  • холандски: [[]]
  • хърватски: [[]]
  • чешки: [[]]
  • шведски: [[]]
  • японски: [[]]

Синоними

обобщаване, уеднаквяване

Сродни думи

Производни думи