| slovo | definícia |
unification
(encz) | unification,sjednocení n: Zdeněk Brož |
unification
(encz) | unification,unifikace n: Zdeněk Brož |
Unification
(gcide) | Unification \U`ni*fi*ca"tion\, n. [See Unify.]
The act of unifying, or the state of being unified.
[1913 Webster]
Unification with God was the final aim of the
Neoplatonicians. --Fleming.
[1913 Webster] |
unification
(wn) | unification
n 1: an occurrence that involves the production of a union [syn:
fusion, merger, unification]
2: the state of being joined or united or linked; "there is
strength in union" [syn: union, unification] [ant:
separation]
3: the act of making or becoming a single unit; "the union of
opposing factions"; "he looked forward to the unification of
his family for the holidays" [syn: union, unification,
uniting, conjugation, jointure] [ant: disunion] |
unification
(foldoc) | unification
The generalisation of pattern matching that is
the logic programming equivalent of instantiation in
logic. When two terms are to be unified, they are
compared. If they are both constants then the result of
unification is success if they are equal else failure. If one
is a variable then it is bound to the other, which may be any
term (which satisfies an "occurs check"), and the
unification succeeds. If both terms are structures then each
pair of sub-terms is unified recursively and the unification
succeeds if all the sub-terms unify.
The result of unification is either failure or success with a
set of variable bindings, known as a "unifier". There may
be many such unifiers for any pair of terms but there will be
at most one "most general unifier", other unifiers simply
add extra bindings for sub-terms which are variables in the
original terms.
(1995-12-14)
|
| | podobné slovo | definícia |
reunification
(encz) | reunification,opětovné sjednocení n: Zdeněk Brožreunification,znovusjednocení n: Zdeněk Brož |
grand unification theory
(gcide) | grand unified theory \grand unified theory\, grand unification
theory \grand unification theory\n. (Theoretical physics)
Any of a class of physics theories that attempts to explain
the electroweak forces, stong force, and gravitation within a
single mathematical conceptual scheme. In the 1990's {string
theory} and superstring theory were prominent examples.
Abbreviated GUT, plural GUTs.
[PJC] |
Unification
(gcide) | Unification \U`ni*fi*ca"tion\, n. [See Unify.]
The act of unifying, or the state of being unified.
[1913 Webster]
Unification with God was the final aim of the
Neoplatonicians. --Fleming.
[1913 Webster] |
reunification
(wn) | reunification
n 1: the act of coming together again; "monetary unification
precipitated the reunification of the German state in
October 1990" [syn: reunion, reunification] |
unification church
(wn) | Unification Church
n 1: a Christian church (with some Buddhist elements) founded in
1954 by Sun Myung Moon and known for staging mass weddings
and other communal activities |
complete unification
(foldoc) | complete unification
W.P. Weijland's name for unification without
occur check.
(1996-01-11)
|
han unification
(foldoc) | Han character
Han Unification
Unified Han
Unihan
(From the Han dynasty, 206 B.C.E to 25 C.E.) One
of the set of glyphs common to Chinese (where they are
called "hanzi"), Japanese (where they are called kanji), and
Korean (where they are called hanja).
Han characters are generally described as "ideographic", i.e.,
picture-writing; but see the reference below.
Modern Korean, Chinese and Japanese fonts may represent a
given Han character as somewhat different glyphs. However, in
the formulation of Unicode, these differences were folded,
in order to conserve the number of code positions necessary
for all of CJK. This unification is referred to as "Han
Unification", with the resulting character repertoire
sometimes referred to as "Unihan".
{Unihan reference at the Unicode Consortium
(http://charts.unicode.org/unihan.html)}.
[John DeFrancis, "The Chinese Language: Fact and Fantasy",
University of Hawaii Press, 1984].
(1998-10-18)
|
|