- unifications
- Унификации
Большой англо-русский и русско-английский словарь. 2001.
unifications
Смотреть что такое "unifications" в других словарях:
unifications — u·ni·fi·ca·tion || ‚juËnɪfɪ keɪʃn n. state of being unified, togetherness; process of uniting … English contemporary dictionary
Unification — In mathematical logic, in particular as applied to computer science, a unification of two terms is a join (in the lattice sense) with respect to a specialisation order. That is, we suppose a preorder on a set of terms, for which t * ≤ t means… … Wikipedia
Occurs check — In computer science, the occurs check is a part of algorithms for syntactic unification. It causes unification of a logic variable V and a structure S to fail if S contains V. In theorem proving, unification without the occurs check can lead to… … Wikipedia
List of networks and movements of the French Resistance — It is customary to distinguish the various organisations of the French Resistance between movements and networks. A resistance group or network was an organization created for a specific military purpose (intelligence, sabotage, helping prisoners … Wikipedia
Recherche exhaustive — La recherche exhaustive ou recherche par force brute, est un terme qui s applique à une catégorie de méta algorithmes. C est une technique extrêmement simple, mais très générale, qui consiste à énumérer tous les candidats possibles, jusqu à… … Wikipédia en Français
Recherche par force brute — Recherche exhaustive La recherche exhaustive ou recherche par force brute, est un terme qui s applique à une catégorie de méta algorithmes. C est une technique extrêmement simple, mais très générale, qui consiste à énumérer tous les candidats… … Wikipédia en Français
Unification (computer science) — Unification, in computer science and logic, is an algorithmic process by which one attempts to solve the satisfiability problem. The goal of unification is to find a substitution which demonstrates that two seemingly different terms are in fact… … Wikipedia
Battle of Waterloo — Infobox Military Conflict conflict=Battle of Waterloo partof=the War of the Seventh Coalition caption= Wellington at Waterloo by Robert Alexander Hillingford. date=18 June 1815 place=Waterloo, present day Belgium south of brussels result=Decisive … Wikipedia
Cambridgeshire — For other uses, see Cambridgeshire (disambiguation). Cambridgeshire Flag of Cambridgeshire County Council … Wikipedia
Europe — For other uses, see Europe (disambiguation). Europe … Wikipedia
Protestantism — Part of a series on Christianity … Wikipedia
