унификация

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

унификация ±

ед.ч.		уни·фи·ка·ция
	членувано	уни·фи·ка·ци·я·та
мн.ч.		уни·фи·ка·ции
	членувано	уни·фи·ка·ци·и·те
звателна форма		—

Съществително нарицателно име, женски род, тип 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) норвежки: [[]] персийски: [[]] полски: [[]] португалски: [[]] румънски: [[]] руски: [[]] словашки: [[]] словенски: [[]] сръбски: [[]] тайландски: [[]] турски: [[]] унгарски: [[]] фински: [[]] френски: [[]] холандски: [[]] хърватски: [[]] чешки: [[]] шведски: [[]] японски: [[]]

Синоними

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