forcing language

forcing language
мат. язык вынуждения

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

Игры ⚽ Нужен реферат?

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

  • Forcing (mathematics) — For the use of forcing in recursion theory, see Forcing (recursion theory). In the mathematical discipline of set theory, forcing is a technique invented by Paul Cohen for proving consistency and independence results. It was first used, in 1963,… …   Wikipedia

  • Forcing (recursion theory) — Forcing in recursion theory is a modification of Paul Cohen s original set theoretic technique of forcing to deal with the effective concerns in recursion theory. Conceptually the two techniques are quite similar, in both one attempts to build… …   Wikipedia

  • Language interpretation — Interpreter redirects here. For the movie with the same title, see The Interpreter. For the band, see The Interpreters. For other uses, see Interpretation. Part of a series on …   Wikipedia

  • Kyrgyz language — language name=Kyrgyz nativename= ky. кыргыз тили, قىرعىز ٴتىلى region=Kyrgyzstan, Afghanistan, Pakistan, Tajikistan, Xinjiang (China) speakers=3,136,733 (1993) familycolor=Altaic fam1=Altaic [ [http://www.ethnologue.com/show… …   Wikipedia

  • Luganda language — language name=Luganda nativename=Ganda familycolor=Niger Congo states=Uganda region=Mainly Buganda region speakers=First language: 3.01 million (1991) Second language: 100,000 (1991) fam2=Atlantic Congo fam3=Volta Congo fam4=Benue Congo… …   Wikipedia

  • Occitan language — Occitan occitan, lenga d òc Spoken in France Spain Italy Monaco Native speakers 800,000  (1999)[1] …   Wikipedia

  • Python (programming language) — infobox programming language name = Python paradigm = multi paradigm: object oriented, imperative, functional year = 1991 designer = Guido van Rossum developer = Python Software Foundation latest release version = 2.6 latest release date =… …   Wikipedia

  • C Sharp (programming language) — The correct title of this article is C# (programming language). The substitution or omission of the # sign is because of technical restrictions. C# Paradigm(s) multi paradigm: structured, imperative …   Wikipedia

  • Pennsylvania German language — Pennsylvania German, Pennsylvania Dutch Deitsch, Pennsilfaanisch Deitsch Spoken in USA, Canada Region Pennsylvania; Ohio; Indiana; Ontario; and elsewhere …   Wikipedia

  • History of the Macedonian language — The standard Macedonian language can be said to have been codified in August 1944, when a provisional government run by the Anti Fascist Assembly for the National Liberation of Macedonia (ASNOM) declared the formation of the Socialist Republic of …   Wikipedia

  • Welsh Language Act 1993 — The Welsh Language Act 1993 is an Act of the Parliament of the United Kingdom, which put the Welsh language on an equal footing with the English language in Wales with regard to the public sector.The Laws in Wales Acts 1535–1542 had made English… …   Wikipedia


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

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