unifiers

unifiers
Unifiers

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Поможем написать реферат

Смотреть что такое "unifiers" в других словарях:

  • unifiers — n. uniting force, someone or something that unifies …   English contemporary dictionary

  • 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

  • Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… …   Wikipedia

  • Oda Nobunaga — 織田信長 Oda Nobunaga in a 16th century century portrait Born June 23, 1534(1534 06 23 …   Wikipedia

  • Hegemony — (pronEng|hɨˈdʒɛməni (Amer.), IPA|/hɨˈɡɛməni/ (Brit.)) [Clive Upton, Wiliam A. Kretzschmar, Rafal Konopka: Oxford Dictionary of Pronunciation for Current English . Oxford University Press, 2001] ( el. ἡγεμονία hēgemonía ) is a concept that has… …   Wikipedia

  • Condensed detachment — (Rule D) is a method of finding the most general possible conclusion given two formal logical statements. It was developed by the Irish logician Carew Meredith in the 1950s and inspired by the work of Łukasiewicz. Contents 1 Informal description… …   Wikipedia

  • Toyotomi clan — During the Sengoku period in 16th century Japan, the nihongo|Toyotomi clan|豊臣氏|Toyotomi shi began to thrive. Originating in Owari Province, the Toyotomi served as retainers to the Oda clan throughout the Sengoku period. The most influential… …   Wikipedia

  • Double exponential function — A double exponential function (red curve) compared to a single exponential function (blue curve). A double exponential function is a constant raised to the power of an exponential function. The general formula is , which grows much more quickly… …   Wikipedia

  • List of characters from Samurai Warriors — This is a list of characters from the game Samurai Warriors . Other installments to the series have also added other characters to the playable cast. Most of them are based on historical figures.It should also be noted that characters backstories …   Wikipedia

  • Tobago FA Cup — is the foremost association football tournament in Tobago, Trinidad and Tobago.Previous winners*2000 : Grafton Stokely Vale 2 1 King David Enterprise Goal City *2001 : Charlotteville Unifiers *2002 : FC Phoenix 1 1 St. Clair s C.S. [5 4 pen]… …   Wikipedia

  • Nominal terms (computer science) — Nominal terms are a metalanguage for embedding object languages with binding constructs into. Intuitively, they may be seen as an extension of first order terms with support for name binding. Consequently, the native notion of equality between… …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»